Archives available for: 2011   2012   2013   2014   2015   2016   2017   2018   2019   2020   2021   2022   2023   2024   2025   2026   (Top of all Time)

Select Month for 2025: Jan   Feb   Mar   Apr   May   Jun   Jul   Aug   Sep   Oct   Nov   Dec   (Top of 2025)  

Select Day for Dec, 2025: 01   02   03   04   05   06   07   08   09   10   11   12   13   14   15   16   17   18   19   20   21   22   23   24   25   26   27   28   29   30   31   (Top of Dec 2025)

Archives for 16 Dec 2025

1. Dafny: Verification-Aware Programming Language
   (110 points | Comments)

2. I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
   (278 points | Comments)

3. No AI* Here – A Response to Mozilla's Next Chapter
   (564 points | Comments)

4. MIT professor shot at his Massachusetts home dies
   (270 points | Comments)

5. I program on the subway
   (258 points | Comments)

6. Chat-tails: Throwback terminal chat, built on Tailscale
   (103 points | Comments)

7. AI will make formal verification go mainstream
   (825 points | Comments)

8. Texas is suing all of the big TV makers for spying on what you watch
   (1262 points | Comments)

9. Announcing the Beta release of ty
   (853 points | Comments)

10. Show HN: Stop AI scrapers from hammering your self-hosted blog (using porn)
    (372 points | Comments)

11. Our New Sam Audio Model Transforms Audio Editing
    (164 points | Comments)

12. No Graphics API
    (840 points | Comments)

13. I've been writing ring buffers wrong all these years (2016)
    (165 points | Comments)

14. Vibe coding creates fatigue?
    (175 points | Comments)

15. Meta Segment Anything Model Audio
    (222 points | Comments)

16. GPT Image 1.5
    (522 points | Comments)

17. AI is wiping out entry-level tech jobs, leaving graduates stranded
    (134 points | Comments)

18. The GitHub Actions control plane is no longer free
    (216 points | Comments)

19. Coming soon: Simpler pricing and a better experience for GitHub Actions
    (454 points | Comments)

20. FVWM-95 (2001)
    (125 points | Comments)

21. Pricing Changes for GitHub Actions
    (802 points | Comments)

22. alpr.watch
    (913 points | Comments)

23. Prompt caching for cheaper LLM tokens
    (302 points | Comments)

24. Show HN: Picknplace.js, an alternative to drag-and-drop
    (452 points | Comments)

25. Devs say Apple still flouting EU's Digital Markets Act six months on
    (107 points | Comments)

26. Writing a blatant Telegram clone using Qt, QML and Rust. And C++
    (137 points | Comments)

27. Biscuit is a specialized PostgreSQL index for fast pattern matching LIKE queries
    (123 points | Comments)

28. Mozilla appoints new CEO Anthony Enzor-Demeo
    (593 points | Comments)

29. 40 percent of fMRI signals do not correspond to actual brain activity
    (502 points | Comments)

30. A brief history of Times New Roman
    (124 points | Comments)

31. This is not the future
    (712 points | Comments)

32. Rust GCC backend: Why and how
    (199 points | Comments)

33. Overconsumption is a spiritual problem
    (141 points | Comments)

34. Microsoft will finally kill obsolete cipher that has wreaked decades of havoc
    (127 points | Comments)

35. Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
    (285 points | Comments)

36. Gemini 3 Pro vs. 2.5 Pro in Pokemon Crystal
    (315 points | Comments)

37. I'm just having fun
    (476 points | Comments)

38. Let's write a toy UI library
    (106 points | Comments)

39. Functional Flocking Quadtree in ClojureScript
    (103 points | Comments)

40. ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing
    (168 points | Comments)

41. I'm a Tech Lead, and nobody listens to me. What should I do?
    (163 points | Comments)

42. Chomsky and the Two Cultures of Statistical Learning (2011)
    (103 points | Comments)

43. A2UI: A Protocol for Agent-Driven Interfaces
    (162 points | Comments)

44. VS Code deactivates IntelliCode in favor of the paid Copilot
    (227 points | Comments)

45. Japan to revise romanization rules for first time in 70 years
    (273 points | Comments)

46. The biggest heat pumps
    (130 points | Comments)

47. A linear-time alternative for Dimensionality Reduction and fast visualisation
    (118 points | Comments)

48. Children with cancer scammed out of millions fundraised for their treatment
    (533 points | Comments)

49. Bonsai: A Voxel Engine, from scratch
    (259 points | Comments)

50. Erdős Problem #1026
    (161 points | Comments)

51. SHARP, an approach to photorealistic view synthesis from a single image
    (510 points | Comments)

52. New Quantum Antenna Reveals a Hidden Terahertz World
    (155 points | Comments)

53. 8M users' AI conversations sold for profit by "privacy" extensions
    (831 points | Comments)

54. Thin desires are eating life
    (852 points | Comments)

55. Ideas aren't getting harder to find
    (127 points | Comments)

56. Quill OS: An open-source OS for Kobo's eReaders
    (467 points | Comments)

57. The World Happiness Report is beset with methodological problems
    (167 points | Comments)