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 2024: Jan   Feb   Mar   Apr   May   Jun   Jul   Aug   Sep   Oct   Nov   Dec   (Top of 2024)  

Select Day for Jul, 2024: 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 Jul 2024)

Archives for 28 Jul 2024

1. Show HN: Stempad – Fast Online Scientific Writing
   (144 points | Comments)

2. LeanDojo: Theorem Proving in Lean Using LLMs
   (170 points | Comments)

3. Higher-kinded bounded polymorphism in OCaml (2021)
   (141 points | Comments)

4. Show HN: A football/soccer pass visualizer made with Three.js
   (182 points | Comments)

5. Don't blindly prefer `emplace_back` to `push_back` (2021)
   (150 points | Comments)

6. tolower() with AVX-512
   (275 points | Comments)

7. Microsoft technical breakdown of CrowdStrike incident
   (415 points | Comments)

8. Perfectionism – one of the biggest productivity killers in the eng industry
   (155 points | Comments)

9. Show HN: ThinkPost – split-panel note taking & brainstorming app for devs
   (111 points | Comments)

10. Virtual Apollo Guidance Computer
    (131 points | Comments)

11. How simultaneous multithreading works under the hood
    (334 points | Comments)

12. My mental model of setf was wrong
    (172 points | Comments)

13. A skeptic's first contact with Kubernetes
    (167 points | Comments)

14. Show HN: I made a tool to receive alerts when answers change
    (157 points | Comments)

15. My Obsidian note-taking workflow
    (101 points | Comments)

16. Show HN: CeLLama – Single cell annotation with local LLMs
    (132 points | Comments)

17. My favorite tools and techniques for procedural gamedev
    (226 points | Comments)

18. CalcGPT
    (164 points | Comments)

19. Back to our roots
    (138 points | Comments)

20. The irrational hungry judge effect revisited (2023)
    (260 points | Comments)

21. It's not just us: Other animals change their social habits in old age
    (112 points | Comments)

22. StreamPot: Run FFmpeg as an API with fluent-FFmpeg compatibility, queues and S3
    (218 points | Comments)

23. How to debug your battery design
    (352 points | Comments)

24. Fish in remote tank made into fractals with Video Feedback Device [video]
    (123 points | Comments)

25. How did Facebook intercept their competitor's encrypted mobile app traffic?
    (503 points | Comments)