| 31. | | New proof dramatically compresses space needed for computation (scientificamerican.com) |
| 190 points by baruchel 4 months ago | past | 96 comments |
|
| 32. | | How Does Graph Theory Shape Our World? (quantamagazine.org) |
| 6 points by baruchel 4 months ago | past |
|
| 33. | | The Distribution of Prime Numbers: A Geometrical Perspective (computationalcomplexity.org) |
| 3 points by baruchel 4 months ago | past |
|
| 34. | | Quantum dice: Scientists harness true randomness from entangled photons (sciencedaily.com) |
| 1 point by baruchel 4 months ago | past |
|
| 35. | | Is mathematics mostly chaos or mostly order? (quantamagazine.org) |
| 117 points by baruchel 4 months ago | past | 88 comments |
|
| 36. | | André Seznec Receives the 2025 ACM-IEEE CS Eckert-Mauchly Award (acm.org) |
| 1 point by baruchel 4 months ago | past |
|
| 37. | | There's no cheating this random number generator (sciencenews.org) |
| 4 points by baruchel 4 months ago | past |
|
| 38. | | IBM to build first large-scale, error-corrected quantum computer by 2028 (technologyreview.com) |
| 13 points by baruchel 4 months ago | past | 3 comments |
|
| 39. | | New Quantum Algorithm Factors Numbers with One Qubit (quantamagazine.org) |
| 3 points by baruchel 4 months ago | past |
|
| 40. | | The new Gödel Prize winner tastes great and is less filling (computationalcomplexity.org) |
| 110 points by baruchel 4 months ago | past | 47 comments |
|
| 41. | | Platform for Formalizing Sequences from Online Encyclopedia of Integer Sequences (provables.github.io) |
| 1 point by baruchel 4 months ago | past |
|
| 42. | | Quantum Universe (scientificamerican.com) |
| 2 points by baruchel 4 months ago | past |
|
| 43. | | The Core of Fermat's Last Theorem Just Got Superpowered (quantamagazine.org) |
| 2 points by baruchel 4 months ago | past |
|
| 44. | | Why You Should Care About Functional Programming (borkar.substack.com) |
| 3 points by baruchel 4 months ago | past |
|
| 45. | | Dimension 126 Contains Twisted Shapes, Mathematicians Prove (quantamagazine.org) |
| 143 points by baruchel 5 months ago | past | 84 comments |
|
| 46. | | Rocq 9.0.0 (rocq-prover.org) |
| 4 points by baruchel 7 months ago | past |
|
| 47. | | Boris Spassky (1937-2025) Chess World Champion and Legendary Grandmaster (europechess.org) |
| 6 points by baruchel 8 months ago | past |
|
| 48. | | Lambda Calculus and Lisp, part 2 (recursion excursion) (babbagefiles.xyz) |
| 5 points by baruchel 8 months ago | past |
|
| 49. | | Lambda Calculus and Lisp, part 1 (babbagefiles.xyz) |
| 107 points by baruchel 8 months ago | past | 17 comments |
|
| 50. | | When is it worth the time and effort to verify a proof FORMALLY? (computationalcomplexity.org) |
| 2 points by baruchel on Feb 25, 2024 | past |
|
| 51. | | Thinking Big (futilitycloset.com) |
| 1 point by baruchel on Jan 23, 2024 | past |
|
| 52. | | Code41 Watches (code41watches.com) |
| 1 point by baruchel on April 24, 2022 | past |
|
| 53. | | MD Nichrome: On Spacing and Sci-Fi (mass-driver.com) |
| 1 point by baruchel on April 3, 2022 | past |
|
| 54. | | Multizork (icculus.org) |
| 3 points by baruchel on Aug 23, 2021 | past |
|
| 55. | | Esoprogramming and Computational Idealism (esoteric.codes) |
| 1 point by baruchel on June 16, 2020 | past |
|
| 56. | | Show HN: My lockdown coding project, Legend of the Pink Dragon (IRC game) (pink-dragon.surge.sh) |
| 4 points by baruchel on April 20, 2020 | past |
|
| 57. | | A non-symmetric divide-and-conquer recursive formula for the convolution (arxiv.org) |
| 1 point by baruchel on Jan 15, 2020 | past |
|
| 58. | | Stone Story RPG is now available (twitter.com/stonestoryrpg) |
| 1 point by baruchel on Aug 8, 2019 | past |
|
| 59. | | Some new insights into Karatsuba's algorithm (arxiv.org) |
| 1 point by baruchel on Feb 26, 2019 | past |
|
| 60. | | Show HN: Playing with exceptions inside lambda expressions in Python (baruchel.github.io) |
| 2 points by baruchel on June 20, 2018 | past | 1 comment |
|
|
| More |
