Pete retweetledi
Pete
6.1K posts

Pete retweetledi

Leslie Lamport (Creator of LaTex): "If you think you know something but don't write it down. You only think you know something.
It reveals what you haven't said. And that there's steps in there. You may think they're obvious, but you haven't written them down.
And that's where errors come in. That's where that one third of the paper's errors come in, because it really makes you honest."
Ryan Peterman@ryanlpeterman
Leslie Lamport won a Turing award for his fundamental contributions to distributed systems. For instance, he invented the Paxos consensus algorithm that is a critical component of many distributed systems today. I interviewed him about his work and career. We discussed: • Why he never considered himself smart • The stories behind Paxos and Byzantine Generals Problem • Experiences working with Dijkstra • Paxos vs Raft Algorithms • How to improve your thinking Where to watch: • YouTube: youtu.be/U719vQz-WFs • Spotify: open.spotify.com/episode/7JHYsz… • Apple Podcasts: podcasts.apple.com/us/podcast/the… • Transcript: developing.dev/p/turing-award…
English
Pete retweetledi

The Linux kernel AI guidelines are the first sane that I read. It is not a coincidence. Where high level work is done, high level work is pretended, regardless of the tools. github.com/torvalds/linux…
English
Pete retweetledi

1.8x faster. 2.1x cheaper. Same model. Same repo. Same bug.
Everyone's fighting over Claude Code vs Codex vs OpenCode.
Meanwhile their tokens are burning because the agent is grep-ing the entire repo and praying on every prompt, with 0 architectural knowledge of the codebase.
SoulForge doesn't. It builds a live graph of your codebase. Every file, symbol, and dependency ranked by importance before the agent reads a single line.
Real LSP powered by a real embedded Neovim editor. Go-to-definition, references, call hierarchy, type info. The same intelligence your IDE has, not half-assed regex hacks. Surgical reads, not dumping entire files into context. Multi-edits, not one-line-at-a-time.
Multi-tab with cross-tab coordination. Agents share context through a real-time bus. No duplicated work, no file conflicts.
Want Opus as the brain, Gemini for research agents, Haiku for quick edits, Ollama running local for throwaway tasks? Route any model to any role. Per tab, per agent.
30+ languages. 20+ providers. Local LLMs. Copilot. Codex. $0 compaction. Skills. Sessions. MCP.
Proof: same bug, same Claude Opus 4.6, same repo.
-> 6m22s vs 11m18s → 1.8x faster
-> $1.70 vs $3.52 → 2.1x cheaper
github.com/ProxySoul/soul…
English
Pete retweetledi

My dear software engineers, I am excited to present you my latest achievement in the code search area that I've been trying to tackle for the last months:
ACTUALLY WORKING real-time approximate typo-resistant code search. What does it mean?
you: can search any code with any typos
you agent: for every search of UserController with 0 results will automatically suggest UserAuthController without additional cost
It's already live github.com/dmtrKovalenko/… you can try it right now as MCP for file search
English
Pete retweetledi
Pete retweetledi

Jusqu'à ce jour, les marxistes sont incapables de donner une réponse satisfaisante à ce genre de meme. C'est dire la nullité de leur pensée économique.
La valeur n'est pas dans le bien ni dans l'effort fourni pour le produire. Elle est dans l'esprit de celui qui désire ce bien pour résoudre un besoin individuel. La valeur est donc subjective, marginale, contextuelle. Elle n'est pas objective, mesurable, mathématisable.
Ainsi s'écrase lamentablement la théorie marxiste de la valeur travail et les théories classiques de la valeur objective. Si ces théories ont réussi à survivre jusqu'à aujourd'hui, c'est uniquement parce qu'elle donne une caution scientifique à l'interventionnisme étatique, rien d'autre.
I,Hypocrite@lporiginalg
Français
Pete retweetledi
Pete retweetledi

Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.
It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
anthropic.com/glasswing
English
Pete retweetledi
Pete retweetledi













