Hackernews posts about WordPress.com

1. 01
   

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

   ▲ 274amosbatto19d💬 358savesaved
2. 02
   

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

   ▲ 210matt_d21d💬 58savesaved
3. 03
   

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

   ▲ 206smilelamp15d💬 164savesaved
4. 04
   

   newTo grieve, or not to grieve?xenaproject.wordpress.com

   ▲ 186stabbles29d💬 157savesaved
5. 05
   

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

   ▲ 162sajid22d💬 252savesaved
6. 06
   

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

   ▲ 150smilelamp12d💬 171savesaved
7. 07
   

   newThe Future of Mathematicsterrytao.wordpress.com

   ▲ 125smilelamp25d💬 91savesaved
8. 08
   

   newIllustration Beyond Proofterrytao.wordpress.com

   ▲ 108smilelamp19d💬 19savesaved
9. 09
   

   newHow to Formalize All of Mathematicsxenaproject.wordpress.com

   ▲ 98practal14d💬 87savesaved
10. 10
    

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

    ▲ 53tokepi6d💬 43savesaved
11. 11
    

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

    ▲ 19smilelamp23d💬 17savesaved
12. 12
    

    newLighthouses, War and a Pufflingadcochrane.wordpress.com

    ▲ 12aways33hdiscusssavesaved
13. 13
    

    newMathematics Is a Subject for the Youngterrytao.wordpress.com

    ▲ 8smilelamp9ddiscusssavesaved
14. 14
    

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

    ▲ 7ColinWright14d💬 1savesaved
15. 15
    

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

    ▲ 7blisscast28ddiscusssavesaved
16. 16
    

    newSAIR Open Math OS Releasedterrytao.wordpress.com

    ▲ 5smilelamp14d💬 2savesaved
17. 17
    

    newStarting a New Journalterrytao.wordpress.com

    ▲ 5smilelamp13d💬 1savesaved
18. 18
    

    newNormal Bad Workterrytao.wordpress.com

    ▲ 5smilelamp18d💬 1savesaved
19. 19
    

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

    ▲ 5epaga22d💬 1savesaved
20. 20
    

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

    ▲ 5omegote2ddiscusssavesaved
21. 21
    

    newMath 2.0terrytao.wordpress.com

    ▲ 5smilelamp20ddiscusssavesaved
22. 22
    

    newThe Barriers of Perceptionterrytao.wordpress.com

    ▲ 5smilelamp23ddiscusssavesaved
23. 23
    

    newHexagonterrytao.wordpress.com

    ▲ 5smilelamp24ddiscusssavesaved
24. 24
    

    newWhat do we do now?masteranza.wordpress.com

    ▲ 5masteranza28ddiscusssavesaved
25. 25
    

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

    ▲ 4amosbatto3d💬 16savesaved
26. 26
    

    newThe Quasi-Riemann Hypothesisterrytao.wordpress.com

    ▲ 4smilelamp3ddiscusssavesaved
27. 27
    

    newI Believe P=NPemanueleviola.wordpress.com

    ▲ 4paulpauper3ddiscusssavesaved
28. 28
    

    newWhat even is mathematical output?thehighergeometer.wordpress.com

    ▲ 4mathgenius18ddiscusssavesaved
29. 29
    

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

    ▲ 4doppp22ddiscusssavesaved
30. 30
    

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

    ▲ 4smilelamp24ddiscusssavesaved

· edit