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 13 Dec 2025

1. From Zero to QED: An informal introduction to formality with Lean 4
   (142 points | Comments)

2. Kids Rarely Read Whole Books Anymore. Even in English Class
   (103 points | Comments)

3. Linux Sandboxes and Fil-C
   (343 points | Comments)

4. An off-grid, flat-packable washing machine
   (245 points | Comments)

5. Some surprising things about DuckDuckGo
   (162 points | Comments)

6. Recovering Anthony Bourdain's Li.st's
   (301 points | Comments)

7. Want to sway an election? Here’s how much fake online accounts cost
   (188 points | Comments)

8. Why Twilio Segment moved from microservices back to a monolith
   (279 points | Comments)

9. I fed 24 years of my blog posts to a Markov model
   (303 points | Comments)

10. The Rise of Computer Games, Part I: Adventure
    (136 points | Comments)

11. VPN location claims don't match real traffic exits
    (489 points | Comments)

12. Dick Van Dyke turns 100
    (119 points | Comments)

13. Are we stuck with the same Desktop UX forever? [video]
    (184 points | Comments)

14. Essential Semiconductor Physics [pdf]
    (224 points | Comments)

15. Purrtran – ᓚᘏᗢ – A Programming Language for Cat People
    (271 points | Comments)

16. Analysis finds anytime electricity from solar available as battery costs plummet
    (138 points | Comments)

17. I tried Gleam for Advent of Code
    (350 points | Comments)

18. LG TV's new software update installed MS Copilot, which cannot be deleted
    (202 points | Comments)

19. Ask HN: How can I get better at using AI for programming?
    (470 points | Comments)

20. 30 years of <br> tags
    (223 points | Comments)

21. We built another object storage
    (133 points | Comments)

22. YouTube's CEO limits his kids' social media use – other tech bosses do the same
    (210 points | Comments)

23. Computer animator and Amiga fanatic Dick van Dyke turns 100
    (281 points | Comments)

24. The state of the kernel Rust experiment
    (118 points | Comments)

25. Doxers posing as cops are tricking big tech firms into sharing people's data
    (143 points | Comments)

26. Apple has locked my Apple ID, and I have no recourse. A plea for help
    (1746 points | Comments)

27. Google removes Sci-Hub domains from U.S. search results due to dated court order
    (290 points | Comments)

28. A Lisp Interpreter Implemented in Conway's Game of Life (2021)
    (104 points | Comments)

29. 1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli (2023)
    (224 points | Comments)

30. Lite^3, a JSON-compatible zero-copy serialization format
    (148 points | Comments)