Hackernews posts about WordPress.com

1. 61
   

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

   ▲ 274amosbatto19d💬 358savesaved
2. 62
   

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

   ▲ 210matt_d21d💬 58savesaved
3. 63
   

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

   ▲ 206smilelamp15d💬 164savesaved
4. 64
   

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

   ▲ 186stabbles29d💬 157savesaved
5. 65
   

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

   ▲ 162sajid22d💬 252savesaved
6. 66
   

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

   ▲ 150smilelamp12d💬 171savesaved
7. 67
   

   newThe Future of Mathematicsterrytao.wordpress.com

   ▲ 125smilelamp25d💬 91savesaved
8. 68
   

   newIllustration Beyond Proofterrytao.wordpress.com

   ▲ 108smilelamp19d💬 19savesaved
9. 69
   

   newHow to Formalize All of Mathematicsxenaproject.wordpress.com

   ▲ 98practal14d💬 87savesaved
10. 70
    

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

    ▲ 53tokepi6d💬 43savesaved
11. 71
    

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

    ▲ 19smilelamp23d💬 17savesaved
12. 72
    

    newLighthouses, War and a Pufflingadcochrane.wordpress.com

    ▲ 12aways34hdiscusssavesaved
13. 73
    

    newMathematics Is a Subject for the Youngterrytao.wordpress.com

    ▲ 8smilelamp9ddiscusssavesaved
14. 74
    

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

    ▲ 7ColinWright14d💬 1savesaved
15. 75
    

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

    ▲ 7blisscast28ddiscusssavesaved
16. 76
    

    newSAIR Open Math OS Releasedterrytao.wordpress.com

    ▲ 5smilelamp14d💬 2savesaved
17. 77
    

    newStarting a New Journalterrytao.wordpress.com

    ▲ 5smilelamp13d💬 1savesaved
18. 78
    

    newNormal Bad Workterrytao.wordpress.com

    ▲ 5smilelamp18d💬 1savesaved
19. 79
    

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

    ▲ 5epaga22d💬 1savesaved
20. 80
    

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

    ▲ 5omegote2ddiscusssavesaved
21. 81
    

    newMath 2.0terrytao.wordpress.com

    ▲ 5smilelamp20ddiscusssavesaved
22. 82
    

    newThe Barriers of Perceptionterrytao.wordpress.com

    ▲ 5smilelamp23ddiscusssavesaved
23. 83
    

    newHexagonterrytao.wordpress.com

    ▲ 5smilelamp24ddiscusssavesaved
24. 84
    

    newWhat do we do now?masteranza.wordpress.com

    ▲ 5masteranza28ddiscusssavesaved
25. 85
    

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

    ▲ 4amosbatto3d💬 16savesaved
26. 86
    

    newThe Quasi-Riemann Hypothesisterrytao.wordpress.com

    ▲ 4smilelamp3ddiscusssavesaved
27. 87
    

    newI Believe P=NPemanueleviola.wordpress.com

    ▲ 4paulpauper3ddiscusssavesaved
28. 88
    

    newWhat even is mathematical output?thehighergeometer.wordpress.com

    ▲ 4mathgenius18ddiscusssavesaved
29. 89
    

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

    ▲ 4doppp22ddiscusssavesaved
30. 90
    

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

    ▲ 4smilelamp24ddiscusssavesaved

· edit