@hackernews Can LLMs model real-world systems in TLA+? #HackerNews #Tech #AI
@hackernews Show HN: GETadb.com - every GET request creates a DB #HackerNews #Tech #ShowHN
@hackernews 5x perf increase on writes with FPW disabled in Postgres #HackerNews #Tech #Postgres
@hackernews Hallucinations Undermine Trust; Metacognition Is a Way Forward #HackerNews #Tech #AI
@hackernews Serving a Website on a Raspberry Pi Zero Running in RAM #HackerNews #Tech #RaspberryPi
@hackernews Words Fail (2020) #HackerNews #Tech #Language
@hackernews When Semiconductor Materials Misbehave #HackerNews #Tech #Semiconductors
@hackernews Four stable kernels with partial fixes for Dirty Frag #HackerNews #Tech #Kernel
@hackernews Show HN: Git for AI Agents #HackerNews #Tech #AI
@hackernews PC Engine CPU #HackerNews #Tech #RetroGaming
@hackernews Tesla is recalling its cheaper Cybertruck because the wheels might fall off #HackerNews #Tech #Automotive
@hackernews Google Cloud Fraud Defence is just WEI repackaged #HackerNews #Tech #Cloud
@hackernews Just Fucking Use Go #HackerNews #Tech #GoLang
@hackernews Podman rootless containers and the Copy Fail exploit #HackerNews #Tech #Podman
@hackernews Holding Community Space #HackerNews #Tech #Community
@hackernews Human typing habits and token counts #HackerNews #Tech #AI
@hackernews UFO Release 1: Presidential Unsealing and Reporting System for UAP Encounters #HackerNews #Tech #UAP
@hackernews The Boring Part of Bell Labs #HackerNews #Tech #History
@hackernews A web page that shows you everything the browser told it without asking #HackerNews #Tech #Privacy
@hackernews Poland is now among the 20 largest economies. How it happened #HackerNews #Tech #Economy
@hackernews Hackers breach JDownloader website to serve malware-laced downloads #HackerNews #Tech #Cybersecurity
@hackernews US Government releases first batch of UAP documents and videos #HackerNews #Tech #UFO
@hackernews David Attenborough's 100th Birthday #HackerNews #Tech #Nature
@hackernews Stop MitM on the first SSH connection, on any VPS or cloud provider #HackerNews #Tech #Security
@hackernews An Introduction to Meshtastic #HackerNews #Tech #Meshtastic
@hackernews Eight More 8-bit Era Microprocessors (2024) #HackerNews #Tech #Microprocessors
@hackernews GeoJSON #HackerNews #Tech #GeoJSON
@hackernews Nullsoft, 1997-2004 AOL kills off the last maverick tech company (2004) #HackerNews #Tech #OpenSource
@hackernews Ask HN: We just had an actual UUID v4 collision... #HackerNews #Tech #Programming
@hackernews I hate soldering existentially #HackerNews #Tech #DIY
@hackernews Phel v0.36.0 - Lisp on PHP, now with numeric tower and first-class Vars #HackerNews #Tech #Programming
@hackernews ClojureScript Gets Async/Await #HackerNews #Tech #ClojureScript
@hackernews QBE - Compiler Back End #HackerNews #Tech #Compiler
@hackernews Nintendo announces price increases for Nintendo Switch 2 #HackerNews #Tech #Gaming
@hackernews HantaWatch Real time hantavirus outbreak tracker #HackerNews #Tech #Health
@hackernews DBase: 1979-2026 #HackerNews #Tech #Databases
@hackernews Blaise - A modern self-hosting zero-legacy Object Pascal compiler targeting QBE #HackerNews #Tech #Programming
@hackernews Agentic Engineering #HackerNews #Tech #AI
@hackernews Copy Fail 2: Electric Boogaloo #HackerNews #Tech #OpenSource
@hackernews US will start revoking passports for parents who owe child support #HackerNews #Tech #FamilyLaw