Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Laya the open source version of Jev(convaiinnovations.com ↗)
    389 pointsby 4 hours ago
    89comments
  2. A graphical desktop for the ZX Spectrum(github.com/mindbox77 ↗)
    36 pointsby 1 hour ago
    14comments
  3. AI-generated posters don’t have to be horrible(john.hartnup.uk ↗)
    638 pointsby 6 hours ago
    381comments
  4. What Zig felt like, coming from Rust(besok.github.io ↗)
    66 pointsby 1 hour ago
    58comments
  5. Tin: full-text search for Postgres(planetscale.com ↗)
    44 pointsby 1 hour ago
    7comments
  6. Human brain is two separate organs, Stanford Medicine-led research finds(stanford.edu ↗)
    447 pointsby 9 hours ago
    169comments
  7. “The Secret Life of Circuits” is here(coredump.cx ↗)
    164 pointsby 7 hours ago
    37comments
  8. Asking Authors About Their Own Papers(medium.com/tmlrorg ↗)
    33 pointsby 2 hours ago
    10comments
  9. Android 17 is the first since 3.x to add new APIs without releasing to the AOSP(grapheneos.social ↗)
    958 pointsby 20 hours ago
    523comments
  10. Black Holes or Black Hole Stars? Astronomers Spar over 'Little Red Dots'(quantamagazine.org ↗)
    30 pointsby 2 hours ago
    7comments
  11. GPT-6 Astra Solves a WWI German Radio Cipher(prinzai.com ↗)
    231 pointsby 8 hours ago
    121comments
  12. San Francisco Onion Futures Company(onionfutures.com ↗)
    280 pointsby 11 hours ago
    98comments
  13. If math is more than proof, we need to better celebrate the rest of it(terrytao.wordpress.com ↗)
    214 pointsby 9 hours ago
    175comments
  14. Learning Another Language May Be One of the Best Ways to Keep Your Brain Healthy(theconversation.com ↗)
    29 pointsby 1 hour ago
    15comments
  15. I built the fastest PHP webserver in the world(qbixserver.com ↗)
    5 pointsby 2 hours ago
    —discuss
  16. Cloudflare Quick Tunnels(cloudflare.com ↗)
    766 pointsby 1 day ago
    299comments
  17. How to Write with an LLM(sockpuppet.org ↗)
    547 pointsby 1 day ago
    360comments
  18. Communication by means of modulated Johnson noise(pnas.org ↗)
    36 pointsby 6 hours ago
    16comments
  19. You can run Git on object storage if you re-make packfiles(tigrisdata.com ↗)
    92 pointsby 11 hours ago
    23comments
  20. SDCC – Small Device C Compiler(sourceforge.net ↗)
    109 pointsby 13 hours ago
    22comments
  21. Saving another 100TB of RAM(cloudflare.com ↗)
    409 pointsby 20 hours ago
    87comments
  22. Science Is Open Software(jepedersen.dk ↗)
    127 pointsby 13 hours ago
    47comments
  23. From Stonemasons to Carpenters(thelastsoftwareengineer.substack.com ↗)
    32 pointsby 6 hours ago
    4comments
  24. Why building a Rust LSP is hard(rust-glancer.github.io ↗)
    113 pointsby 14 hours ago
    44comments
  25. The first new cat species discovered in 100 years(nationalgeographic.com ↗)
    313 pointsby 1 day ago
    120comments
  26. How OpenAI Used Its Own LLMs to Design Its Jalapeño Chip(ieee.org ↗)
    168 pointsby 16 hours ago
    115comments
  27. Ctenophores: Wonders of Biology(quantamagazine.org ↗)
    49 pointsby 10 hours ago
    6comments
  28. OpenJev(openjev.com ↗)
    660 pointsby 1 day ago
    276comments
  29. Ray Ozzie and the Optimism of Being Early(reproof.app ↗)
    10 pointsby 3 hours ago
    7comments
  30. Goroutine Leak Profiles(go.dev ↗)
    55 pointsby 13 hours ago
    6comments

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 ↗