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...
CES 2026 is nearly here, kicking off officially on January 6th and running through January 9th, 2026. Every year, this is the show where all the latest hardware and tech goodies for the coming year ar...
Rishab Jolly. Courtesy of Rishab Jolly Rishab Jolly shares his journey from an engineer in India to a senior product manager at Microsoft. Referrals, tailored résumés, and networking were crucial for ...
Disney Plus will be getting a vertical video feed later this year, Disney announced as part of its Global Tech & Data Showcase for advertisers at CES, Deadline reports . According to a Disney announce...
Lloyd Lee, Business Insider's robotaxi reporter, at CES 2026 in Las Vegas. Lloyd Lee Business Insider's robotaxi reporter, Lloyd Lee, attended the biggest tech showcase of the year, CES, for the first...
Image and video capabilities could be crucial in 2026. Getty Images Google Gemini announced it was partnering with Walmart to offer AI-powered shopping recommendations. Gemini will use Walmart and Sam...
Petkit has announced two new automated machines at CES 2026 designed to feed and care for your pets using AI-powered cameras that track their behavior and provide health insights that may otherwise go...
In 2025, I interviewed four tech industry professionals about how to break into AI. Courtesy of Mostofa Shakib; Patrick Leung; Sophia Sun AI jobs are hot right now, and some in the tech industry are p...
Watch your favorite series just as you would at home with a huge 70% discount on the best VPN service overall....
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 ...
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...