Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Laya the open source version of Jev(convaiinnovations.com ↗)
    570 pointsby 6 hours ago
    142comments
  2. A graphical desktop for the ZX Spectrum(github.com/mindbox77 ↗)
    71 pointsby 3 hours ago
    53comments
  3. AI-generated posters don’t have to be horrible(john.hartnup.uk ↗)
    771 pointsby 7 hours ago
    464comments
  4. Human brain is two separate organs, Stanford Medicine-led research finds(stanford.edu ↗)
    497 pointsby 11 hours ago
    183comments
  5. Tin: full-text search for Postgres(planetscale.com ↗)
    90 pointsby 3 hours ago
    43comments
  6. Supabase (YC S20) Is Hiring for OrioleDB(supabase.link ↗)
    6 minutes ago
    —discuss
  7. Asking Authors About Their Own Papers(medium.com/tmlrorg ↗)
    71 pointsby 4 hours ago
    38comments
  8. “The Secret Life of Circuits” is here(coredump.cx ↗)
    196 pointsby 8 hours ago
    52comments
  9. I built the fastest PHP webserver in the world(qbixserver.com ↗)
    34 pointsby 3 hours ago
    32comments
  10. Black Holes or Black Hole Stars? Astronomers Spar over 'Little Red Dots'(quantamagazine.org ↗)
    50 pointsby 4 hours ago
    14comments
  11. Android 17 is the first since 3.x to add new APIs without releasing to the AOSP(grapheneos.social ↗)
    990 pointsby 22 hours ago
    553comments
  12. San Francisco Onion Futures Company(onionfutures.com ↗)
    308 pointsby 12 hours ago
    117comments
  13. New evidence for hidden chambers beyond Tutankhamun's tomb(nature.com ↗)
    28 pointsby 4 hours ago
    6comments
  14. GPT-6 Astra Solves a WWI German Radio Cipher(prinzai.com ↗)
    257 pointsby 10 hours ago
    133comments
  15. If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com ↗)
    235 pointsby 10 hours ago
    193comments
  16. What Zig felt like, coming from Rust(besok.github.io ↗)
    102 pointsby 3 hours ago
    110comments
  17. Agreement between the USA and Denmark (1951,2004) [pdf](state.gov ↗)
    19 pointsby 2 hours ago
    17comments
  18. Cloudflare Quick Tunnels(cloudflare.com ↗)
    775 pointsby 1 day ago
    301comments
  19. How to Write with an LLM(sockpuppet.org ↗)
    562 pointsby 1 day ago
    360comments
  20. You can run Git on object storage if you re-make packfiles(tigrisdata.com ↗)
    103 pointsby 12 hours ago
    24comments
  21. Saving another 100TB of RAM(cloudflare.com ↗)
    421 pointsby 22 hours ago
    90comments
  22. Communication by means of modulated Johnson noise(pnas.org ↗)
    39 pointsby 7 hours ago
    19comments
  23. SDCC – Small Device C Compiler(sourceforge.net ↗)
    113 pointsby 14 hours ago
    23comments
  24. Ray Ozzie and the Optimism of Being Early(reproof.app ↗)
    17 pointsby 5 hours ago
    11comments
  25. Science Is Open Software(jepedersen.dk ↗)
    137 pointsby 14 hours ago
    51comments
  26. Why building a Rust LSP is hard(rust-glancer.github.io ↗)
    118 pointsby 15 hours ago
    45comments
  27. The first new cat species discovered in 100 years(nationalgeographic.com ↗)
    319 pointsby 1 day ago
    124comments
  28. OpenJev(openjev.com ↗)
    670 pointsby 1 day ago
    280comments
  29. Ctenophores: Wonders of Biology(quantamagazine.org ↗)
    57 pointsby 12 hours ago
    8comments
  30. From Stonemasons to Carpenters(thelastsoftwareengineer.substack.com ↗)
    36 pointsby 7 hours ago
    4comments

Why AM and Eurisko Appear to Work (1984) [pdf]

7 pointsby 12y agoeksl.isi.edu
Open original View on HN
2 comments
12y agoHN ↗

AM was short for Automated Mathematician.

Open thread on HN ↗