AI Slop vs. OSS Security
03 Nov, 2025 Author’s Note I have spent the better part of a decade in the bug bounty industry, and my perspective on this industry is shaped by this experience. The first five years were spent as a bug hunter and vulnerability researcher, where I developed an intimate understanding of what it takes to find, […]
Eating Stinging Nettles
Spring is here and the nettles are growing again so I decided it was time to make a meal out of them. Most people know that stinging nettles are pesky green plants that irritate the skin when you touch them. What you probably don’t know is that they’re a nutritious source of iron, calcium, potassium, […]
Show HN: qqqa – a fast, stateless LLM-powered assistant for your shell
Fast, stateless LLM-powered assistant for your shell: qq answers; qa runs commands What is qqqa qqqa is a two-in-one, stateless CLI tool that brings LLM assistance to the command line without ceremony. The two binaries are: qq – ask a single question, e.g. “qq how can I recursively list all files in this directory” (qq […]
80year old grandmother becomes oldest woman to finish Ironman World Championship
Natalie Grabow, 80, of New Jersey, was the oldest finisher and winner of the 80-84 age group in this year’s Ironman World Championship in Kona on Oct. 11, 2025. (Photo courtesy: Ironman) When Natalie Grabow grew up in the 1940s and 50s in New Jersey, there were not a lot of opportunities for girls to […]
The trust collapse: Infinite AI content is awful
We’re living through the weirdest moment in human history. For the first time since, well, ever, the cost of creating content has dropped to essentially zero. Not “cheaper than before”, but like actually free. It’s so easy to generate a thousand blog posts or ten thousand “””personalized””” emails and it barely costs you anything (for […]
Mathematical Exploration and Discovery at Scale
Mathematical exploration and discovery at scale 5 November, 2025 in math.CA, math.CO, math.MG, paper | Tags: Adam Zsolt Wagner, AlphaEvolve, Artificial Intelligence, Bogdan Georgiev, Javier Gomez-Serrano, optimization | by Terence Tao Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery at scale“. This is a […]
Erlang Meets Idris: Cure Programming Language
v0.2.0 – November 2025 Dependent Types. SMT Verification. Native FSMs. On the BEAM. A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees to the battle-tested BEAM virtual machine. Build systems where verification matters more than convenience. Now with 12 fully compiled standard library modules and comprehensive documentation.
How I am deeply integrating Emacs
Table of Contents Emacs has holistically become my daily computing environment. My efforts have been focused on building emacs into the workflow of essentially everything I do, as long as it doesn’t involve heavy video or media, I try my very best to accomplish it in emacs. The idea is to achieve deep integration with […]
Boa: A standard-conforming embeddable JavaScript engine written in Rust
Boa is an experimental JavaScript lexer, parser and interpreter written in Rust 🦀, it has support for more than 90% of the latest ECMAScript specification. We continuously improve the conformance to keep up with the ever-evolving standard. ⚡️ Live Demo (WASM) Try out the engine now at the live WASM playground here! Prefer a CLI? […]
Rust’s TUI Revolution
Atuin replaces your existing shell history with a SQLite database, and records additional context for your commands. This is a CLI utility for displaying current network utilization by process, connection and remote IP/hostname Perform binary analysis in your terminal. A customizable cross-platform graphical process/system monitor for the terminal Play crossword puzzles in your terminal. csvlens […]