Filter
Exclude
Time range
-
Near
Replying to @UpdatesChennai
8% compared to the recommended upperbound value. We are so doomed ๐Ÿค
770
Replying to @kewnedragon
Currently on Upperbound (3) which I need to grind more relics for ๐Ÿ˜Œ
1
1
8
Jun 14
Replying to @bubbleboi
Frontier AI is until some upperbound border only bound by the user interacting with it.
158
Assuming it's an upperbound tower, the damage done to it exceeds the known DI, which is nuts!
1
10
Replying to @marcrygamerbr
Cool, awesome, congratulations! Just not very relevant to my point, which is about the relative cost of antennas vs thermal management hardware on cost/kg and cost/kW bases, specifically as it applies to comparing the cost of Starlink v2 mini to the expected cost upperbound of AI1.
1
1
45
Replying to @crubier @AFpost
I think if you did the math yourself you wouldn't be able to justify getting all the way to even parity. Maybe 45% women, 55% men as an upperbound including incorporating uncompensated domestic labor by its near substitute price.
1
89
Strathcona-Sherwood Park UCP retweeted
Great energy at #UpperBound today! It was a packed house. Alberta is positioning itself as a North American leader in AI data centre infrastructure, and rooms like this are why. Great conversations with the folks at Beacon and Cologix. Thank you for having me!
10
2
10
633
Replying to @nthnluu
upperbound
3
1,407
์ด๊ฒƒ๋„ ์žˆ๊ณ  ๊ทธ๋ƒฅ ๊ต์œก์šฉ์œผ๋กœ ์ง€์‹ ๋‹ค์‹œ ๋Œ์•„๋ณด๋ ค๊ณ  ํ•œ๊ฒƒ๋„ ์žˆ์–ด๋ตˆ๋Š”๋ฐ ๊ฑ ์‹ธ๊ฐ€์ง€๊ฐ€ ์ข€ ์ด์ƒํ•œ๊ฑฐ ๊ฐ™๋‹ค.. ์–ด์ œ ๊ทธ cat is all you need์ด upperbound ์ฏค ๋˜๋Š” ์ •๋„์˜ ๊ทธ๋Ÿฐ ์ˆ˜์ค€ ๊ฐ™๋‹ค

1
3
972
{-# LANGUAGE ScopedTypeVariables #-} import qualified Data.Set as S import Data.Set ((\\), powerSet, Set, cartesianProduct) import qualified Data.Array as A type Geo a = Set a -> Float memo :: forall a.(Bounded a, Enum a, Ord a) => Geo a -> Geo a memo v = let upperBound = 2 ^ (1 fromEnum (maxBound :: a)) - 1 basisToPosition = foldr (\x -> ( 2^fromEnum x)) 0 :: [a] -> Int arr = A.array (0, upperBound) [ (basisToPosition (S.toList b), v b) | b <- S.toList (powerSet pseudoscalarBasis) ] in \b -> arr A.! basisToPosition (S.toList b) (โ–ณ) :: Ord a => Set a -> Set a -> Set a a โ–ณ b = S.union (a \\ b) (b \\ a) pseudoscalarBasis :: (Enum a, Bounded a, Ord a) => Set a pseudoscalarBasis = S.fromList [minBound .. maxBound] sign :: (Ord a) => Set a -> Set a -> Float sign u v = product $ liftA2 (\a b -> case compare a b of {LT -> 1; EQ -> 0; GT -> -1}) (S.toList u) (S.toList v) dual :: (Enum a, Bounded a, Ord a) => Geo a -> Geo a dual f s = (f * sign s) (pseudoscalarBasis โ–ณ s) (/\) :: (Ord a, Enum a, Bounded a) => Geo a -> Geo a -> Geo a (/\) f g = memo $ \t -> sum [ sign tau (t โ–ณ tau) * f tau * g (t โ–ณ tau) | tau <- S.toList (powerSet pseudoscalarBasis) ] data Basis = X | Y | Z | W deriving (Enum, Bounded, Show, Eq, Ord) x, y, z, w :: Geo Basis x b = if b == S.singleton X then 1 else 0 y b = if b == S.singleton Y then 1 else 0 z b = if b == S.singleton Z then 1 else 0 w b = if b == S.singleton W then 1 else 0 instance Num (Geo a) where ( ) = liftA2 ( ) (*) = liftA2 (*) fromInteger = const . fromInteger negate = fmap negate abs = fmap abs signum = fmap signum instance Fractional (Geo a) where (/) = liftA2 (/) fromRational = const . fromRational main = do let system = (3*x y-5*w) /\ (y z-4*w) /\ (x-y 2*z-8*w) solution = dual system wValue = solution (S.singleton W) homogenizedSolution = solution / realToFrac wValue putStrLn ("x = " show (homogenizedSolution (S.singleton X))) putStrLn ("y = " show (homogenizedSolution (S.singleton Y))) putStrLn ("z = " show (homogenizedSolution (S.singleton Z)))
1
5
381
Replying to @f14bertolotti
By training with noise, you can get even better results (upperbound)!

๐ŸŒ€ Introducing ๐„๐ช๐ฎ๐ข๐ฅ๐ข๐›๐ซ๐ข๐ฎ๐ฆ ๐‘๐ž๐š๐ฌ๐จ๐ง๐ž๐ซ๐ฌ (๐„๐ช๐‘) ! Feedforward models and weight-tied models behave very differently on hard reasoning generalization. EqR pushes this difference to the extreme by learning ๐ญ๐š๐ฌ๐ค-๐œ๐จ๐ง๐๐ข๐ญ๐ข๐จ๐ง๐ž๐ ๐ง๐ž๐ฎ๐ซ๐š๐ฅ ๐š๐ญ๐ญ๐ซ๐š๐œ๐ญ๐จ๐ซ๐ฌ . โ€ข Sudoku-Extreme: 99.8% โ€ข Maze: 93% #ICML2026
2
2
79
Replying to @SoullessLeaf
The upperbound is in the name: "Hyperdimension". In practice they're a parody of just how silly JRPGs are, and they casually break spacetime as the plot demands.
1
44
1,700
As a bonus, by solving a relaxed linear program, our method allows you to upperbound how far from optimal any tokeniser is. w/ @tpimentelms Paper: arxiv.org/pdf/2605.22821 Code: github.com/JanTempus/tokenisโ€ฆ

2
64
3,590
โ€œWeโ€™ve got the best minds in AI right here in Edmonton. #UpperBound is one of the best few days in the country to see innovation in action. Itโ€™s really exciting.โ€ We think so, too! Listen to Minister Solomon's full CBC Radio interview here ๐ŸŽง cbc.ca/listen/live-radio/1-1โ€ฆ
4
264
"It just makes sense that an event like Upperbound takes place in Albert" - @YourAlberta Minister for Technology & Innovation, Nate Glubbish. cc @AmiiThinks
2
40
Excited to be attending UpperBound this week in Edmonton - the heartland of RL - hosted by @AmiiThinks. Looking forward to talking tomorrow all things embodied AI - including how weโ€™re scaling RL in the real world.
8
371
Replying to @valigo
No. I use size_t because it is supposed to be able to represent size of anything that fits in memory. Otherwise you should make a good guess of what variable/field upperbound is and use appropriately sized integer type.
1
455
Eใฎ่งฃๆณ•ใ€ใ‹ใชใ‚Šใฎ่‹ฆใ—็ด›ใ‚Œ L[i]=k,R[i]=kใชใ‚‹ใ‚‚ใฎใซใคใ„ใฆSL[k],SR[k]ใซๅŒบ้–“ใฎsizeใ‚’ๆ˜‡้ †ใซๆŒใฃใŸ2ๆฌกๅ…ƒ้…ๅˆ—SL,SRใ‚’ใ‚‚ใค ๅ„ใ‚ฏใ‚จใƒชใงใฏSL[s]ใจSR[t]ใ‚’upperboundใงๅ‚็…งใ—ใฆใ€pl,prใจใ™ใ‚‹ sz=t-s 1ใจใ—ใŸใจใใ€ max(pl,pr)<szใงpl pr>=szใชใ‚‰ใ‚ˆใ„ max(pl,pr)=szใงใ€SL,SRใฎ2็•ชๆ‰‹ใจ่ถณใ—ใฆszไปฅไธŠใชใ‚‰ใ‚ˆใ„
1
3
126
Replying to @Jeyffre
This is why there is ab upperbound on what people are willing to pay and what providers can charge and I dont think many get this. When it becomes $40 cheaper to hire a human no one ia going to pay for AI. This is the elephant in the room.
2
116