HckrNews (First visit) All HN frontpage stories in chronological order OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI 313 565 12d +25m simonwillison.net/2025/Dec/12/openai-skills 150 years of proof assistants 29 138 12d +28m lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html 2C64 Maze Chomp.BAS 4 35 18d +5d basic-code.bearblog.dev/c64-maze-chompbas 3Freeing a Xiaomi humidifier from the cloud 83 152 13d +17h 0l.de/blog/2025/11/xiaomi-humidifier 4Capsudo: Rethinking sudo with object capabilities 56 88 12d +1h ariadne.space/2025/12/12/rethinking-sudo-with-object-capabilities.html 5I couldn't find a logging library that worked for my library, so I made one 14 13 12d +7h hackers.pub/@hongminhee/2025/logtape-fedify-case-study 6Show HN: I made a spreadsheet where formulas also update backwards 113 245 13d +1d victorpoughon.github.io/bidicalc 7Building small Docker images faster 26 69 13d +12h sgt.hootr.club/blog/docker-protips 8Can I use HTTPS RRs? 7 18 12d +38m netmeister.org/blog/https-caniuse.html 9Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS 0 59 12d +35m gitlab.winehq.org/wine/wine/-/releases/wine-11.0-rc2 10Fast Median Filter over arbitrary datatypes 2 37 18d +6d martianlantern.github.io/2025/09/median-filter-over-arbitrary-datatypes 11Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig 12 190 12d +20m github.com/ringtailsoftware/uvm32 12Ensuring a National Policy Framework for Artificial Intelligence 256 183 13d +22h whitehouse.gov/presidential-actions/2025/12/eliminating-state-law-obstruction-of-national-artificial-intelligence-policy 13Funerary figurines found in royal tomb identifies Pharoah 4 11 17d +4d sciencealert.com/trove-of-225-exceptional-egyptian-figurines-solves-long-standing-mystery 14macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt 287 529 12d +43m developer.apple.com/documentation/macos-release-notes/macos-26_2-release-notes#RDMA-over-Thunderbolt 15The Average Founder Ages 6 Months Each Year 20 37 12d +1h tomtunguz.com/founder-age-median-trend 16Rats Play DOOM 151 415 12d +53m ratsplaydoom.com 17Motion (YC W20) Is Hiring Senior Staff Front End Engineers 0 1 12d +31s jobs.ashbyhq.com/motion/715d9646-27d4-44f6-9229-61eb0380ae39 18GNU Unifont 76 336 12d +30s unifoundry.com/unifont/index.html 19Pg_ClickHouse: A Postgres extension for querying ClickHouse 42 113 14d +2d clickhouse.com/blog/introducing-pg_clickhouse 20Security issues with electronic invoices 63 89 12d +5m invoice.secvuln.info 21Good conversations have lots of doorknobs (2022) 21 88 17d +4d experimental-history.com/p/good-conversations-have-lots-of-doorknobs 22iOS 26.2 Release Notes 6 19 12d +11m developer.apple.com/documentation/ios-ipados-release-notes/ios-ipados-26_2-release-notes 23New Kindle feature uses AI to answer questions about books 129 82 12d +7m reactormag.com/new-kindle-feature-ai-answer-questions-books-authors 24The true story of the Windows 3.1 'Hot Dog Stand' color scheme 56 145 12d +38m pcgamer.com/software/windows/windows-3-1-included-a-red-and-yellow-hot-dog-stand-color-scheme-so-garish-it-was-long-assumed-to-be-a-joke-so-i-tracked-down-the-original-designer-to-get-the-true-story 25Open sourcing the Remix Store 3 38 16d +3d remix.run/blog/oss-remix-store 26Nuclear energy key to decarbonising Europe, says EESC 190 126 12d +1h eesc.europa.eu/en/news-media/news/nuclear-energy-key-decarbonising-europe-says-eesc 27Benn Jordan’s flock camera jammer will send you to jail in Florida now [video] 170 179 12d +13m youtube.com/watch?v=qEllWdK4l_A 28Home Depot GitHub token exposed for a year, granted access to internal systems 156 270 12d +31m techcrunch.com/2025/12/12/home-depot-exposed-access-to-internal-systems-for-a-year-says-researcher 29Bit flips: How cosmic rays grounded a fleet of aircraft 85 85 16d +4d bbc.com/future/article/20251201-how-cosmic-rays-grounded-thousands-of-aircraft 30Id Software devs form "wall-to-wall" union 363 332 12d +10m rockpapershotgun.com/id-software-devs-form-wall-to-wall-union-with-165-workers-at-doom-studio-the-latest-to-vote-in-favour 31Google releases its new Google Sans Flex font as open source 109 232 12d +7m omgubuntu.co.uk/2025/11/google-sans-flex-font-ubuntu 32String theory inspires a brilliant, baffling new math proof 166 180 12d +1h quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212 33Using secondary school maths to demystify AI 242 130 12d +1h raspberrypi.org/blog/secondary-school-maths-showing-that-ai-systems-dont-think 34How to Articulate Yourself Intelligently 13 11 17d +4d letters.thedankoe.com/p/how-to-articulate-yourself-intelligently 35Japan law opening phone app stores to go into effect 34 175 12d +27m .nhk.or.jp/nhkworld/en/news/20251210_B1 36Async DNS 46 127 12d +31m flak.tedunangst.com/post/async-dns 37Show HN: tomcp.org – Turn any URL into an MCP server 15 34 12d +13m github.com/Ami3466/tomcp 38[dead] ? 6 12d +2m clipnotebook.com 39Oracle made a $300B bet on OpenAI. It's paying the price 125 134 12d +20m finance.yahoo.com/news/oracle-made-a-300-billion-bet-on-openai-its-paying-the-price-205441863.html 40Why more American seniors are getting high 36 21 12d +10m economist.com/graphic-detail/2025/12/11/why-more-american-seniors-are-getting-high 41CM0 – A new Raspberry Pi you can't buy 60 207 12d +1h jeffgeerling.com/blog/2025/cm0-new-raspberry-pi-you-cant-buy 42America's betting craze has spread to its news networks 89 68 12d +11m newyorker.com/news/the-lede/americas-betting-craze-has-spread-to-its-news-networks 43Senator endorses discredited book that claims chemical treats autism, cancer 62 86 12d +17m propublica.org/article/ron-johnson-wisconsin-chlorine-dioxide-pierre-kory-endorsement 44Epic celebrates "the end of the Apple Tax" after court win in iOS payments case 332 430 12d +27m arstechnica.com/tech-policy/2025/12/epic-celebrates-the-end-of-the-apple-tax-after-appeals-court-win-in-ios-payments-case 45Microservices should form a polytree 113 140 17d +4d bytesauna.com/post/microservices 46Framework Raises DDR5 Memory Prices by 50% for DIY Laptops 215 238 12d +25m phoronix.com/news/Framework-50p-DDR5-Memory 47Berlin Approves New Expansion of Police Surveillance Powers 116 156 12d +22m reclaimthenet.org/berlin-approves-new-expansion-of-police-surveillance-powers 48The Resonant Computing Manifesto 2 9 12d +9m resonantcomputing.org 49BpfJailer: eBPF Mandatory Access Control [pdf] 4 61 12d +32m lpc.events/event/19/contributions/2159/attachments/1833/3929/BpfJailer%20LPC%202025.pdf 50Why isn't online age verification just like showing your ID in person? 116 83 12d +1h eff.org/deeplinks/2025/12/why-isnt-online-age-verification-just-showing-your-id-person 51Using Python for Scripting 104 158 17d +4d hypirion.com/musings/use-python-for-scripting 52[dead] ? 7 12d +28m yaschamounk.substack.com 53SQLite JSON at full index speed using generated columns 109 364 12d +19m dbpro.app/blog/sqlite-json-virtual-columns-indexing 54Fedora: Open-source repository for long-term digital preservation 54 119 12d +11m fedorarepository.org 55Show HN: Epstein's emails reconstructed in a message-style UI (OCR and LLMs) 8 45 12d +41m github.com/Toon-nooT/epsteins-phone-reconstructed 56BehindTheMedspeak: A Spinal Tap 11 15 17d +4d bookofjoe2.blogspot.com/2025/10/behindthemedspeak-this-is-spinal-tap.html 57Show HN: Autofix Bot – Hybrid static analysis and AI code review agent 13 35 13d +15h 58Sick of smart TVs? Here are your best options 494 598 12d +23m arstechnica.com/gadgets/2025/12/the-ars-technica-guide-to-dumb-tvs 59Show HN: Tripwire: A new anti evil maid defense 48 81 14d +1d github.com/fr33-sh/Tripwire 60Training LLMs for honesty via confessions 57 66 13d +2h arxiv.org/abs/2512.08093 61Censorship in Western Academia and the War in Ukraine 2 17 12d +1m newglobalpolitics.org/censorship-in-western-academia-and-the-war-in-ukraine 62The Tor Project is switching to Rust 264 347 12d +4m itsfoss.com/news/tor-rust-rewrite-progress 63What folk can do 16 44 17d +4d folk.computer/guides/what-folk-can-do 64From text to token: How tokenization pipelines work 20 132 13d +21h paradedb.com/blog/when-tokenization-becomes-token 65Koralm Railway 195 313 13d +1h infrastruktur.oebb.at/en/projects-for-austria/railway-lines/southern-line-vienna-villach/koralm-railway 66Native ads coming soon to Stack Overflow and Stack Exchange 53 27 13d +42m meta.stackexchange.com/questions/415259/native-ads-coming-soon-to-stack-overflow-and-stack-exchange 67Octo: A Chip8 IDE 10 92 19d +6d github.com/JohnEarnest/Octo 68How does a "you interview for US company, we do the work" scam work? 39 32 13d +25m 69You are dating an ecosystem 24 26 13d +1h razor.blog/2025/12/you-will-never-be-in-two-person.html 704 billion if statements (2023) 174 633 18d +5d andreasjhkarlsson.github.io//jekyll/update/2023/12/27/4-billion-if-statements.html 71Show HN: Jottings; Anti-social microblog for your thoughts 16 27 13d +1h jottings.me 72Spirograph style Lego drawing machine 7 39 17d +3d jkbrickworks.com/simple-drawing-machine 73Smartphone without a battery (2022) 34 94 13d +1h yaky.dev/2022-09-06-smartphone-without-battery 74Young journalists expose Russian-linked vessels off the Dutch and German coast 135 147 13d +19m digitaldigging.org/p/they-droned-back 75Guarding My Git Forge Against AI Scrapers 124 174 13d +45m vulpinecitrus.info/blog/guarding-git-forge-ai-scrapers 76[dead] ? 7 13d +2h deadstack.net 77The tiniest yet real telescope I've built 68 267 13d +2m lucassifoni.info/blog/miniscope-tiny-telescope 78The Boot Order of the Raspberry Pi Is Unusual 18 36 13d +5h patrickmccanna.net/the-raspberry-pi-boot-order-is-unusual 79Dependent Names with a Little Encouragement 0 9 18d +5d consteval.ca/2025/09/27/dependent-names 80He set out to walk around the world. After 27 years, his quest is nearly over 276 248 17d +4d washingtonpost.com/lifestyle/2025/12/05/karl-bushby-walk-around-world 81[dead] ? 26 13d +4h danieleteti.it 82Google de-indexed Bear Blog and I don't know why 186 428 13d +3h journal.james-zhan.com/google-de-indexed-my-entire-bear-blog-and-i-dont-know-why 83One Last Trip: Traveling with my brother's remains (2022) 1 3 18d +5d thecut.com/2022/03/traveling-brothers-remains.html 84Tile IR Specification 3 19 20d +7d docs.nvidia.com/cuda/tile-ir 85Cadmium Zinc Telluride: The wonder material powering a medical 'revolution' 24 68 13d +1h bbc.com/news/articles/c24l223d9n7o 86CRISPR fungus: Protein-packed, sustainable, and tastes like meat 231 309 13d +2h isaaa.org/kc/cropbiotechupdate/article/default.asp?ID=21607 87The Invisible Cost: From Creator to Consumer 3 13 21d +8d edwardnoaland.substack.com/p/the-invisible-cost-from-creator-to 88Notes on Gamma 6 24 13d +1h poniesandlight.co.uk/reflect/gamma 89Stoolap: High-performance embedded SQL database in pure Rust 39 110 13d +1h github.com/stoolap/stoolap 90My Father's Instant Mashed Potatoes 53 65 19d +6d astralcodexten.com/p/your-review-my-fathers-instant-mashed 91Laying out the 404 Media zine 14 88 13d +1h tedium.co/2025/12/10/404-media-zine-linux-affinity/? 92Pdsink: USB Power Delivery Sink library for embedded devices 23 60 18d +4d github.com/pdsink/pdsink 93Nokia N900 Necromancy 189 474 13d +31m yaky.dev/2025-12-11-nokia-n900-necromancy 94 More... 2025.12.11