Herbie: Automatically improve imprecise floating point formulas
Herbie Tutorial Herbie rewrites floating point expressions to make them more accurate. Floating point arithmetic is inaccurate; even 0.1 + 0.2 ≠ 0.3 in floating-point. Herbie helps find and fix these mysterious inaccuracies. To get started, download and install Herbie. You’re then ready to begin using it. Giving Herbie expressions Start Herbie with: racket -l […]
7,655 Ransomware Claims in One Year: Group, Sector, and Country Breakdown
7,655 Ransomware victim claims from 129 groups across 141 countries, March 2025 to March 2026 From March 2025 to March 2026, ransomware groups posted 7,655 victim claims to public leak sites over 376 days. That is roughly 20 per day, or one new organisation named every 71 minutes. This article breaks down which groups are […]
Why the US Navy Won’t Blast the Iranians and ’Open’ Strait of Hormuz
American taxpayers could be forgiven if recent events have left them wondering why the largest and most expensive Navy in the world is sitting well outside the Strait of Hormuz, watching powerlessly as the Iranians decide which ships they will allow to transit the waterway. After all, they must wonder, why can’t the Navy simply […]
Fast and Gorgeous Erosion Filter
Fast and Gorgeous Erosion Filter This blog post and the companion video both explain an erosion technique I’ve worked on over the past eight months. The video has lots of elaborate animated visuals, and is more focused on my process of discovering, refining, and evolving the technique, while this post has a bit more implementation […]
RamAIn (YC W26) Is Hiring
RamAIn builds the world’s fastest computer-use agents for enterprise work. We’re a YC W26 company on a mission to eliminate repetitive, manual workflows by training AI agents that operate legacy systems, desktop apps, and web portals the same way humans do – but 10× faster and more reliably. Founders RamAIn was founded by Shourya Vir […]
Show HN: Raincast – Describe an app, get a native desktop app (open source)
Describe an app. Get a native desktop app.AI-powered app generator that builds real, shippable Tauri applications from natural language. Install · How It Works · Examples What is Raincast? Raincast is a desktop application that generates other desktop applications. You describe what you want in plain English, and Raincast builds a fully functional native app:with […]
Gone (Almost) Phishin’
This is a little embarrassing to share, but I’d rather someone else be able to spot a dangerous scam before they fall for it. So, here goes. One evening last month, my Apple Watch, iPhone, and Mac all lit up with a message prompting me to reset my password. This came out of nowhere; I […]
GitHub backs down, kills Copilot pull-request ads after backlash
Microsoft has done a 180. Following backlash from developers, GitHub has removed Copilot’s ability to stick ads – what it calls ”tips” – into any pull request that invokes its name. Australian developer Zach Manson noted on Monday that, after a coworker asked Copilot to correct a typo in one of his pull requests, he […]
Semantic – Reducing LLM ”Agent Loops” by 27.78% via AST Logic Graphs
Local Rust service for deterministic code retrieval by symbol, span, and logic graph. IDE Semantic-First Integration Use the semantic-first integration guide for RooCode/KiloCode/Codex/Claude wiring, middleware policy controls, and end-to-end flow diagrams: docs/IDE_SEMANTIC_FIRST.md docs/TOOL_CALLING_GUIDE.md (objective + usage of API and MCP tool callings) docs/AB_TEST_DEV_RESULTS.md (development benchmark history and latest metrics) engine shared contracts parser Tree-sitter extraction […]
Ollama is now powered by MLX on Apple Silicon in preview
Today, we’re previewing the fastest way to run Ollama on Apple silicon, powered by MLX, Apple’s machine learning framework. This unlocks new performance to accelerate your most demanding work on macOS: Fastest performance on Apple silicon, powered by MLX Ollama on Apple silicon is now built on top of Apple’s machine learning framework, MLX, to […]