Sasha Krassovsky

@cmuratori I was hoping that `pragma clang loop unroll(disable)` would do what you want, but it seems to also undo your manual unrolling 😆

Is there any way to selectively disable SLP in CLANG? It seems to really really want to SLP even when you disable vectorization for a loop: godbolt.org/z/TY9q9Gq1v

OK but the guy who wrote it must have felt SO productive! I know how much fun writing the template monster can be if you don't know any better

type_traits from C++

@AgileJebrim I didn't notice it too much except around the Deku Tree. That place was BAD

I generally like Nintendo games but the engine Nintendo uses for BotW/TotK contains content popping and performance stutters. That was personally disappointing to me.

@tsoding @SnackReel Точно!

@SnackReel Мексиканский Хачапури

What should this breakfast dish be called?

@onehappyfellow And I have both of them muted already!

you can't make this up

A statement on the comments from Secretary of War Pete Hegseth. anthropic.com/news/statement…

@kddnewton You're looking for the QBE compiler backend!

It seems like the state of native AOT compilation is: * Frontends supported by major C compilers * Various compilers that wrap LLVM * golang ... is that really it? Does anyone else generate their own native code? Where are the indy mach-o/pe/elf generators? Anywhere?

@filpizlo @iamlukasniessen @rasbt Shh don’t question it, they have epic-looking headshot photos

@iamlukasniessen @rasbt Who the fuck are any of these people

German AI summit: THESE are the AI experts of our country? Put @steipete there, for God's sake ‼️ (I know he is Austrian... just consider it part of Germany 😉) ... And @rasbt ... 😐

@Jonathan_Blow I really wanted to like Sussman’s idea of computational epistemology, but feels like in practice it doesn’t really work out just because humans brains work so differently from computers. I do think implementing simulations of physics is a great exercise though.

Reason: Everything up to page 50 is basic linear algebra, but with no attempt to communicate intuition or visualize anything. The idea of implementing everything as you go in code is interesting, but Scheme is an awful language for this, and they also never run the code, inspect it or reason about it. It is just there, and adds nothing to the conversation; almost any reader will skip the code. I just don’t see the point of

I am giving up on this book after 50 of 200 pages. What should I read instead?

@tsoding Yes, and actually it's to the point that football is optimized around ads! It's like 10 seconds of action and then 3 minutes of walking it back, checking the frame-by-frame, arguing with the referee, etc. Perfect time to show commercials

Is Super Bowl some sort of a traditional American holiday where people gather together and watch ads?

@filpizlo @soft_fox_lad I think I periodically see C++ people talking about hazard pointers for this sort of thing? So I think it’s a relatively well-studied area

@soft_fox_lad Super hard to do without a GC

I wish the STL had concurrent data structure support as good as Java's.

Introducing Claude Opus 4.6. Our smartest model got an upgrade. Opus 4.6 plans more carefully, sustains agentic tasks for longer, operates reliably in massive codebases, and catches its own mistakes. It’s also our first Opus-class model with 1M token context in beta.

@eigen_moomin So that's what they meant by "reversible computing"...

flash attention backward pass

Strong agree. Current data analytics systems are strongly overprovisioned on compute and waste a lot of time shuffling useless data over the network. Next generation systems will push filters down into storage, where they will be evaluated with a right-sized CPU, and the smaller filtered results will eat less network bandwidth.

@PalmerLuckey Is there any difference between the ones on andurilgear and the Anduril edition one from ModRetro?

Alroght, as promised, we have re-opened orders for the Anduril Chromatic. The original production run sold out in just a few minutes, this final preorder closes at midnight on Sunday. They are a gigantic pain in the butt to make, no amount of pleading will bring it back!

Simplicity over speed. Correctness over features.

Doing god's work

@filpizlo Next stop: rip MiraclePtr out of chrome and make it just use Fil-C’s GC

listen here fuckers this is a memory safe web browser you're welcome

@onehappyfellow Lean is getting pretty close

how come we don't have any great programming languages? honestly, it shouldn't be that hard. you just need a language with: - proper dependent types - full type inference - easy to use and learn - powerful - high-level (i don't want to manage memory) - full control over memory layout - access to CPU intrinsics - fully portable to any architecture - fully typed code generation - stdlib covering every use case I have - modern and evolving stdlib - stable stdlib - linear types with full duality - laziness but not everywhere - produces small binaries - binaries don't have any external dependencies - optimises code very well - compiles fast - built-in support for Balls - full IDE and AI integration - lightweight tooling - opinionated code formatter - custom version control system - image based deployment - support for writing code running at multiple versions - includes distributed systems runtime ala erlang - has no runtime - has great built-in tracking and memory and cpu profiler sounds like a weekend project to me

@pronounced_kyle Big fan of Construction Physics on substack!

I want to read more long-form articles this year. I read books; I read tweets; I need more stuff in the middle to replace mindless YouTube videos in my consumption diet. Got any good author recs?