Raymond here from Butter.dev, an LLM response cache built as a chat-completions proxy. Today we're launching a key feature for the platform: the ability to generalize on dynamic, templated inputs. Cac...
"Shrimp Jesus" was early AI slop on Facebook. Facebook We're going to really have to be on our toes to separate AI from reality this year. The head of Instagram says it's getting harder and ha...
Hi HN, author here. I built Tylax because I wanted to migrate my old LaTeX papers to Typst but found existing regex-based scripts too fragile for nested environments. Tylax parses LaTeX into an AST (u...
Hi HN, I've been exploring various applications of formal methods to ML/interpretability and I've been hoping to get more eyes on the approach. I have been working on a small interpretability project ...
Article URL: https://github.com/shakedlokits/stash Comments URL: https://news.ycombinator.com/item?id=46514874 Points: 4 # Comments: 1...
Author here! Some context: I published this 48 hours ago and it was auto-listed on MCPMarket (the MCP tools directory). Got 700+ organic downloads with zero marketing—developers were actively searchin...
Article URL: https://github.com/BayramAnnakov/claude-reflect Comments URL: https://news.ycombinator.com/item?id=46484933 Points: 7 # Comments: 2...
Search any song, get a Gameboy version. Emulates Nintendo's Sharp LR35902 sound hardware: 2 pulse waves for melody/harmony, 1 wave channel for bass, 1 noise for percussion. Finds MIDI sources, parses ...
Hi HN — Tidy Baby is a new game made by me and Wyna Liu (of NYT Connections!) that is inspired by the legendary card-based game SET that we assume many of you love (we too love SET). In SET, you’ve go...
I built an open source web app that generates cover letters using local AI models (Ollama, LM Studio, vLLM, etc.) so your resume and job application data never leaves your machine. No placeholders. No...
How small can a language model be while still doing something useful? I wanted to find out, and had some spare time over the holidays. Z80-μLM is a character-level language model with 2-bit quantized ...
Article URL: https://simonwillison.net/2025/Dec/26/slop-acts-of-kindness/ Comments URL: https://news.ycombinator.com/item?id=46394867 Points: 29 # Comments: 5...
I wanted to share this fun craft activity for the holidays that I've been doing with my family over the last few years. I came up with these while cutting up some cans trying to make an aluminum versi...
The "Lego Ruler". | Photo by Sean Hollister / The Verge We just gave the Lego Smart Brick our Best In Show award at CES 2026 , and I wanted to stop by The Lego Group's suite to get a last glimpse befo...
After causing a splash at last year's CES with a pair of high-tech, high-powered e-bikes, Segway returned to the show with a little something more for everyone. The Ninebot-owned brand announced two n...
Most consensus libraries (Raft, Paxos) treat the state machine as a pure black box. This is fine until your state machine needs to actually do something, like charge a credit card, fire a webhook, or ...
Chief executive of Blackstone-backed German luxury photography group says too much nostalgia is ‘dangerous’...
I built this as a personal open-source project to explore how EU AI Act requirements can be translated into concrete, inspectable technical checks. The core idea is local-first compliance: – risk clas...
My name is Adrian. I'm a Software Engineer and I spent 6 years developing a perimeter-based geofence-based social media app. What it does: - Allows you to load a custom perimeter anywhere on the geogr...
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hook...