nill0

12 ms·

1. 91.▲
   How to Reproduce This Book with LaTeX(github.com)

   103 points by nill0 10mo ago|11 comments
2. 92.▲
   The Joy of Hex and Brouwer's Fixed Point Theorem (2013)(vigoroushandwaving.wordpress.com)

   2 points by nill0 10mo ago|0 comments
3. 93.▲
   Foundations of Metrology (1981) [pdf](nvlpubs.nist.gov)

   3 points by nill0 10mo ago|0 comments
4. 94.▲
   When does a physical system compute? (2013)(arxiv.org)

   3 points by nill0 10mo ago|0 comments
5. 95.▲
   Nanopositioning Metrology, Gödel, and Bootstraps(pi-usa.us)

   3 points by nill0 10mo ago|0 comments
6. 96.▲
   Every mathematician has only a few tricks (2020)(mathoverflow.net)

   250 points by nill0 11mo ago|82 comments
7. 97.▲
   ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems [pdf](people.csail.mit.edu)

   1 points by nill0 11mo ago|0 comments
8. 98.▲
   Mathematics and Computation (2019) [pdf](math.ias.edu)

   90 points by nill0 11mo ago|14 comments
9. 99.▲
   Avi Wigderson – P vs. NP [video](youtube.com)

   1 points by nill0 11mo ago|0 comments
10. 100.▲
    The nature of the Theory of Computation (2018) [pdf](math.ias.edu)

    2 points by nill0 11mo ago|0 comments
11. 101.▲
    Syntax and Semantics of Programming Languages (1995)(homepage.cs.uiowa.edu)

    50 points by nill0 11mo ago|27 comments
12. 102.▲
    Syntax and Semantics of Programming Languages(homepage.cs.uiowa.edu)

    67 points by nill0 11mo ago|1 comments
13. 103.▲
    Useless Information about Materials(dierk-raabe.com)

    3 points by nill0 1y ago|0 comments
14. 104.▲
    High Modulus Metal Matrix Composite Steels(dierk-raabe.com)

    2 points by nill0 1y ago|0 comments
15. 105.▲
    Street-Fighting Mathematics (2010) [pdf](ocw.mit.edu)

    2 points by nill0 1y ago|0 comments
16. 106.▲
    The Mini Cheetah Robot (2019)(build-its.blogspot.com)

    1 points by nill0 1y ago|0 comments
17. 107.▲
    by nill0 1y ago

    Here part 2: https://build-its-inprogress.blogspot.com/2016/08/desktop-in...
18. 108.▲
    Desktop Inverted Pendulum (part 1)(build-its-inprogress.blogspot.com)

    2 points by nill0 1y ago|1 comments
19. 109.▲
    Grand Challenges of the CFD Vision 2030(cfd2030.com)

    3 points by nill0 1y ago|0 comments
20. 110.▲
    Transverse Mercator with an accuracy of a few nanometers (2010)(arxiv.org)

    7 points by nill0 1y ago|2 comments
21. 111.▲
    A low cost modular actuator for dynamic robots (2018)(dspace.mit.edu)

    3 points by nill0 1y ago|0 comments
22. 112.▲
    Derivation of Hamiltonians for Accelerators (1998) [pdf](aps.anl.gov)

    2 points by nill0 1y ago|0 comments
23. 113.▲
    Three Perspectives on Equivalence Relations(pseudonium.github.io)

    2 points by nill0 1y ago|0 comments
24. 114.▲
    Harvey Mudd Miniature Machine(cs.hmc.edu)

    76 points by nill0 1y ago|24 comments
25. 115.▲
    The Limits of Logic [pdf](jefelino.github.io)

    4 points by nill0 1y ago|0 comments
26. 116.▲
    Variational Elastodynamic Simulation Siggraph 2025(lmattos.com)

    2 points by nill0 1y ago|0 comments
27. 117.▲
    Wafer Stage Motion Control from Experiment Design to Robust Performance 2023 [pdf](pure.tue.nl)

    2 points by nill0 1y ago|0 comments
28. 118.▲
    The Extraordinary Technologies of GP-B(einstein.stanford.edu)

    2 points by nill0 1y ago|0 comments
29. 119.▲
    Multiple Concepts of Equality in the New Foundations of Mathematics [pdf] 2016(math.ias.edu)

    1 points by nill0 1y ago|0 comments
30. 120.▲
    Basic equations of semiconductor device physics [pdf](web.stanford.edu)

    1 points by nill0 1y ago|1 comments