Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by nill0
Foundations of Metrology (1981) [pdf]
3 points
nill0
2025-12-09T02:19:38Z
nvlpubs.nist.gov
When does a physical system compute? (2013)
3 points
nill0
2025-12-06T04:58:54Z
arxiv.org
Nanopositioning Metrology, Gödel, and Bootstraps
3 points
nill0
2025-12-05T03:50:36Z
www.pi-usa.us
Every mathematician has only a few tricks (2020)
250 points
nill0
2025-11-29T01:37:42Z
mathoverflow.net
ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems [pdf]
1 points
nill0
2025-11-25T13:53:11Z
people.csail.mit.edu
Mathematics and Computation (2019) [pdf]
89 points
nill0
2025-11-18T12:35:13Z
www.math.ias.edu
Avi Wigderson – P vs. NP [video]
1 points
nill0
2025-11-18T12:33:21Z
www.youtube.com
The nature of the Theory of Computation (2018) [pdf]
2 points
nill0
2025-11-18T12:32:30Z
www.math.ias.edu
Syntax and Semantics of Programming Languages (1995)
50 points
nill0
2025-11-09T03:15:33Z
homepage.cs.uiowa.edu
Syntax and Semantics of Programming Languages
67 points
nill0
2025-11-01T16:02:11Z
homepage.cs.uiowa.edu
Useless Information about Materials
3 points
nill0
2025-10-29T16:05:14Z
www.dierk-raabe.com
High Modulus Metal Matrix Composite Steels
2 points
nill0
2025-10-29T15:55:11Z
www.dierk-raabe.com
Street-Fighting Mathematics (2010) [pdf]
2 points
nill0
2025-10-29T10:12:37Z
ocw.mit.edu
The Mini Cheetah Robot (2019)
1 points
nill0
2025-10-28T14:01:01Z
build-its.blogspot.com
Desktop Inverted Pendulum (part 1)
2 points
nill0
2025-10-28T13:55:54Z
build-its-inprogress.blogspot.com
Grand Challenges of the CFD Vision 2030
3 points
nill0
2025-10-16T17:47:29Z
www.cfd2030.com
Transverse Mercator with an accuracy of a few nanometers (2010)
7 points
nill0
2025-10-13T05:31:04Z
arxiv.org
A low cost modular actuator for dynamic robots (2018)
3 points
nill0
2025-10-10T02:26:55Z
dspace.mit.edu
Derivation of Hamiltonians for Accelerators (1998) [pdf]
2 points
nill0
2025-10-08T15:57:24Z
www.aps.anl.gov
Three Perspectives on Equivalence Relations
2 points
nill0
2025-09-18T04:40:15Z
pseudonium.github.io
1
2
3
4
5
6
7
8