nill0 | Dark Hacker News

user:	nill0
created:	February 13, 2025
karma:	916
about:	Curiosity is all we need!

1.	Every mathematician has only a few tricks (2020)(mathoverflow.net) 248 points by nill0 1 day ago \| 75 comments
2.	ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems [pdf](people.csail.mit.edu) 1 points by nill0 5 days ago \| 0 comments
3.	Mathematics and Computation (2019) [pdf](math.ias.edu) 90 points by nill0 12 days ago \| 14 comments
4.	Avi Wigderson – P vs. NP [video](youtube.com) 1 points by nill0 12 days ago \| 0 comments
5.	The nature of the Theory of Computation (2018) [pdf](math.ias.edu) 2 points by nill0 12 days ago \| 0 comments
6.	Syntax and Semantics of Programming Languages (1995)(homepage.cs.uiowa.edu) 50 points by nill0 21 days ago \| 27 comments
7.	Syntax and Semantics of Programming Languages(homepage.cs.uiowa.edu) 67 points by nill0 29 days ago \| 1 comment
8.	Useless Information about Materials(dierk-raabe.com) 3 points by nill0 32 days ago \| 0 comments
9.	High Modulus Metal Matrix Composite Steels(dierk-raabe.com) 2 points by nill0 32 days ago \| 0 comments
10.	Street-Fighting Mathematics (2010) [pdf](ocw.mit.edu) 2 points by nill0 32 days ago \| 0 comments
11.	The Mini Cheetah Robot (2019)(build-its.blogspot.com) 1 points by nill0 33 days ago \| 0 comments
12.	Desktop Inverted Pendulum (part 1)(build-its-inprogress.blogspot.com) 2 points by nill0 33 days ago \| 1 comment
13.	Grand Challenges of the CFD Vision 2030(cfd2030.com) 3 points by nill0 45 days ago \| 0 comments
14.	Transverse Mercator with an accuracy of a few nanometers (2010)(arxiv.org) 7 points by nill0 48 days ago \| 2 comments
15.	A low cost modular actuator for dynamic robots (2018)(dspace.mit.edu) 3 points by nill0 51 days ago \| 0 comments
16.	Derivation of Hamiltonians for Accelerators (1998) [pdf](aps.anl.gov) 2 points by nill0 53 days ago \| 0 comments
17.	Three Perspectives on Equivalence Relations(pseudonium.github.io) 2 points by nill0 73 days ago \| 0 comments
18.	Harvey Mudd Miniature Machine(cs.hmc.edu) 76 points by nill0 83 days ago \| 24 comments
19.	The Limits of Logic [pdf](jefelino.github.io) 4 points by nill0 83 days ago \| 0 comments
20.	Variational Elastodynamic Simulation Siggraph 2025(lmattos.com) 2 points by nill0 85 days ago \| 0 comments
21.	Wafer Stage Motion Control from Experiment Design to Robust Performance 2023 [pdf](pure.tue.nl) 2 points by nill0 89 days ago \| 0 comments
22.	The Extraordinary Technologies of GP-B(einstein.stanford.edu) 2 points by nill0 101 days ago \| 0 comments
23.	102 days ago \| discuss
24.	Multiple Concepts of Equality in the New Foundations of Mathematics [pdf] 2016(math.ias.edu) 1 points by nill0 105 days ago \| 0 comments
25.	Basic equations of semiconductor device physics [pdf](web.stanford.edu) 1 points by nill0 124 days ago \| 1 comment
26.	Shadows of the Truth: Metamathematics of Elementary Mathematics [pdf](borovik.net) 3 points by nill0 132 days ago \| 0 comments
27.	Mixture-of-Recursions: Learning Dynamic Recursive Depths(arxiv.org) 1 points by nill0 132 days ago \| 0 comments
28.	The (Unfinished) PDE Coffee Table Book(people.maths.ox.ac.uk) 25 points by nill0 136 days ago \| 6 comments