HckrNews (First visit) All HN frontpage stories in chronological order Midjourney is alemwjsl 56 147 14d +5d aadillpickle.com/blog/midjourney-is-alemwjsl 1Dafny: Verification-Aware Programming Language 33 104 8d +53m dafny.org 2Americans overestimate how many social media users post harmful content 58 31 8d +11m academic.oup.com/pnasnexus/article/4/12/pgaf310/8377954?login=false 3I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours 141 267 8d +43m simonwillison.net/2025/Dec/15/porting-justhtml 4No AI* Here – A Response to Mozilla's Next Chapter 321 551 8d +1h waterfox.com/blog/no-ai-here-response-to-mozilla 5Tumbleweed aerodynamics inspire hybrid robots for harsh terrains 4 10 14d +5d techxplore.com/news/2025-12-tumbleweed-aerodynamics-hybrid-robots-harsh.html 6Reverse-engineering the RK3588 NPU: Hacking limits to run vision transformers 9 53 8d +1h amohan.dev/blog/2025/shard-optimizing-vision-transformers-edge-npu 7MIT professor shot at his Massachusetts home dies 209 266 8d +25m bbc.com/news/articles/cly08y25688o 8Show HN: Deterministic PCIe Diagnostics for GPUs on Linux 4 20 8d +1h github.com/parallelArchitect/gpu-pcie-diagnostic 9Letta Code 37 82 8d +1h letta.com/blog/letta-code 10Chat-tails: Throwback terminal chat, built on Tailscale 22 98 8d +36m tailscale.com/blog/chat-tails-terminal-chat 11Announcing the Beta release of ty 167 839 8d +56m astral.sh/blog/ty 12The Beauty of Dissonance 1 20 12d +3d plough.com/en/topics/culture/music/the-beauty-of-dissonance 13AI will make formal verification go mainstream 420 816 8d +15m martin.kleppmann.com/2025/12/08/ai-formal-verification.html 1430 years of <br> tags 96 213 11d +3d artmann.co/articles/30-years-of-br-tags 15Japan to revise romanization rules for first time in 70 years 227 270 8d +11h japantimes.co.jp/news/2025/08/21/japan/panel-hepburn-style-romanization 16How geometry is fundamental for chess 26 64 13d +4d lichess.org/@/RuyLopez1000/blog/how-geometry-is-fundamental-for-chess/h31wwhUX 17Creating custom yellow handshake emojis with zero-width joiners 5 80 9d +19h blog.alexbeals.com/posts/custom-yellow-handshake-emojis-with-zero-width-joiners 18Thin desires are eating life 260 817 9d +19h joanwestenberg.com/thin-desires-are-eating-your-life 19Meta's new A.I. superstars are chafing against the rest of the company 154 95 14d +6d nytimes.com/2025/12/10/technology/meta-ai-tbd-lab-friction.html 20Tell HN: AI coding is sexy, but accounting is the real low-hanging target 55 63 13d +4d 21Pizlix: Memory Safe Linux from Scratch 27 98 11d +2d fil-c.org/pizlix 22AI URI Scheme – Internet-Draft 12 21 9d +1d ietf.org/archive/id/draft-sogomonian-ai-uri-scheme-01.html 23Context: Odin’s Most Misunderstood Feature 5 45 9d +1d gingerbill.org/article/2025/12/15/odins-most-misunderstood-feature-context 24Writing a blatant Telegram clone using Qt, QML and Rust. And C++ 87 134 8d +4h kemble.net/blog/provoke 25Liskell – Haskell Semantics with Lisp Syntax [pdf] 24 73 9d +22h clemens.endorphin.orghttp:///ILC07-Liskell-draft.pdf 26Show HN: Sqlit – A lazygit-style TUI for SQL databases 40 179 9d +1d github.com/Maxteabag/sqlit 27Nvidia Nemotron 3 Family of Models 54 254 9d +1d research.nvidia.com/labs/nemotron/Nemotron-3 28GPT Image 1.5 254 517 8d +1h openai.com/index/new-chatgpt-images-is-here 29Confuse some SSH bots and make botters block you 32 65 13d +5d mirror.newsdump.org/confuse-some-ssh-bots.html 30No Graphics API 176 826 8d +14m sebastianaaltonen.com/blog/no-graphics-api 31Show HN: My Tizen multiplayer drawing game flopped, but then hit 100M drawings 13 38 8d +3h drawize.com 32The new ChatGPT Images is here 1 59 8d +1h openai.com/index/new-chatgpt-images-is-here 33Show HN: Solving the ~95% legislative coverage gap using LLM's 23 40 8d +4h lustra.news 34The World Happiness Report is beset with methodological problems 207 165 9d +18h yaschamounk.substack.com/p/the-world-happiness-report-is-a-sham 35Vibe coding creates fatigue? 169 174 8d +11m tabulamag.com/p/too-fast-to-think-the-hidden-fatigue 36Volkswagen to close German plant, a first in their company history 19 32 8d +37m nytimes.com/2025/12/16/business/volkswagen-dresden-factory-closed.html 37AI is wiping out entry-level tech jobs, leaving graduates stranded 167 132 8d +46m restofworld.org/2025/engineering-graduates-ai-job-losses 38Show HN: Zenflow – orchestrate coding agents without "you're right" loops 32 31 8d +1h zencoder.ai/zenflow 39The GitHub Actions control plane is no longer free 3 216 8d +19m blacksmith.sh/blog/actions-pricing 40Coming soon: Simpler pricing and a better experience for GitHub Actions 2 454 8d +18m github.blog/changelog/2025-12-16-coming-soon-simpler-pricing-and-a-better-experience-for-github-actions 41Pricing Changes for GitHub Actions 813 795 8d +19m resources.github.com/actions/2026-pricing-changes-for-github-actions 42FVWM-95 (2001) 98 125 8d +5m fvwm95.sourceforge.net 43alpr.watch 438 897 8d +11m alpr.watch 44Artie (YC S23) Is Hiring Senior Enterprise AES 0 1 8d +20s ycombinator.com/companies/artie/jobs/HyaHWUs-senior-enterprise-ae 45Devs say Apple still flouting EU's Digital Markets Act six months on 85 107 8d +38m theregister.com/2025/12/16/apple_dma_complaint 46A Thousand and One Nights in Italy 0 13 14d +5d publicdomainreview.org/essay/a-thousand-and-one-nights-in-italy 47Show HN: Interactive Common Lisp: An Enhanced REPL 6 101 11d +2d github.com/atgreen/icl 48AIsbom – open-source CLI to detect "Pickle Bombs" in PyTorch models 36 51 8d +25m github.com/Lab700xOrg/aisbom 49CEOs to Keep Spending on AI, Despite Spotty Returns 46 73 8d +1h wsj.com/tech/ai/ceos-to-keep-spending-on-ai-despite-spotty-returns-2eaeb6b 50Debug Mode for LLMs in vLLora 7 47 12d +4d vllora.dev/blog/debug-mode 51Four Million U.S. Children Had No Health Insurance in 2024 113 63 8d +21m scientificamerican.com/article/how-rising-rates-of-uninsured-children-will-increase-pediatric-cancer-deaths 52U.S. unemployment rose in November despite job gains 98 92 8d +1h wsj.com/economy/jobs/jobs-report-october-november-2025-unemployment-economy-7f6eea90 53Mozilla's new CEO is doubling down on an AI future for Firefox 89 60 8d +18m theverge.com/tech/845216/mozilla-ceo-anthony-enzor-demeo 54Microsoft will kill obsolete cipher that has wreaked decades of havoc 6 27 8d +1h arstechnica.com/security/2025/12/microsoft-will-finally-kill-obsolete-cipher-that-has-wreaked-decades-of-havoc 55Overconsumption is a spiritual problem 101 134 8d +1h sherryning.com/p/youre-overspending-because-you-lack-values 56EU household real income per capita up 22% since 2004 60 55 8d +3h ec.europa.eu/eurostat/web/products-eurostat-news/w/ddn-20251125-2 57Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More) 45 285 8d +1h gamehistory.org/segachannel 58A brief history of Times New Roman 66 123 8d +33m typographyforlawyers.com/a-brief-history-of-times-new-roman.html 59This is not the future 403 706 8d +20m blog.mathieui.net/this-is-not-the-future.html 60I don't think Lindley's paradox supports p-circling 13 44 8d +20m vilgot-huhn.github.io/mywebsite/posts/20251206_p_circle_lindley 61Mozilla appoints new CEO Anthony Enzor-Demeo 913 588 8d +2m blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo 6240 percent of fMRI signals do not correspond to actual brain activity 204 500 8d +7m tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-do-not-correspond-to-actual-brain-activity 63Mathematicians Crack a Fractal Conjecture on Chaos 8 28 15d +6d scientificamerican.com/article/mathematicians-crack-a-fractal-conjecture-on-chaos 64Rust GCC backend: Why and how 126 192 8d +6m blog.guillaume-gomez.fr/articles/2025-12-15+Rust+GCC+backend%3A+Why+and+how 65Put a ring on it: a lock-free MPMC ring buffer 44 76 8d +5m h4x0r.org/ring 66Should we fear Microsoft's monopoly? 61 48 8d +1h cursor.tue.nl/en/background/2025/december/week-2/should-we-fear-microsofts-monopoly 67Be Careful with GIDs in Rails 19 44 14d +5d blog.julik.nl/2025/12/a-trap-with-global-ids 68Thomas Piketty: 'The reality is the US is losing control of the world' 207 95 8d +21m lemonde.fr/en/opinion/article/2025/04/12/thomas-piketty-the-reality-is-the-us-is-losing-control-of-the-world_6740140_23.html 69Full Unicode Search at 50× ICU Speed with AVX‑512 77 213 9d +19h ashvardanian.com/posts/search-utf8 70VS Code deactivates IntelliCode in favor of the paid Copilot 174 225 8d +2h heise.de/en/news/VS-Code-deactivates-IntelliCode-in-favor-of-the-paid-Copilot-11115783.html 71Cekura (YC F24) Is Hiring 0 1 8d +15s ycombinator.com/companies/cekura-ai/jobs/YFeQADI-product-engineer-us 72Show HN: Search the lyrics of 500 HÖR Berlin techno sets 11 18 13d +4d hor.greg.technology 73ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing 56 163 8d +1h github.com/mantisfury/ArkhamMirror 74High Performance SSH/SCP 73 117 14d +5d psc.edu/hpn-ssh-home 75A2UI: A Protocol for Agent-Driven Interfaces 72 158 8d +50m a2ui.org 76I'm a Tech Lead, and nobody listens to me. What should I do? 128 158 8d +18m world.hey.com/joaoqalves/i-m-a-tech-lead-and-nobody-listens-to-me-what-should-i-do-e16e454d 77[dead] ? 10 8d +52m piixes.com 78Internal RFCs saved us months of wasted work 69 102 14d +5d highimpactengineering.substack.com/p/the-illusion-of-shared-understanding 79The biggest heat pumps 188 125 8d +32m bbc.com/news/articles/c17p44w87rno 80Mark V Shaney 4 51 13d +4d en.wikipedia.org/wiki/Mark_V._Shaney 81Bonsai: A Voxel Engine, from scratch 44 253 8d +1h github.com/scallyw4g/bonsai 827 Years, 2 Rebuilds, 40K+ Stars: Milvus Recap and Roadmap 12 33 14d +5d milvus.io/blog/milvus-exceeds-40k-github-stars.md 83O'saasy License Agreement 73 51 8d +38m osaasy.dev 84A linear-time alternative for Dimensionality Reduction and fast visualisation 35 116 8d +12m medium.com/@roman.f/a-linear-time-alternative-to-t-sne-for-dimensionality-reduction-and-fast-visualisation-5cd1a7219d6f 85Children with cancer scammed out of millions fundraised for their treatment 454 532 8d +39m bbc.com/news/articles/ckgz318y8elo 86Creating C closures from Lua closures 15 60 13d +4d lowkpro.com/blog/creating-c-closures-from-lua-closures.html 87Erdős Problem #1026 28 161 9d +1h terrytao.wordpress.com/2025/12/08/the-story-of-erdos-problem-126 88Debugging TLS failures in distroless containers 0 28 14d +5d lucabaggi.com/posts/ssl-docker 89Canada's Carney called out for 'utilizing' British spelling 232 87 9d +8h bbc.com/news/articles/cj69d89l8l5o 90SHARP, an approach to photorealistic view synthesis from a single image 107 507 9d +57m apple.github.io/ml-sharp 91How does Windows synthesize CF_Unicode­TEXT from CF_TEXT and vice versa? 0 9 14d +5d devblogs.microsoft.com/oldnewthing/20251209-00/?p=111854 92Light intensity steers molecular assemblies into 1D, 2D or 3D structures 4 40 14d +5d phys.org/news/2025-11-intensity-molecular-1d-2d-3d.html 938M users' AI conversations sold for profit by "privacy" extensions 245 826 9d +20m koi.ai/blog/urban-vpn-browser-extension-ai-conversations-data-collection 94Native vs. emulation: World of Warcraft game performance on Snapdragon X Elite 57 104 9d +3h rkblog.dev/posts/pc-hardware/pc-on-arm/x86_versus_arm_native_game 95John Updike wrote it all down 6 32 15d +6d newrepublic.com/article/201598/john-updike-wrote 96Show HN: PasteClean – Desktop app to strip tracking parameters from clipboard 13 20 9d +39m iixotic.github.io/PasteClean/website 97Rollstack (YC W23) is hiring multiple software engineers (TypeScript) US/Canada 0 1 9d +9s ycombinator.com/companies/rollstack-2/jobs/QPqpb1n-software-engineer-typescript-us-canada 98SoundCloud confirms breach after member data stolen, VPN access disrupted 12 96 9d +7m bleepingcomputer.com/news/security/soundcloud-confirms-breach-after-member-data-stolen-vpn-access-disrupted 99Bondi lie peddled by Grok chatbot shows future of AI-poisoned info ecosystem 2 19 9d +4m crikey.com.au/2025/12/16/elon-musk-ai-chatbot-grok-bondi-shooting-ahmed-al-ahmed 100Show HN: Cordon – Reduce large log files to anomalous sections 0 19 9d +4h github.com/calebevans/cordon 101The Bob Dylan concert for just one person 24 99 9d +42m flaggingdown.com/p/the-bob-dylan-concert-for-just-one 102Quill OS: An open-source OS for Kobo's eReaders 145 463 9d +33m quill-os.org 103Ideas aren't getting harder to find 64 127 9d +15m asteriskmag.com/issues/12-books/ideas-arent-getting-harder-to-find 104Understanding carriage 21 57 14d +5d seths.blog/2025/12/understanding-carriage 105 More... 2025.12.15