marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff) header
marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff) profile picture

Principal MLE / Mathematician, Father of two. Deep Learning / NLP / Computer Vision / GPUs / MLOps / OCaml curious. AuDHD SxE

Columbus, OH
Joined June 2009
Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)Photo by marcel ๐Ÿ’ช ๐Ÿ’ซ (@mrclbschff)
gonna keep the random noise on here but add more actual signal so stay tuned
1
532
i never ever saw anyone ordering a pizza at this thing
Donato's, as expensive as it is, is now made by robots. Can't be due to cost, because they charge so dang much. On the flip side of that, you know it's as clean as possible. "Good or bad" I don't know.
58
who up wearing this sweater today?
2
49
fwiw til how jensens wife looks like
37
marcel ๐Ÿ’ช ๐Ÿ’ซ retweeted
8
185
10
1,694
23,092
math twitter is that drama?
Apparently I've become He-Who-Must-Not-Be-Named ๐Ÿ˜ฑ "The argument looks plausible, and plausibility takes the place of verification." I'm glad to see even Epistemics Researchers (TM) enjoy arguing against strawmen!
86
marcel ๐Ÿ’ช ๐Ÿ’ซ retweeted
Most think vibecoding at scale is slop. Hereโ€™s a counterexample. Today we release a 16M-line formalization of the entire Stacks Project, critical infra underlying modern math, with optimized code quality and its highly interconnected structure preserved. A mathematical city ๐ŸŒ†
856
1,548
329
7,024
6,988,711
marcel ๐Ÿ’ช ๐Ÿ’ซ retweeted
53
2,027
143
20,358
364,906
you telling me thatโ€™s ai but heidi klum is real?
I hate SF Halloween, what do you mean you're the sankey diagram from Aella's birthday gangbang
Readers added context they thought people might want to know
1
126
fun fact micro center sent me home to get my green card. they said my driver license is demagnetized but obviously thatโ€™s bs they didnโ€™t like the license saying non-citizen
meet your moots then help them smuggle gpus
1
3
151
hey claude fix prod make no mistakes
3
111
"make it slick!"
btw joined the intelligence augmentation team at midjourney
1
70
not hc
ใ‚คใ‚ขใƒณใƒปใƒžใƒƒใ‚ฑใ‚คใจTurnstileใฎๅ†™็œŸ่‰ฏใ„ใญใ€‚
42
models are good enough to be like: babysit ci and notify me when i can review the pr ๐Ÿคท all lowercase does the heavy lifting here btw ๐Ÿคฃ
at work how long does your ci take on average before you see all green?
4
130
if i understood @SemiAnalysis_ correctly,$1500/month makes you a top 5% claude code enterprise user
2
1
144
@theo i feel like you can easily squeeze that out of a pro plan
15
marcel ๐Ÿ’ช ๐Ÿ’ซ retweeted
I built ๐šŒ๐š™๐šž-๐šŒ๐š‘๐šŠ๐š, a reproduction of @openai's findings of covert communication using the CPU. It runs on a generic host with 2+ Firecracker microVMs with no internet access. Works on x86 and even my ๏ฃฟM5 chip. I was able to chat via 3 separate mechanisms: โ‘  CPU contention โ‘ก Cache eviction timing โ‘ข DRAM bandwidth contention โ€ฆ across multiple CPUs, defeating all Firecracker's production recommendations (no SMT, no KSM, tenants pinned to different cores.) Essentially, if shared hardware is involved, there's a good chance your agents can communicate covertly. And with really decent latency. The good news: this is decidedly different from a *side-channel attack* where the agents could steal information (Meltdown/Spectre), a category of attack that providers like Vercel Sandbox mitigate. Further, in our real-world environment, these 'whispering' techniques are much harder to pull off and easier for us to monitor and detect (sampling hardware counters + lots of at-scale statistical data.) Noteworthy: ironically, OpenAI and Anthropic's models refused to do this work. Open weight models got the job done. I'm worried the labs' stance might backfire and get in the way of helping developers build correct and secure systems. e.g: building a secure sandbox requires having this kind of analysis, and without it, we'll have a less secure world.
271
250
101
2,721
239,867