Hackernews posts about WordPress.com

1. 91
   

   newWill Linux phones become a viable alternative to the Android/iOS duopoly?amosbbatto.wordpress.com

   ▲ 274amosbatto19d💬 358savesaved
2. 92
   

   newWhat mathematicians should know about the Lean Theorem Prover: reliability & AIterrytao.wordpress.com

   ▲ 210matt_d21d💬 58savesaved
3. 93
   

   newWhy are we even doing all this?terrytao.wordpress.com

   ▲ 206smilelamp15d💬 164savesaved
4. 94
   

   newWhat should we tell our students?terrytao.wordpress.com

   ▲ 162sajid22d💬 252savesaved
5. 95
   

   newWill it be a golden age or a dark age for mathematics (and science)?terrytao.wordpress.com

   ▲ 150smilelamp12d💬 171savesaved
6. 96
   

   newThe Future of Mathematicsterrytao.wordpress.com

   ▲ 125smilelamp25d💬 91savesaved
7. 97
   

   newIllustration Beyond Proofterrytao.wordpress.com

   ▲ 108smilelamp19d💬 19savesaved
8. 98
   

   newHow to Formalize All of Mathematicsxenaproject.wordpress.com

   ▲ 98practal14d💬 87savesaved
9. 99
   

   newOai-math-revised: a community hub for revising OpenAI's math write-upsterrytao.wordpress.com

   ▲ 53tokepi6d💬 43savesaved
10. 100
    

    newAHM Statement on OpenAI's October 6 Release of Mathematical Documentsterrytao.wordpress.com

    ▲ 19smilelamp23d💬 17savesaved
11. 101
    

    newLighthouses, War and a Pufflingadcochrane.wordpress.com

    ▲ 12aways35hdiscusssavesaved
12. 102
    

    newMathematics Is a Subject for the Youngterrytao.wordpress.com

    ▲ 8smilelamp9ddiscusssavesaved
13. 103
    

    newHow worried should we be about extinction risk from AI?gowers.wordpress.com

    ▲ 7ColinWright14d💬 1savesaved
14. 104
    

    newAmiga Workbench 1.x and the Multimedia Revolution – GUI Wonderlandblisscast.wordpress.com

    ▲ 7blisscast28ddiscusssavesaved
15. 105
    

    newSAIR Open Math OS Releasedterrytao.wordpress.com

    ▲ 5smilelamp14d💬 2savesaved
16. 106
    

    newStarting a New Journalterrytao.wordpress.com

    ▲ 5smilelamp13d💬 1savesaved
17. 107
    

    newNormal Bad Workterrytao.wordpress.com

    ▲ 5smilelamp18d💬 1savesaved
18. 108
    

    newAHM Statement on OpenAI's October 6 Release of Mathematical Documentsterrytao.wordpress.com

    ▲ 5epaga22d💬 1savesaved
19. 109
    

    newProgrammers are mourning, and I get itomegote.wordpress.com

    ▲ 5omegote2ddiscusssavesaved
20. 110
    

    newMath 2.0terrytao.wordpress.com

    ▲ 5smilelamp20ddiscusssavesaved
21. 111
    

    newThe Barriers of Perceptionterrytao.wordpress.com

    ▲ 5smilelamp23ddiscusssavesaved
22. 112
    

    newHexagonterrytao.wordpress.com

    ▲ 5smilelamp24ddiscusssavesaved
23. 113
    

    newWhat do we do now?masteranza.wordpress.com

    ▲ 5masteranza28ddiscusssavesaved
24. 114
    

    newThe Advantages of Mobile Linux over AOSP (LineageOS, CrDroid, GrapheneOS, etc.)amosbbatto.wordpress.com

    ▲ 4amosbatto3d💬 16savesaved
25. 115
    

    newThe Quasi-Riemann Hypothesisterrytao.wordpress.com

    ▲ 4smilelamp3ddiscusssavesaved
26. 116
    

    newI Believe P=NPemanueleviola.wordpress.com

    ▲ 4paulpauper3ddiscusssavesaved
27. 117
    

    newWhat even is mathematical output?thehighergeometer.wordpress.com

    ▲ 4mathgenius18ddiscusssavesaved
28. 118
    

    newAHM Statement on OpenAI's October 6 Release of Mathematical Documentsterrytao.wordpress.com

    ▲ 4doppp22ddiscusssavesaved
29. 119
    

    newChanges to the Erdős problems web siteterrytao.wordpress.com

    ▲ 4smilelamp24ddiscusssavesaved
30. 120
    

    newWas the HuggingFace hacking incident scheming?vkrakovna.wordpress.com

    ▲ 3tokepi12d💬 1savesaved

· edit