Appears on
Articles11
H
ENIAC: The First General-Purpose Electronic Computer Turns 80
News
0
spectrum.ieee.org3mo agoReflections on 50 Years of Proof Assistants in Computer Science
05 Dec 2025
Insight
0
lawrencecpaulson.github.io7mo agoComparing Set Theory and Type Theory: Mathematical Foundations and Their Evolution
21 Nov 2025
Insight
0
lawrencecpaulson.github.io7mo agoH
Steven Heller Reviews Archive Matrix: A Futuristic Typeface by Pieter van Rosmalen
Review
0
ilovetypography.com8mo agoIsabelle's Design Philosophy: Why It Avoids Dependent Types and Proof Objects
02 Nov 2025
Insight
0
lawrencecpaulson.github.io8mo ago
Mathematical Breakthrough Reveals Complexity in Measuring Knot Untangling
News
0
quantamagazine.org9mo ago
Mathematicians Make Breakthrough Discovery in Knot Theory Challenging Longstanding Assumptions
News
0
scientificamerican.com10mo ago
New Algorithm Outperforms Classic Method for Finding Shortest Paths in Networks
News
0
quantamagazine.org11mo ago
Teen Prodigy Hannah Cairo Solves 40-Year-Old Math Mystery
News
0
quantamagazine.org11mo agoIBM to build first large-scale, error-corrected quantum computer by 2028
Article URL: Comments URL: Points: 5 # Comments: 0
0
technologyreview.com1y agoThe New Godel Prize Winner Tastes Great and Is Less Filling
Article URL: Comments URL: Points: 12 # Comments: 0
0
blog.computationalcomplexity.org1y ago