Hackernews posts about Axion

1. 01
   

   newShow HN: AxiomCode Graph, Reducing coding agent rework with formal methodsgithub.com

   ▲ 10HaoleiZ19d💬 8savesaved
2. 02
   

   newShow HN: Axiom, a general-purpose model for causal discoverywww.maxpagels.com

   ▲ 2maxpagels18ddiscusssavesaved
3. 03
   

   newShow HN: Axiom: The Functional Systems Langaugeaxiomlang.software

   ▲ 2chrispaig324ddiscusssavesaved
4. 04
   

   newShow HN: Extending Axiom's PrimeGapsLib to prove parts 2 and 3 of Erdős #420erdosproblems.ai

   ▲ 1NatalieTrono6ddiscusssavesaved
5. 05
   

   newShow HN: Axon – Obsidian plugin that finds the todos buried in your notesgithub.com

   ▲ 1abdullahalharir13ddiscusssavesaved
6. 06
   

   newThe Theatre of Loneliness: An axiomatic ontology of agency and alignmenttheatreofloneliness.com

   ▲ 1aliman204814ddiscusssavesaved
7. 07
   

   newLaunch HN: Simantic (YC F26) – Firmware Simulation for AI Agents

   ▲ 79shong05044d💬 37savesaved
8. 08
   

   newThe Kessler Syndrome (where blowups multiply exponentially) applied to software

   ▲ 7spenvo12ddiscusssavesaved
9. 09
   

   newShow HN: Forwarder.cc – Static-site forms sent to your inbox, pay per messageforwarder.cc

   ▲ 2calyhre18ddiscusssavesaved
10. 10
    

    newAgainst Artifice: A Hardline Futurist Manifesto

    ▲ 1shaunxcode28ddiscusssavesaved
11. 11
    

    newClassification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai

    ▲ 243pfdietz6d💬 79savesaved
12. 12
    

    newIsraeli military conducts operation near Iran's borderwww.axios.com

    ▲ 39ciconia12d💬 6savesaved
13. 13
    

    newZelensky says Musk-owned satellite system still restricted in Ukrainewww.axios.com

    ▲ 34mdp202116d💬 8savesaved
14. 14
    

    newAnthropic's spending commitments surge to nearly $900Bwww.axios.com

    ▲ 33samizdis16h💬 2savesaved
15. 15
    

    newFormalizing the Enormous Theoremaxiommath.ai

    ▲ 12meetpateltech6d💬 1savesaved
16. 16
    

    newUS banks are blocking third-party AI agents access to customer accountswww.reuters.com

    ▲ 11champagnepapi11d💬 5savesaved
17. 17
    

    newTrump: Anyone saying "AI" is "THE ENEMY"; The White House uses itwww.axios.com

    ▲ 11apical_dendrite25d💬 5savesaved
18. 18
    

    newUnvetted AI agents are accessing U.S. bank accountswww.axios.com

    ▲ 11Vaslo11d💬 2savesaved
19. 19
    

    newReddit to Transition to Logged in Onlywww.axios.com

    ▲ 9ksajadi4d💬 4savesaved
20. 20
    

    newAI companies plot "the day after"www.axios.com

    ▲ 9jna_sh24d💬 4savesaved
21. 21
    

    newFeds search Rep. Ilhan Omar's home in immigration probewww.axios.com

    ▲ 9majorchord21d💬 3savesaved
22. 22
    

    newAnthropic model accessed voter informationwww.axios.com

    ▲ 7Vaslo6ddiscusssavesaved
23. 23
    

    newWall Street prepares for AI's "day after"www.axios.com

    ▲ 7toomuchtodo10ddiscusssavesaved
24. 24
    

    newUkraine's Starlink restrictions raise suspicions of Musk, Trump retaliationwww.axios.com

    ▲ 7jazzdev18ddiscusssavesaved
25. 25
    

    newAndreessen Horowitz lays off "majority" of portfolio recruiting teamwww.axios.com

    ▲ 6ilamont19d💬 2savesaved
26. 26
    

    newUkraine hits Russian refinery as Starlink satellite services are restoredwww.axios.com

    ▲ 6MilnerRoute17ddiscusssavesaved
27. 27
    

    newSpace X and Tesla exploring merger, CEO Elon Musk sayswww.axios.com

    ▲ 5FireBeyond13d💬 4savesaved
28. 28
    

    newScoop: White House monitors suspected plague outbreak in Russiawww.axios.com

    ▲ 5colinhb29d💬 2savesaved
29. 29
    

    newAI companies plot "day after" scenarios for public revoltwww.axios.com

    ▲ 5thm24d💬 1savesaved
30. 30
    

    newWhy Anthropic can't afford to delay its IPOwww.axios.com

    ▲ 5toomuchtodo7ddiscusssavesaved

· edit