Protobuf has LSP support. You’re welcome
Buf is proud to announce the first fully-featured, production-grade LSP server for Protobuf. The Language Server Protocol is the standard API for integrating language support into your favorite IDE or text editor, such as VSCode, IntelliJ, or Neovim. An LSP server provides the smarts that power go to definition, code completion, finding references, and semantics-aware […]
MathCode, Mathematical Coding Agent
Requires macOS (arm64) or Linux (x86_64), plus the codex CLI for the default backend. git clone https://github.com/math-ai-org/mathcode.git cd mathcode bash setup.sh codex auth login mathcode setup.sh prepares the release checkout, downloads the bundled runtime and Lean toolchain, and installs a user-local mathcode launcher. Try it with: mathcode -p “prove that the square of an even […]
A 3rd World Embedded Engineer Responds to “RISC-V They Should Have Known Better”
Dmitry Grinberg published a long piece explaining his distaste for RISC-V, you can read his article here: RISC-V: They Should Have Known Better – Dmitry.GR. It went to the front page of Hacker News and it started a good argument on Lobsters. It is the most substantial criticism the architecture has had in a while […]
The weekend is 100 years old
For 11 years, from 1929 to 1940, the Soviet Union did not have weekends. Instead, to increase productivity citizens were allocated a day off in every seven at random. With 80% of the population at work on any given day, factories never had to power down. A letter from a disgruntled worker to Pravda newspaper, […]
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core
Unit 1 at the St. Lucie Nuclear Power Plant was manually shut down Wednesday morning after 3 control rods dropped into the reactor core, according to a notification filed with the Nuclear Regulatory Commission (NRC). The manual reactor trip occurred at 9:47 a.m. EDT on Aug. 13, 2026, while Unit 1 was operating at 100% […]
GPS and the Lost Art of Getting Lost
Annals of Inquiry G.P.S. and the Lost Art of Getting Lost Illustration by Jackson Gibbs Save this storySave this story Save this storySave this story Around two years ago, Shachar Maidenbaum, a neuroscientist who studies spatial navigation at Ben-Gurion University, in Israel, drove north with his children to visit a friend. He was following his […]
The AI Credit Resale Economy
← Home / All posts threat-research llm-security August 10, 2026 · Matt Lenhard · 5 min read Where This Started This is a follow-up article to a piece I recently wrote about the token relay market. Noticeably absent from that piece was a mention of the rise of “token brokers” — people who buy unused […]
Tasklet (YC P26) Is Hiring a Head of Design Engineering
Tasklet is building the AI platform companies use to run their business on agents. A customer describes an outcome in plain English, and Tasklet gets the work done across their tools and systems—immediately or in the cloud 24×7. We are building for real-world businesses, where making powerful agents simple, trustworthy, and easy to control matters […]
Firefox for iOS now has a native adblocker
Client Challenge JavaScript is disabled in your browser. Please enable JavaScript to proceed. A required part of this site couldn’t load. This may be due to a browser extension, network issues, or browser settings. Please check your connection, disable any ad blockers, or try using a different browser.
Is the industry ready for tokens-constrained work?
A few days ago I read one of those stories we’re all familiar with by now: a guy in a consultancy company ran out of tokens for the day, went to his manager asking for more and got back an answer along the lines of “That’s what we give everyone, you’ll have to make do”. […]