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...
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 ...
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...
Grok makes X more truth-friendly as it often challenges users’ assumptions instead of confirming them, says Ethereum co-founder Vitalik Buterin....
Germany still leans on fax machines and paperwork for basic public services. How can a nation of tech pioneers be so slow to adopt digital government?...
The launch of an AI image editing feature on xAI’s Grok has caused chaos on X after it was used to generate a flood of non-consensual sexualized deepfakes. As Hayden Field wrote , “screenshots s...
This is Lowpass by Janko Roettgers , a newsletter on the ever-evolving intersection of tech and entertainment, syndicated just for The Verge subscribers once a week. Every year, TV makers flock to CES...
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...
OP here. I built RepoReaper to solve code context fragmentation in RAG. Unlike standard chat-with-repo tools, it simulates a senior engineer's workflow: it parses Python AST for logic-aware chunking, ...
What is this? Krowdovi is an open-source platform that lets anyone with a smartphone record first-person navigation videos of indoor spaces - hospitals, airports, malls, universities - and earn tokens...