Now that DARPA’s AI Cyber Challenge (AIxCC) has officially ended, we can finally make Buttercup, our CRS (Cyber Reasoning System), open source!| The Trail of Bits Blog
Earlier this summer, Sean Heelan published a great blog post detailing his use of o3 to find a use-after-free vulnerability in the Linux kernel. The internet lit up in response, and for good reason. Since the initial release of ChatGPT in late 2022, we’ve all been wondering: Can LLMs really find complex vulnerabilities in widely used production codebases? The Linux kernel is a great research target to help answer that question.| noperator.dev
Tree-sitter allows aider to build a repo map that better summarizes large code bases.| aider
The path to Tidewave: a collection of tools that speed up development with AI agents by understanding your web application, how it runs, and what it delivers| dashbit.co
John Regehr recently solicited advice for what an introductory compilers class should cover in 2020. To save you the trouble of reading through the whole thread, I’ll quote/summarize a bit be…| eschew it all
It's not bloat if I actually use it, right?| log.schemescape.com
From the Zed Blog: Over 2,000 developers asked, and we delivered. Debugging in Zed is now a reality—and it's a big leap toward Zed 1.0.| zed.dev
Return to the Essence of Text Editing| Emacs Redux
You might have read the news that OpenAI is buying Windsurf for a whopping 3B! In other news, Anysphere, the parent company of Cursor, is raising 900M at a valuation of 9B$! That’s a lot of m…| Aditya Rohilla
The 2025 TLA⁺ Community Event was held last week on May 4th at McMaster University in Hamilton, Ontario, Canada. It was a satellite event to ETAPS 2025, which I also attended, and plan to write about in the near future. I gave a talk somewhat-hucksterishly titled It’s never been easier to write TLA⁺ tooling! which I will spin into a general account of the state of TLA⁺ development here. The conference talks were all recorded, so if you’d like this blog post in video form you can wat...| Andrew Helwer
Merkle Trees in the real world| read.engineerscodex.com
What's behind fasterthanlime's hilarious takes on highly technical topics| writethatblog.substack.com
Gamedev, FOSS, programming, stuff.| akselmo.dev
I have added syntax highlighting to my blog using tree-sitter.| dotat.at
Syntax highlighting on the client-side has unforeseen consequences shipping & executing a bunch of code for what should be cachable, idempotent functions at build-time or server-side instead runtime affecting performance & wasting resources.| toast.al
Emacs has come a long way in the past decade. This is meant as a guide to anyone who’s been using stock or near-stock Emacs for some years and wants a quick update on the new shiny stuff that comes bundled with Emacs.| Lambda Land
As someone who has| tratt.net
A syntax-aware git merge driver for a growing collection of programming languages and file formats.| mergiraf.org
Our security team scanned 189.5M URLs and found more than 18,000 exposed API secrets. Discover the methodology that led us to these findings.| Escape - The API Security Blog
010 Editor | Pro Text/Hex Editor | Edit 200+ Formats | Reverse Engineering | Data Analysis| www.sweetscape.com
Creating a standard programming major mode presents significant challenges, with the intricate tasks of establishing proper indentation and font highlighting being among the two hardest things to get right. It's painstaking work, and it'll quickly descend into a brawl between the font lock engine and your desire for correctness. Tree-sitter makes writing many major modes a snap: here I demonstrate how to write a working indentation and font lock engine for HTML.| Mastering Emacs
I like to try various things out in my editor to see if they're useful. Most are interesting but not useful. On my guide to hexagons I use...| amitp.blogspot.com