Damien

Can Web Workers feel like native reactive state? Stephane explores SharedArrayBuffer and Atomics to keep heavy work off the main thread without losing reactivity. See how at Svelte Summit this November in Ljubljana! https://sveltesummit.com

Trying to get jev to drive Claude code

Brilliant thread:

real answer: so you understand the formal model at a deep and intuitive level granting you the ability to compose the right formal concepts into clear descriptions that LLM agents can productively act on

Swift and Rust are the best general purpose languages out there, and further adoption is to be celebrated!

discord.doll.systems immediately coined "tensorpunk" and i fw the term profoundly ngl

After a few months of use, I am happy to share this little agentic coding tool. Goal is slop reduction by integrating a fast, portable model of code quality. Within SLDC flow, it uses Rust’s type checker to validate modules, resulting in memory-safe, well-structured code. github.com/damienstanto...

NVIDIA, our newest Platinum Member, launched CUDA Rust today. You can now write GPU kernels in Rust and compile them straight to PTX. Learn more on their blog: developer.nvidia.com/blog/introdu...

Rust: when empty isn't Bottom ettolrach.com/blog/rust_wh...

Many things are true. The technical reality here is that the transformer kicked off a fundamental shift towards a before-unknown inherent computational aspect of writing/language itself; we may be in Sumer now. With that said, we can choose to maximize or minimize the humanity of its application.

We've lost the benevolent utility of real, justified, physical shame. It's actually good to be able to ostracize people when they are clearly hurting others. Kicking racists out of shows, banning shoplifters, bouncing bar fighters. No wonder moderating digital spaces is so hard and demoralizing.

The funny thing is even Ant engineers and PMs don't seem to be pausing to ask: Do any well-defined, real problems that are solvable with software even require or benefit from this insane tradeoff of quality vs quantity? Like seriously -- with this kind of velocity, where are the useful products?

How to approach an unknown language in the ocean? Here’s one of the first cases of AI interpretability leading to a scientific discovery -- in whales.

have you ever seen a visual shepherd tone anon? courtesy of @bleuje.com

I think biofuels (especially jet A), the swap from 100LL to mogas and other sustainability efforts will have a bigger impact on aviation's evolution, but hybrids and electrics are still really interesting and will allow totally new modalities that weren't previously possible.

I am very happy to announce that I have gotten a paper accepted to PLSS 2026: LLMs as Collaborators in Language Specification and Design conf.researchr.org/details/spla...

In 1924, the son of the president of the United States, with access to the best medical treatment, got a blister on his foot playing tennis, it got infected, there were no antibiotics, and he died of sepsis.

Native sealed traits coming! blog.rust-lang.org/inside-rust/... #rustlang

Excited to watch the PLDI talk: opt-in lifetimes are one of the nicest ergonomics in modern Swift.

current feelings around AI: the CEOs shoveling slop into everything should be in jail but the guys spending upwards of $60,000 on elaborate, janky home rigs to run local models for no reason other than to see if it works are engaging in a long and semi-honorable tradition of computer toucher shit

ANTHROPIC: Our son loves humanity and for the low price of trillions and trillions of dollars will usher in an era of unprecedented peace and prosperity! OPENAI: Our horrible oafish son is hacking web sites without our permission. ANTHROPIC: (eyes narrowing) Our son is also evil

I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Well, it finally happened! After 9 years of Unity dominance, Godot was the most used game engine for GMTK Game Jam 2026 submissions. 🤖 Godot - 47% 🎮 Unity - 34% 🛠️GameMaker - 5% 🚀 Unreal Engine - 3% ✨ Other - 11%

I’ve been working on an Exaclidraw fork for about a week that syncs your drawings to your Atmosphere account as well as uses Iroh for realtime encrypted end to end collaborative work. I feel like it’s at a stage where I can share it. Meet lexidraw.app!

Haskell is particularly resilient to lone apostrophes in the middle of identifiers! You can have a function that is literally called "don't" and it's perfectly fine (although your colleagues might object…)

"make no mistakes" negative, unrealistic, anxiety inducing, process focused "do a breakthrough" positive, incredible, aspirational, goal oriented

Prompt engineering in 2026:

This is the best quaternion visualization I've seen!

I told a tall story about type inference via effects and handlers, this morning in Bristol. Thanks to my lovely hosts! www.youtube.com/watch?v=Vc2n...

Memory safety is good, and I will never argue against a language pursuing it. That said, Andrew going for a memory safety model with a substantial runtime cost, seemingly out of social animus toward Rust, is extraordinarily petty.

Before Sister Rosetta Tharpe, it was guitarist, bassist and vocalist Memphis Minnie (1897-1973) who helped shape the sound of modern pop music and recorded around 200 songs #WomensArt

this delightful chart of "is it a transformer" courtesyof x.com/_lyraaaa_/st...

Yes - exactly this. Going from ops to assembly, or assembly to Lisp, or C to SML, etc. LLMs and agentic coding represent what these things have always represented: a higher level, abstracted, more direct translation of human expression into computation. It's "computational writing" all the way down

PrismML launches Bonsai 27B, a model based on Qwen3.6 27B that it says runs natively on Apple devices via MLX; its CEO says Apple is evaluating the tech (MacKenzie Sigalos/CNBC) Main Link | Techmeme Permalink

Thrilled to share our latest collaboration with Google DeepMind: Formal Conjectures, an evolving Lean 4 benchmark for evaluating AI capabilities in formal math. arxiv.org/abs/2605.13171

As a Caps->Ctrl person I feel *very seen*

new favorite diagram shortlist entry

💯

all will become fidgetable

btw the turn towards dynamically typed languages was entirely because the major statically-typed languages didn't have sum types and pattern matching once static languages got those features it was gg for dynamic typing

Ngl got access to 5.6 Sol at work and... pretty on par with Fable and suddenly not getting nastygrams about token spend

📣 The moment is here. 📣 TypeScript 7 is officially released! 7️⃣ devblogs.microsoft.com/typescript/a...

Neat - this is like the fun part of TempleOS

FWIW, Happy Fourth.