HckrNews (First visit) All HN frontpage stories in chronological order How to Write a 21st Century Proof (2011) [pdf] 3 23 8d +4d lamport.azurewebsites.net/pubs/proof.pdf 1More databases should be single-threaded 23 50 3d +1h blog.konsti.xyz/p/8c8a399f-8cfe-47dd-9278-9527105d07dc 2Show HN: Jmail – Google Suite for Epstein files 344 1476 4d +1h jmail.world 3I wrote a code editor in C and now I'm a changed man 15 39 3d +32m github.com/thisismars-x/light 4Italian bears living near villages have evolved to be smaller and less agressive 74 114 9d +5d phys.org/news/2025-12-italian-villages-evolved-smaller-aggressive.html 5Claude in Chrome 187 311 4d +1h claude.com/chrome 6Anthropic: You can't change your Claude account email address 70 88 4d +1h support.claude.com/en/articles/8452276-how-do-i-change-the-email-address-associated-with-my-account 7Show HN: Fucking Websites 6 11 4d +1h afw.kuber.studio 8The Graffiti Question 34 20 9d +5d guernicamag.com/the-graffiti-question 9MIRA – An open-source persistent AI entity with memory 53 128 4d +56m github.com/taylorsatula/mira-OSS 10You have reached the end of the internet (2006) 60 198 4d +3h hmpg.net 11Shallow trees with heavy leaves (2020) 0 11 9d +5d cp4space.hatsya.com/2020/12/13/shallow-trees-with-heavy-leaves 12Ireland’s Diarmuid Early wins world Microsoft Excel title 124 308 4d +12m bbc.com/news/articles/cj4qzgvxxgvo 13Mathematicians don't care about foundations (2022) 33 59 4d +1h matteocapucci.wordpress.com/2022/12/21/mathematicians-dont-care-about-foundations 14X-59 3D Printing 12 63 8d +4d nasa.gov/stem-content/x-59-3d-printing 15AI will make our children stupid 92 65 4d +10m thecritic.co.uk/ai-will-make-our-children-stupid 16Backing up Spotify 639 1868 4d +51m annas-archive.li/blog/backing-up-spotify.html 17Why do people leave comments on OpenBenches? 26 224 4d +3h shkspr.mobi/blog/2025/12/why-do-people-leave-comments-on-openbenches 18Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries 17 122 8d +4d github.com/CrystallineCore/Biscuit 19Show HN: Chart Preview – Preview environments for Helm charts on every PR 9 20 4d +1h 20Big GPUs don't need big PCs 122 281 4d +53m jeffgeerling.com/blog/2025/big-gpus-dont-need-big-pcs 21Show HN: HN Wrapped 2025 - an LLM reviews your year on HN 151 302 4d +5h hn-wrapped.kadoa.com?year=2025 22I spent a week without IPv4 (2023) 343 164 4d +9m apalrd.net/posts/2023/network_ipv6 23OpenSCAD is kinda neat 246 318 4d +35m nuxx.net/blog/2025/12/20/openscad-is-kinda-neat 24Depot (YC W23) Is Hiring an Enterprise Support Engineer (Remote/US) 0 1 4d +13s ycombinator.com/companies/depot/jobs/jhGxVjO-enterprise-support-engineer 25Extending ts-Wolfram: dropping OOP, kernel/userspace interop, better printing 1 11 7d +3d spakhm.com/ts-wolfram-ext 26Show HN: Claude Code Plugin to play music when waiting on user input 14 54 4d +1h github.com/Sevii/agent-marketplace/blob/main/plugins/elevator-music/README.md 27Over 40% of deceased drivers in vehicle crashes test positive for THC: Study 493 337 4d +1h facs.org/media-center/press-releases/2025/over-40-of-deceased-drivers-in-motor-vehicle-crashes-test-positive-for-thc-study-shows 28Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates 72 419 4d +7m a1k0n.net/2025/12/19/tiny-tapeout-demo.html 29Maximizing Compression of Apple II Hi-Res Images 4 27 8d +4d deater.nethttp:///weave/vmwprod/hgr_compress 30[dead] ? 6 4d +45m github.com 31[dead] ? 4 4d +41m asiaviewnews.com 32DotMeow – A fun domain with a serious mission 8 9 4d +15m dotmeow.org 33Log level 'error' should mean that something needs to be fixed 293 471 7d +3d utcc.utoronto.ca/~cks/space/blog/programming/ErrorsShouldRequireFixing 34Go ahead, self-host Postgres 391 664 4d +3m pierce.dev/notes/go-ahead-self-host-postgres#user-content-fn-1 35School security AI flagged clarinet as a gun. Exec says it wasn't an error 30 45 4d +29m arstechnica.com/tech-policy/2025/12/florida-schools-plan-to-vastly-expand-use-of-ai-that-mistook-clarinet-for-gun 36TailwindSQL – Like TailwindCSS, but for SQL queries in React Server components 58 53 4d +1h github.com/mmarinovic/tailwindsql 37Gemini 3 Pro vs. 2.5 Pro in Pokemon Crystal 91 314 8d +4d blog.jcz.dev/gemini-3-pro-vs-25-pro-in-pokemon-crystal 38Immersa: Open-source Web-based 3D Presentation Tool 25 158 4d +11m github.com/ertugrulcetin/immersa 39Arduino UNO Q bridges high-performance computing with real-time control 42 46 8d +3d arduino.cc/product-uno-q 40Approaching 50 Years of String Theory 130 88 4d +3m math.columbia.edu/~woit/wordpress/?p=15401 41A proof of concept of a semistable C++ vector container 9 30 8d +4d github.com/joaquintides/semistable_vector 42Raycaster (YC F24) Is Hiring a Research Engineer (NYC, In-Person) 0 1 4d +32s 43Hash tables in Go and advantage of self-hosted compilers 43 62 10d +5d rushter.com/blog/go-and-hashmaps 44The post-GeForce era: What if Nvidia abandons PC gaming? 55 33 4d +46m pcworld.com/article/3013044/the-post-geforce-era-what-if-nvidia-abandons-pc-gaming.html 45New Quantum Antenna Reveals a Hidden Terahertz World 10 154 8d +4d sciencedaily.com/releases/2025/12/251213032617.htm 46What Does a Database for SSDs Look Like? 119 144 4d +28m brooker.co.za/blog/2025/12/15/database-for-ssd.html 47Sharp: High performance Node.js image processing/optimization 10 44 8d +3d github.com/lovell/sharp 48Skills Officially Comes to Codex 129 298 4d +1h developers.openai.com/codex/skills 49Reflections on AI at the End of 2025 348 238 4d +6m antirez.com/news/157 50Airbus to migrate critical apps to a sovereign Euro cloud 481 514 4d +28m theregister.com/2025/12/19/airbus_sovereign_cloud 51NTP at NIST Boulder Has Lost Power 207 487 4d +1h lists.nanog.org/archives/list/nanog@lists.nanog.org/message/ACADD3NKOG2QRWZ56OSNNG7UIEKKTZXL 52A train-sized tunnel is now carrying electricity under South London 102 141 4d +23m ianvisits.co.uk/articles/a-train-sized-tunnel-is-now-carrying-electricity-under-south-london-86221 53A terminal emulator that runs in your terminal. Powered by Turbo Vision 20 121 7d +2d github.com/magiblot/tvterm 54The Deviancy Signal: Having "Nothing to Hide" Is a Threat to Us All 163 216 4d +3h thompson2026.com/blog/deviancy-signal 55Contrails Map 61 125 4d +58m map.contrails.org 56Debian adds LoongArch as officially supported architecture 6 45 4d +21m lists.debian.org/debian-devel-announce/2025/12/msg00004.html 57Feast Your Eyes on Japan's Fake Food 19 39 8d +4d newyorker.com/culture/annals-of-gastronomy/feast-your-eyes-on-japans-fake-food 58Privacy doesn't mean anything anymore, anonymity does 286 444 4d +53m servury.com/blog/privacy-is-marketing-anonymity-is-architecture 59Data Bank – Nuforc – Latest UFO Sightings 25 43 4d +45m nuforc.org/databank 60A tagging system for documentation review comments 2 20 8d +3d blog.techdocs.studio/p/a-tagging-system-for-documentation-review-comments 61Charles Proxy 118 323 4d +14m charlesproxy.com 62Iberian peninsula is rotating clockwise 1 18 9d +5d phys.org/news/2025-12-iberian-peninsula-rotating-clockwise-geodynamic.html 63Android introduces $2-4 install fee and 10–20% cut for US external content links 202 222 4d +18m support.google.com/googleplay/android-developer/answer/16470497?hl=en 64Ask HN: The internet is getting worse every day. How do we fix this? 30 33 4d +4m 65Gh-actions-lockfile: generate and verify lockfiles for GitHub Actions 26 47 8d +3d gh-actions-lockfile.net 66Parallelizing ClickHouse aggregation merge for fixed hash map 0 17 8d +3d blog.incfly.org/parallelize-clickhouse-aggregation-merge-for-fixed-hash-map 67Fuzix on a Raspberry Pi Pico 13 111 9d +4d ewpratten.com/blog/fuzix-pi-pico 68Build Your Own React 22 183 4d +3h pomb.us/build-your-own-react 69Finding Alignment by Visualizing Music in Rust 0 6 12d +7d positron.solutions/articles/finding-alignment-by-visualizing-music 70Carolina Cloud – One third the cost of AWS for data science workloads 76 142 10d +5d carolinacloud.io 71Language Immersion, Prison-Style (2017) 0 16 10d +5d themarshallproject.org/2017/12/14/my-do-it-yourself-language-immersion-prison-style 72PBS News Hour West to go dark after ASU discontinues contract 77 154 4d +1h statepress.com/article/2025/12/politics-pbs-newshour-west-closure 73The FOSS community acts like a cult and it's not helping the cause 16 11 4d +18m torrent-empress.leaflet.pub/3mackqgyzh22t 74Man Made Troubles (1953) [video] 4 17 9d +4d youtube.com/watch?v=AW-dvD2ZLZY 75 More... 2025.12.19