| 31. | | Mathematicians discover new way for spheres to 'kiss' (quantamagazine.org) |
| 161 points by isaacfrond on Jan 16, 2025 | 71 comments |
|
| 32. | | Ropey – A UTF8 text rope for manipulating and editing large text (github.com/cessen) |
| 249 points by keepamovin on Jan 15, 2025 | 109 comments |
|
| 33. | | An Unreasonable Amount of Time (allenpike.com) |
| 545 points by memalign on Dec 31, 2024 | 89 comments |
|
| 34. | | Machine-Assisted Proof [pdf] (ams.org) |
| 199 points by jalcazar on Dec 28, 2024 | 96 comments |
|
| 35. | | Genesis – a generative physics engine for general-purpose robotics (genesis-world.readthedocs.io) |
| 233 points by tomp on Dec 19, 2024 | 52 comments |
|
| 36. | | Fermat's Last Theorem – how it’s going (xenaproject.wordpress.com) |
| 443 points by verbify on Dec 12, 2024 | 210 comments |
|
| 37. | | Geometric line-art of Wacław Szpakowski (2017) (theparisreview.org) |
| 486 points by bookofjoe on Nov 29, 2024 | 53 comments |
|
| 38. | | Show HN: Indentation-based syntax for Clojure (github.com/ilevd) |
| 75 points by ilevd on Nov 25, 2024 | 50 comments |
|
| 39. | | Send someone you appreciate an official 'Continue and Persist' Letter (continueandpersist.org) |
| 1414 points by adnanaga on Nov 28, 2024 | 224 comments |
|
| 40. | | Better Auth – Authentication library for TypeScript (better-auth.com) |
| 73 points by namuorg on Nov 29, 2024 | 32 comments |
|
| 41. | | You Exist in the Long Context (thelongcontext.com) |
| 136 points by plurby on Nov 21, 2024 | 91 comments |
|
| 42. | | Thomas E. Kurtz has died (computerhistory.org) |
| 618 points by 1986 on Nov 14, 2024 | 149 comments |
|
| 43. | | FrontierMath: A benchmark for evaluating advanced mathematical reasoning in AI (epochai.org) |
| 185 points by sshroot on Nov 9, 2024 | 105 comments |
|
| 44. | | Pushing the frontiers of audio generation (deepmind.google) |
| 237 points by meetpateltech on Oct 30, 2024 | 107 comments |
|
| 45. | | A pilot project in universal algebra to explore new ways to collaborate (terrytao.wordpress.com) |
| 182 points by anothermathbozo on Sept 26, 2024 | 22 comments |
|
| 46. | | MicroMac, a Macintosh for under £5 (axio.ms) |
| 844 points by als0 on June 16, 2024 | 177 comments |
|
| 47. | | Dressmaking CAD (xn--6xw240d.net) |
| 180 points by 0x00000000 on May 3, 2024 | 40 comments |
|
| 48. | | Cognition: A new antisyntax language redefining metaprogramming (nullring.xyz) |
| 300 points by GalaxyNova on May 2, 2024 | 135 comments |
|
| 49. | | The Fermat's Last Theorem Project (leanprover-community.github.io) |
| 75 points by happa on April 30, 2024 | 41 comments |
|
| 50. | | BeeBase, a programmable relational database with graphical user interface (beebase.sourceforge.io) |
| 237 points by LkpPo on April 24, 2024 | 102 comments |
|
| 51. | | Simulating Jupiter (emildziewanowski.com) |
| 362 points by imadr on April 24, 2024 | 36 comments |
|
| 52. | | Causal Trees (farley.ai) |
| 235 points by sno6 on Dec 16, 2023 | 29 comments |
|
| 53. | | Figgie: Simulate stock trading with a deck of cards (figgie.com) |
| 122 points by Kortaggio on Dec 18, 2023 | 24 comments |
|
| 54. | | Horrible edge cases to consider when dealing with music (2022) (dustri.org) |
| 302 points by pabs3 on Nov 11, 2023 | 111 comments |
|
| 55. | | The business of extracting knowledge from academic publications (theseedsofscience.pub) |
| 204 points by efface on Nov 1, 2023 | 81 comments |
|
| 56. | | What do we mean by "the foundations of mathematics"? (lawrencecpaulson.github.io) |
| 139 points by JoelMcCracken on Nov 1, 2023 | 139 comments |
|
| 57. | | The Economics of Programming Languages [video] (youtube.com) |
| 283 points by satvikpendem on Oct 6, 2023 | 127 comments |
|
| 58. | | JAX – NumPy on the CPU, GPU, and TPU (jax.readthedocs.io) |
| 276 points by peter_d_sherman on Sept 29, 2023 | 143 comments |
|
| 59. | | Open source AI will win (varunshenoy.substack.com) |
| 196 points by nocturnalowl on Sept 21, 2023 | 174 comments |
|
| 60. | | I'm betting on HTML (catskull.net) |
| 968 points by catskull on Aug 2, 2023 | 446 comments |
|
|
| More |
