Hackernews posts about KLEE

1. Kleene's Recursion Theorem (en.wikipedia.org)
   4 points by lawrenceyan 9 days ago | discuss
2. Google can keep its Chrome browser but will be barred from exclusive contracts (www.cnbc.com)
   864 points by colesantiago 13 days ago | 632 comments
3. Sig Sauer citing national security to keep documents from public (practicalshootinginsights.com)
   291 points by eoskx 17 days ago | 259 comments
4. Keeping secrets out of logs (2024) (allan.reyes.sh)
   251 points by xk3 8 days ago | 54 comments
5. Is it possible to allow sideloading and keep users safe? (shkspr.mobi)
   205 points by ColinWright 16 days ago | 499 comments
6. Bookmarks.txt is a concept of keeping URLs in plain text files (github.com)
   195 points by secwang 19 days ago | 158 comments
7. Why do people keep writing about the imaginary compound Cr2Gr2Te6? (www.righto.com)
   188 points by freediver 20 days ago | 111 comments
8. The share of Americans having regular sex keeps dropping (ifstudies.org)
   132 points by impish9208 16 days ago | 269 comments
9. iNaturalist keeps full species classification models private (github.com)
   71 points by contingencies 13 days ago | 25 comments
10. Desktop Linux Keeps Winning the Wrong Battles (www.howtogeek.com)
    47 points by the-mitr 19 days ago | 93 comments
11. The school shooting industry is worth billions – and it keeps growing (www.npr.org)
    18 points by speckx 6 days ago | 23 comments
12. Body clock keeps 24-hour rhythm by distorting gene activity in the heat (medicalxpress.com)
    13 points by PaulHoule 25 days ago | discuss
13. Show HN: MCP Secrets Vault – Local MCP proxy to keep API keys out of LLM context (github.com)
    11 points by Rachid-Chabane 13 days ago | 1 comments
14. Vivaldi takes a stand: keep browsing human (vivaldi.com)
    9 points by thunderbong 18 days ago | discuss
15. Why do people keep writing about the imaginary compound Cr2Gr2Te6? (www.righto.com)
    8 points by rbanffy 27 days ago | 4 comments
16. Desktop Linux keeps winning the wrong battles (www.howtogeek.com)
    7 points by russfink 23 days ago | 6 comments
17. Psychological Flaws That Keep the Gifted from Living Up to Their Gift (www.themarginalian.org)
    7 points by wtbdbrrr 18 days ago | 1 comments
18. How Sleep Cleans the Brain and Keeps You Healthy (www.scientificamerican.com)
    6 points by beardyw 27 days ago | 4 comments
19. Vivaldi takes a stand: keep browsing human (vivaldi.com)
    6 points by rpgbr 17 days ago | discuss
20. 'Work-Life Balance' Will Keep You Mediocre (www.wsj.com)
    5 points by impish9208 28 days ago | 29 comments
21. 'Work-Life Balance' Will Keep You Mediocre (www.wsj.com)
    5 points by ed1024 21 days ago | 9 comments
22. If America is in trouble, why do foreigners keep buying US assets? (www.reuters.com)
    5 points by alephnerd 25 days ago | 2 comments
23. KeepassDX has landed passkeys support (beta) (github.com)
    5 points by gbil 2 days ago | 1 comments
24. Robotic space rovers keep getting stuck. UW engineers have figured out why (news.wisc.edu)
    5 points by vinnyglennon 5 days ago | 1 comments
25. Keeping Things Expressive When DataFrames Are Involved (www.simplethread.com)
    5 points by curiousgal 2 days ago | discuss
26. Does Weed Make You Sleepy or Keep You Awake? The Truth About Cannabis and Sleep (lightcapai.medium.com)
    4 points by WASDAai 27 days ago | 4 comments
27. In Boston, Trucks Keep Crashing into Low Bridges (www.wsj.com)
    4 points by bookofjoe 18 days ago | 2 comments
28. The school shooting industry is worth billions – and it keeps growing (www.npr.org)
    4 points by decimalenough 5 days ago | 1 comments
29. How the Democrats keep copying the MAGA influencer playbook (and failing) (www.theverge.com)
    4 points by lyu07282 12 days ago | 1 comments
30. 'One and done' dose of LSD keeps anxiety at bay (www.npr.org)
    4 points by CharlesW 10 days ago | discuss