Hackernews posts about Stein

1. Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
   106 points by mfornet 19 days ago | 28 comments
2. Show HN: I made an app for initiating social activity (apps.apple.com)
   2 points by steinvakt2 25 days ago | discuss
3. Type-checked non-empty strings (exploring-better-ways.bellroy.com)
   56 points by surprisetalk 11 days ago | 49 comments
4. Seeing the world in radio waves with the QuadRF (hackaday.com)
   56 points by ikbdsk 17 days ago | 6 comments
5. Downed US pilot reported seeing Iranian drones swarm in 'jellyfish' formation (www.cnn.com)
   21 points by wslh 13 days ago | 7 comments
6. Ask HN: Are other people seeing a spike in IT problems with businesses?
   15 points by PaulHoule 20 days ago | 11 comments
7. New Claude app strings, Fable 5 coming back only with verification (twitter.com)
   14 points by garo-pro 7 days ago | 6 comments
8. The Seinfeld Chronicles (seinfeld.visualisingdata.com)
   5 points by akashwadhwani35 3 days ago | 2 comments
9. Seeing and Being Seen (www.sambish.com)
   5 points by sambishop 4 days ago | discuss
10. Art Is for Seeing Evil (2022) (thepointmag.com)
    5 points by jger15 10 days ago | discuss
11. After empty promises, string theory finds new uses (www.science.org)
    5 points by tcp_handshaker 30 days ago | discuss
12. If You're Searching for a New Skillet, Consider Stainless Steel (www.wired.com)
    4 points by joozio 15 days ago | 4 comments
13. 'Kind of miracle solution': How Paris is harnessing the Seine to replace air-con (www.theguardian.com)
    4 points by montalbano 8 days ago | 1 comments
14. Hush, let an AI agent use your secrets without ever seeing them (github.com)
    4 points by royashbrook 11 days ago | 1 comments
15. How Paris is harnessing the Seine to replace air-con (www.theguardian.com)
    4 points by rocketbop 11 days ago | 1 comments
16. Climate Change Stings Beekeepers (www.thestar.com.my)
    4 points by hasudon7171 15 days ago | 1 comments
17. Show HN: Cloak – let AI agents use your API keys without ever seeing them (github.com)
    4 points by VarunMenon 16 days ago | discuss
18. FSST: Fast Random Access String Compression [pdf] (www.vldb.org)
    4 points by tosh 17 days ago | discuss
19. String theory may be inevitable from basic assumptions about the universe (www.science.org)
    4 points by isaacfrond 29 days ago | discuss
20. Ask HN: Will we start seeing tools for LLM use?
    3 points by bonigv 17 days ago | 1 comments
21. Seeing Radio Waves at 30fps (www.crowdsupply.com)
    3 points by mrtnmcc 11 days ago | discuss
22. Daily AI briefing narrated by Seinfeld (nanloss.com)
    3 points by rajap 18 days ago | discuss
23. Show HN: Unique Gemstones for Your Strings (seedstone.xyz)
    3 points by mdrfi 22 days ago | discuss
24. Verifying a solution to Kryptos K4 without ever seeing the answer (www.paradigm.xyz)
    3 points by ckraeuter 25 days ago | discuss
25. C++26: Cleaning up string literals (www.sandordargo.com)
    3 points by ibobev 27 days ago | discuss
26. A World Without Strings Is Chaos (beyondloom.com)
    3 points by tosh 28 days ago | discuss
27. AI Seinfeld is taking over Twitch (2023) (www.polygon.com)
    2 points by gregsadetsky 6 days ago | 2 comments
28. Russian politician says GTA 6 carries 'the stench of Americanism' (www.pcgamer.com)
    2 points by HelloUsername 7 days ago | 2 comments
29. Stern: Multi pod and container log tailing for Kubernetes (github.com)
    2 points by theanonymousone 4 days ago | discuss
30. Linux MD RAID5 Seeing Scalability Improvements Up to 17% (www.phoronix.com)
    2 points by Bender 10 days ago | discuss