logoalt Hacker News

  1. Category Theory Illustrated – Orders (abuseofnotation.github.io)
    101 points • by boris_m • today at 6:40 AM • 30 comments
  2. Michael Rabin Has Died (en.wikipedia.org)
    117 points • by tkhattra • last Wednesday at 6:07 PM • 4 comments
  3. Amiga Graphics (amiga.lychesis.net)
    109 points • by sph • today at 6:20 AM • 11 comments
  4. Claude Design (www.anthropic.com)
    1075 points • by meetpateltech • yesterday at 3:04 PM • 700 comments
  5. Show HN: I made a calculator that works over disjoint sets of intervals (victorpoughon.github.io)
    186 points • by fouronnes3 • today at 1:15 AM • 36 comments
  6. It's OK to compare floating-points for equality (lisyarus.github.io)
    17 points • by coinfused • last Tuesday at 4:00 PM • 13 comments
  7. Measuring Claude 4.7's tokenizer costs (www.claudecodecamp.com)
    623 points • by aray07 • yesterday at 3:29 PM • 439 comments
  8. Towards trust in Emacs (eshelyaron.com)
    126 points • by eshelyaron • last Wednesday at 1:49 PM • 17 comments
  9. All 12 moonwalkers had "lunar hay fever" from dust smelling like gunpowder (2018) (www.esa.int)
    349 points • by cybermango • yesterday at 6:17 PM • 201 comments
  10. Spending 3 months coding by hand (miguelconner.substack.com)
    229 points • by evakhoury • yesterday at 4:19 PM • 233 comments
  11. The simple geometry behind any road (sandboxspirit.com)
    46 points • by azhenley • last Thursday at 3:09 AM • 7 comments
  12. It is incorrect to "normalize" // in HTTP URL paths (runxiyu.org)
    42 points • by pabs3 • today at 5:47 AM • 32 comments
  13. Rewriting Every Syscall in a Linux Binary at Load Time (amitlimaye1.substack.com)
    54 points • by riteshnoronha16 • last Tuesday at 1:26 AM • 21 comments
  14. Are the costs of AI agents also rising exponentially? (2025) (www.tobyord.com)
    224 points • by louiereederson • last Wednesday at 1:47 PM • 63 comments
  15. A simplified model of Fil-C (www.corsix.org)
    179 points • by aw1621107 • yesterday at 9:38 PM • 98 comments
  16. Brunost: The Nynorsk Programming Language (lindbakk.com)
    79 points • by atomfinger • last Monday at 6:49 PM • 32 comments
  17. Show HN: Smol machines – subsecond coldstart, portable virtual machines (github.com)
    345 points • by binsquare • yesterday at 5:18 PM • 113 comments
  18. Loonies for Loongsons (www.leadedsolder.com)
    13 points • by zdw • last Tuesday at 5:14 PM • 2 comments
  19. Slop Cop (awnist.com)
    197 points • by ericHosick • yesterday at 3:15 PM • 116 comments
  20. "cat readme.txt" is not safe if you use iTerm2 (blog.calif.io)
    202 points • by arkadiyt • yesterday at 6:43 PM • 116 comments
  21. Show HN: PanicLock – Close your MacBook lid disable TouchID –> password unlock (github.com)
    206 points • by seanieb • yesterday at 4:38 PM • 92 comments
  22. Hyperscalers have already outspent most famous US megaprojects (twitter.com)
    207 points • by nowflux • yesterday at 4:23 PM • 165 comments
  23. NASA Force (nasaforce.gov)
    280 points • by LorenDB • yesterday at 3:47 PM • 272 comments
  24. Middle schooler finds coin from Troy in Berlin (www.thehistoryblog.com)
    241 points • by speckx • yesterday at 2:41 PM • 111 comments
  25. Claude Code Opus 4.7 keeps checking on malware (self)
    12 points • by decide1000 • today at 10:46 AM • 5 comments
  26. Landmark ancient-genome study shows surprise acceleration of human evolution (www.nature.com)
    84 points • by unsuspecting • yesterday at 10:30 PM • 78 comments
  27. Show HN: Sfsym – Export Apple SF Symbols as Vector SVG/PDF/PNG (github.com)
    11 points • by olliewagner • today at 3:44 AM • 1 comment
  28. NIST gives up enriching most CVEs (risky.biz)
    206 points • by mooreds • yesterday at 3:09 PM • 51 comments
  29. Introducing: ShaderPad (rileyjshaw.com)
    102 points • by evakhoury • last Wednesday at 4:59 PM • 18 comments
  30. Casus Belli Engineering (marcosmagueta.com)
    46 points • by b-man • today at 1:14 AM • 14 comments
  31. The Unix executable as a Smalltalk method (2025) [video] (www.youtube.com)
    58 points • by surprisetalk • last Thursday at 3:09 PM • 4 comments
  32. The GNU libc atanh is correctly rounded (inria.hal.science)
    103 points • by matt_d • last Wednesday at 1:47 AM • 23 comments
  33. Arc Prize Foundation (YC W26) Is Hiring a Platform Engineer for ARC-AGI-4 (www.ycombinator.com)
    1 points • by gkamradt_ • yesterday at 9:00 PM • 0 comments
  34. Ban the sale of precise geolocation (www.lawfaremedia.org)
    704 points • by hn_acker • yesterday at 2:25 PM • 178 comments
  35. I built a 3D printing business and ran it for 8 months (www.wespiser.com)
    118 points • by wespiser_2018 • last Wednesday at 1:59 PM • 99 comments
  36. Isaac Asimov: The Last Question (1956) (hex.ooo)
    720 points • by ColinWright • yesterday at 12:01 PM • 284 comments
  37. Connie Converse was a folk-music genius. Then she vanished (www.bbc.com)
    97 points • by mellosouls • last Wednesday at 9:24 AM • 21 comments
  38. Generating a color spectrum for an image (amandahinton.com)
    45 points • by evakhoury • last Wednesday at 6:20 PM • 9 comments
  39. Ada, its design, and the language that built the languages (www.iqiipi.com)
    263 points • by mpweiher • yesterday at 8:51 AM • 186 comments
  40. Healthchecks.io now uses self-hosted object storage (blog.healthchecks.io)
    172 points • by zdw • yesterday at 2:29 PM • 69 comments
  41. Experiment with ICEYE Open Data (www.iceye.com)
    111 points • by marklit • yesterday at 2:37 PM • 14 comments
  42. Detecting DOSBox from Within the Box (datagirl.xyz)
    69 points • by atan2 • yesterday at 4:13 PM • 17 comments
  43. Webloc: Analysis of Penlink's Ad-Based Geolocation Surveillance Tech (citizenlab.ca)
    65 points • by Cider9986 • last Monday at 9:51 PM • 0 comments
  44. "Liberation Day" at OpenAI as multiple senior executives announce leaving (mas.to)
    35 points • by riffraff • today at 5:41 AM • 3 comments
  45. Using a USB switch as a full KVM (luke.hsiao.dev)
    35 points • by lwhsiao • yesterday at 9:20 PM • 4 comments
  46. The Gregorio project – GPL tools for typesetting Gregorian chant (gregorio-project.github.io)
    62 points • by mcookly • yesterday at 3:20 PM • 9 comments
  47. Solitaire simulator for finding the best strategy: Current record is 8.590% (github.com)
    49 points • by PaulHoule • yesterday at 1:38 AM • 23 comments
  48. Average is all you need (rawquery.dev)
    97 points • by AlexC04 • last Monday at 4:36 PM • 96 comments
  49. Teddy Roosevelt and Abraham Lincoln in the same photo (2010) (prologue.blogs.archives.gov)
    142 points • by bryanrasmussen • yesterday at 9:18 AM • 45 comments
  50. FIM – Linux framebuffer image viewer (www.nongnu.org)
    141 points • by Mr_Minderbinder • yesterday at 7:20 AM • 78 comments