We released https://t.co/wFf2ap8ERL — a new Agentic Development Environment by JetBrains.
Claude, Gemini, Codex, and Junie side-by-side with you — powered by code insight, beautiful UI, and vast development tooling.
But underneath there's a technological iceberg. Let me walk you through it. 🧵
Beagle revision control system: database, not a filesystem (git is a fs). Key-value store, binary JSON, URIs, AST. Very standard, very extensible.
https://t.co/hqpuw9fg5C
At this point point, Beagle self-hosts, forks, merges and greps real fast (trigram based)
My ProtocolBerg talk on the Merkle construction git (and most blockchains) are using and why it makes git fight itself. Beagle implements the LSM+Merkle approach
https://t.co/ddqliW5Txb
(also in the talk)
https://t.co/oi1KpKAtVh
Arguments for a syncable data exchange format
https://t.co/EKH8ZGcGTS
If you spent quarter a century in this industry, you probably know one or two billionaires. You may also know one or two guys who “broke the internet” with some ridiculous bug. I’ve met a guy who did it twice…
2026 will mark the year when humanity achieved digital abundance. Any thought and desire instantly transmogrified into software. Apps, games, images, music, docs, sites, every one generated, by anyone.
In fact, yes. In practice, no.
Design decisions are too immaterial and we have to “have something to show for it”, so we agreed to count LoCs.
Now, we are is a puzzling situation.
Design was always the limiting factor, but now it’s obvious.
By design, I mean the whole thing - deciding what to do, how to do, evaluating, iterating, polishing.
When I say “I don’t have time” now, I don’t mean “… to code it”. That part is almost always easy. I mean I don’t have time to decide.
Crazy times. Happy new year!
@davesnx@andreypopp I did a similar experiment except using my own event loop. I wonder why js>ocaml>C. What is the value of OCaml? Byte crunching happens in C, non performance critical stuff may go to js.
What did OCaml bring to the table?
Mathematician Joel David says current AI models are basically zero help for mathematics
They produce garbage answers, then argue they're correct when you point out the exact error
"if i were talking to a person who argued like that, i'd stop talking to them"
Performance Hints
Over the years, my colleague Sanjay Ghemawat and I have done a fair bit of diving into performance tuning of various pieces of code. We wrote an internal Performance Hints document a couple of years ago as a way of identifying some general principles and we've recently published a version of it externally.
We'd love any feedback you might have!
Read the full doc at: https://t.co/jej95g236P
The history goes in circles in more ironic ways. The design of Java RMI came out of the same company (Sun Microsystems) which produced the classic Note on Distributed Computing which outlined all the flaws of such a design. https://t.co/ttN1foH22p
The entire Cloud/SaaS story had a lot of happy-path cost optimization. The particular glitch that triggered the domino effect may be irrelevant relative to the fact that the effect reproduces.
According to Cybersecurity Ventures @CybersecuritySF, the annual cost of #SoftwareSupplyChainAttacks will reach a massive $138 billion by 2031, up from the $60 billion price tag such #Cyberattacks are expected to carry in 2025. https://t.co/BkYxZ6cGCg
A 1100-tonne giant lands home in ITER 🛬
From the Assembly Hall to the Tokamak pit, the first European Vacuum Vessel sector completed a short yet challenging journey.
The time lapse by @iterorg shows just how impressive the operation was. Brilliant teamwork and skill!👏