Hackernews posts about Inform

1. From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
   145 points by rwosync 19 days ago | 21 comments
2. AI Withholds Life-or-Death Information Unless You Know the Magic Words (substack.com)
   44 points by llamataboot 7 days ago | 24 comments
3. Germany's far-right AfD accused of gathering information for the Kremlin (www.politico.eu)
   14 points by robtherobber 9 days ago | 8 comments
4. Show HN: Does Information Density Cause Time Dilation?
   10 points by Jonghwa_Lee 8 days ago | 16 comments
5. AI chatbots used inaccurate information to change people's political opinions (www.nbcnews.com)
   8 points by ceejayoz 28 days ago | discuss
6. Johny Srouji informed CEO Tim Cook he is seriously considering leaving (twitter.com)
   6 points by erex78 25 days ago | 3 comments
7. Dark Energy is the thermodynamic cost of encoding information on the horizon
   5 points by EvertonB 28 days ago | 3 comments
8. Show HN: Mycodosing.wtf – Research‑Informed Psychedelic Dosage Calculator (mycodosing.wtf)
   5 points by ing-norante 21 days ago | 2 comments
9. Obfuscated information verification protocol sketch (github.com)
   5 points by boredthoughts 16 days ago | discuss
10. Introduction to Quantum Information Science (qubit.guide)
    4 points by mathgenius 15 days ago | discuss
11. California DROP: Delete the information data brokers have about you coming 2026 (consumer.drop.privacy.ca.gov)
    3 points by irsagent 1 day ago | 2 comments
12. Neil Postman, Informing Ourselves to Death (web.archive.org)
    3 points by cal_dent 16 days ago | 1 comments
13. Remember When the Information Superhighway Was a Metaphor? (www.wsj.com)
    3 points by Bostonian 29 days ago | 1 comments
14. Informing Ourselves to Death (1990) (web.archive.org)
    3 points by vismit2000 13 days ago | discuss
15. Chatbots inform young voters but don't change their vote choices (www.pnas.org)
    3 points by zerolatitude 14 days ago | discuss
16. XSysInfo is a comprehensive system information utility designed for AmigaOS (github.com)
    3 points by doener 16 days ago | discuss
17. Vital Cat Update (or how Google AI Overview makes up false information) (terribleminds.com)
    3 points by GeneralMaximus 26 days ago | discuss
18. Ask HN: Decentralized Auth for Information Exchange?
    2 points by vxsz 14 days ago | 3 comments
19. U.S. Customs and Border Protection Agency Information Collection Activities [pdf] (public-inspection.federalregister.gov)
    2 points by raattgift 21 days ago | 1 comments
20. Deriving the Schwarzschild Metric from Informational Resolution Principles v2 (zenodo.org)
    2 points by Jascon71 26 days ago | 1 comments
21. Show HN: Eimi – Turn any information into daily cards (eimi.tech)
    2 points by xjconlyme 1 day ago | discuss
22. Information, complexity, brains and reality (Kolmogorov Manifesto) (2007) (arxiv.org)
    2 points by jxmorris12 3 days ago | discuss
23. Wombats make square poop to communicate and deliver information (news.uga.edu)
    2 points by giuliomagnifico 3 days ago | discuss
24. German Federal Office for Information Security (BSI) examines 12 email clients [pdf] (www.bsi.bund.de)
    2 points by XzetaU8 10 days ago | discuss
25. When Information Accelerates Faster Than Human Compression Capacity (www.slideshare.net)
    2 points by realitydrift 17 days ago | discuss
26. We now have information rug pulls (twitter.com)
    2 points by zachperkel 23 days ago | discuss
27. Fourier transform of a constant function informal and rigorous (www.johndcook.com)
    2 points by ibobev 23 days ago | discuss
28. Google Cloud: Disclosure of Information to the European Commission
    2 points by scblzn 28 days ago | discuss
29. Using .gov Email Addresses for Age and Information Verification (blog.certisfy.com)
    1 points by Edmond 7 days ago | 1 comments
30. Transforming Traumatizing into Trauma-Informed and Trauma-Integrating Cultures (pocketproject.org)
    1 points by rendx 1 day ago | discuss