nill0

8 ms·

1. 121.▲
   Shadows of the Truth: Metamathematics of Elementary Mathematics [pdf](borovik.net)

   3 points by nill0 1y ago|0 comments
2. 122.▲
   Mixture-of-Recursions: Learning Dynamic Recursive Depths(arxiv.org)

   1 points by nill0 1y ago|0 comments
3. 123.▲
   The (Unfinished) PDE Coffee Table Book(people.maths.ox.ac.uk)

   25 points by nill0 1y ago|6 comments
4. 124.▲
   Finding a New Life in Math, research paper written by inmate(prisonjournalismproject.org)

   2 points by nill0 1y ago|1 comments
5. 125.▲
   by nill0 1y ago

   Paper at: https://arxiv.org/pdf/2002.12644
6. 126.▲
   Flute acoustics: an introduction to how a flute works(newt.phys.unsw.edu.au)

   16 points by nill0 1y ago|1 comments
7. 127.▲
   3D-Printed Flexure Micro-Manipulator(github.com)

   2 points by nill0 1y ago|0 comments
8. 128.▲
   Elliptic Curves as Art(elliptic-curves.art)

   228 points by nill0 1y ago|28 comments
9. 129.▲
   Adaptive Control and the NASA X–15 Program: A Concise History [pdf](skoge.folk.ntnu.no)

   4 points by nill0 1y ago|0 comments
10. 130.▲
    On the methods of Theoretical Physics – Albert Einstein 1933 [pdf](informationphilosopher.com)

    3 points by nill0 1y ago|0 comments
11. 131.▲
    Picking the Perfect Pet – Mathematical modelling [pdf](immchallenge.org)

    3 points by nill0 1y ago|0 comments
12. 132.▲
    Design Principles for Precision Mechatronics(dspe.nl)

    2 points by nill0 1y ago|0 comments
13. 133.▲
    New generation of thulium fiber lasers achieves world record performance(iof.fraunhofer.de)

    9 points by nill0 1y ago|0 comments
14. 134.▲
    Ceramic optical diamond turning machine: design and development 1999 [pdf](pure.tue.nl)

    2 points by nill0 1y ago|0 comments
15. 135.▲
    Geometry and the Imagination [pdf](math.dartmouth.edu)

    5 points by nill0 1y ago|0 comments
16. 136.▲
    Terence Tao Lex Fridman Podcast [video](youtube.com)

    6 points by nill0 1y ago|1 comments
17. 137.▲
    How multiplication is defined in Peano arithmetic(devlinsangle.blogspot.com)

    32 points by nill0 1y ago|10 comments
18. 138.▲
    Computable Structure Theory: Beyond the arithmetic [pdf](math.berkeley.edu)

    3 points by nill0 1y ago|0 comments
19. 139.▲
    Fluid Mechanics Films(web.mit.edu)

    2 points by nill0 1y ago|0 comments
20. 140.▲
    Teardown and tests of a Vertical Reference Gyro Collins 332D-11F [video](youtube.com)

    1 points by nill0 1y ago|0 comments
21. 141.▲
    Memories of Kurt Gödel(rudyrucker.com)

    1 points by nill0 1y ago|1 comments
22. 142.▲
    Mechanical Systems Design(biomechatronics.stanford.edu)

    3 points by nill0 1y ago|0 comments
23. 143.▲
    Mathematics and Music [pdf](math.wustl.edu)

    1 points by nill0 1y ago|0 comments
24. 144.▲
    Vintage Machinery(wiki.vintagemachinery.org)

    19 points by nill0 1y ago|1 comments
25. 145.▲
    Effects of Propellant Slosh on Touchdown Stability for Landing Vehicles(arc.aiaa.org)

    2 points by nill0 1y ago|0 comments
26. 146.▲
    ECE 5760 Advanced Microcontroller Design and system-on-chip(people.ece.cornell.edu)

    1 points by nill0 1y ago|0 comments
27. 147.▲
    Formalizing a proof in Lean using Claude and o4 - Terence Tao [video](youtube.com)

    5 points by nill0 1y ago|0 comments
28. 148.▲
    Open Problems in Computational geometry(topp.openproblem.net)

    92 points by nill0 1y ago|12 comments
29. 149.▲
    Open Problems in Mechanistic Interpretability(arxiv.org)

    1 points by nill0 1y ago|0 comments
30. 150.▲
    Open Problem Garden-a collection of unsolved problems in mathematics(garden.irmacs.sfu.ca)

    3 points by nill0 1y ago|0 comments