Hackernews posts about WordPress.com

1. 31
   

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

   ▲ 274amosbatto19d💬 358savesaved
2. 32
   

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

   ▲ 210matt_d21d💬 58savesaved
3. 33
   

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

   ▲ 206smilelamp15d💬 164savesaved
4. 34
   

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

   ▲ 186stabbles29d💬 157savesaved
5. 35
   

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

   ▲ 162sajid22d💬 252savesaved
6. 36
   

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

   ▲ 150smilelamp12d💬 171savesaved
7. 37
   

   newThe Future of Mathematicsterrytao.wordpress.com

   ▲ 125smilelamp25d💬 91savesaved
8. 38
   

   newIllustration Beyond Proofterrytao.wordpress.com

   ▲ 108smilelamp19d💬 19savesaved
9. 39
   

   newHow to Formalize All of Mathematicsxenaproject.wordpress.com

   ▲ 98practal14d💬 87savesaved
10. 40
    

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

    ▲ 53tokepi6d💬 43savesaved
11. 41
    

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

    ▲ 19smilelamp23d💬 17savesaved
12. 42
    

    newLighthouses, War and a Pufflingadcochrane.wordpress.com

    ▲ 12aways34hdiscusssavesaved
13. 43
    

    newMathematics Is a Subject for the Youngterrytao.wordpress.com

    ▲ 8smilelamp9ddiscusssavesaved
14. 44
    

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

    ▲ 7ColinWright14d💬 1savesaved
15. 45
    

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

    ▲ 7blisscast28ddiscusssavesaved
16. 46
    

    newSAIR Open Math OS Releasedterrytao.wordpress.com

    ▲ 5smilelamp14d💬 2savesaved
17. 47
    

    newStarting a New Journalterrytao.wordpress.com

    ▲ 5smilelamp13d💬 1savesaved
18. 48
    

    newNormal Bad Workterrytao.wordpress.com

    ▲ 5smilelamp18d💬 1savesaved
19. 49
    

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

    ▲ 5epaga22d💬 1savesaved
20. 50
    

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

    ▲ 5omegote2ddiscusssavesaved
21. 51
    

    newMath 2.0terrytao.wordpress.com

    ▲ 5smilelamp20ddiscusssavesaved
22. 52
    

    newThe Barriers of Perceptionterrytao.wordpress.com

    ▲ 5smilelamp23ddiscusssavesaved
23. 53
    

    newHexagonterrytao.wordpress.com

    ▲ 5smilelamp24ddiscusssavesaved
24. 54
    

    newWhat do we do now?masteranza.wordpress.com

    ▲ 5masteranza28ddiscusssavesaved
25. 55
    

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

    ▲ 4amosbatto3d💬 16savesaved
26. 56
    

    newThe Quasi-Riemann Hypothesisterrytao.wordpress.com

    ▲ 4smilelamp3ddiscusssavesaved
27. 57
    

    newI Believe P=NPemanueleviola.wordpress.com

    ▲ 4paulpauper3ddiscusssavesaved
28. 58
    

    newWhat even is mathematical output?thehighergeometer.wordpress.com

    ▲ 4mathgenius18ddiscusssavesaved
29. 59
    

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

    ▲ 4doppp22ddiscusssavesaved
30. 60
    

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

    ▲ 4smilelamp24ddiscusssavesaved

· edit