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...
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...
I made a web game inspired by Geoguessr and Wordle, where you get shown a 3D model of a random human protein each day, and you have to triangulate its gene name using similarity clues. My background i...
Woot has an excellent deal on refurbished Sonos Arc SL soundbars , the 2020 model that’s similar to the original Arc aside from not having any microphones. It debuted for $749, but you can get one wit...
Getty Images; Alyssa Powell/BI We tried four AI matchmakers: Amata, Facebook Dating, Sitch, and Three Day Rule. The apps had us DM a chatbot, promising that AI would connect us to better-tailored matc...
I (17y/o) have been developing a rocket launch simulation that allows the user to explore what it's like launching a rocket from earth and putting it into orbit. This idea originally started as an edu...
Character.AI and Google have reached settlements with several families whose teens harmed themselves or died by suicide after interacting with Character.AI 's chatbots, according to new court filings....
My agency was bleeding $1,800/year on contractor Notion seats. The problem: I needed to give contractors access to specific data (CRM, project tracker) but couldn't let them see pricing, margins, or o...
Hi HN I recently got married, promptly had a bit of a meltdown, and decided to lock myself in a room and build for a while. At the same time, I was trying to outbound sell for my startup and kept runn...
If you have an iPhone, the Apple Watch is the best smartwatch for you. But there was only one Apple Watch when the smartwatch launched in 2015. A decade later, you’ve got three flavors to choose from:...
JGI/Jamie Grill/Getty Images/Tetra images RF I worried my toddler would wander out of the house after leaving her crib. I used a home security system to alert me if doors opened at night. The system h...
The tech moguls in happier times (at Trump’s inauguration.) Since X's users started using Grok to undress women and children using deepfake images, I have been waiting for what I assumed would be inev...
UK Prime Minister Keir Starmer says the country will take action against X following reports that the platform's Grok AI chatbot is generating sexualized deepfakes of adults and minors , as reported e...
A fast SOCKS5 proxy that tunnels your traffic through what looks like normal SMTP email, bypassing Deep Packet Inspection firewalls. How it works: - Client runs a local SOCKS5 proxy (127.0.0.1:1080) -...
Smart whiteboard manufacturer Vibe is expanding further into hybrid work hardware with the Vibe Bot, a physical AI device that can serve as a voice assistant, a smart webcam, and an AI note-taker, des...
i've been a big fan of fedora's atomic distros and i decided to make my own but arch based to get the best of both worlds, which is kind of funny now because it looks exactly like silverblue. is it wo...
The splitR Auracast transceiver can attach to an iPhone’s MagSafe spot. One of the issues holding Auracast back from wider mainstream use is some companies' lack of support for the Bluetooth technolog...
Shadowheart contemplates a powerful artifact in Baldur’s Gate 3 Following some controversy, the developers at Baldur's Gate 3 creator Larian Studios have further clarified their use of generative AI. ...
As part of a few changes to its search filters , YouTube is going to allow you to search specifically for Shorts or longform videos. Right now, a filter-less search shows a mix of longform and short f...
Last year, Tesla defied its critics by boldly launching a robotaxi service that, by the end of the year, required no human supervision and was available to over 50 percent of the US population. At lea...