For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | nill0's submissionsregister
181.
x86-64 Playground An online assembly editor and GDB-like debugger (halb.it)
4 points by nill0 on Feb 27, 2025 | past
182.
Making my static blog generator 11 times faster (gaultier.github.io)
4 points by nill0 on Feb 27, 2025 | past
183.
A Dive into the Rockchip Bootloader (pentestpartners.com)
1 point by nill0 on Feb 27, 2025 | past
184.
CMU: Optimal Control and Reinforcement Learning (cmu.edu)
2 points by nill0 on Feb 27, 2025 | past
185.
MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin (dspace.mit.edu)
1 point by nill0 on Feb 27, 2025 | past
186.
Intel, Synopsys, TSMC All Unveil Record Memory Densities (ieee.org)
4 points by nill0 on Feb 27, 2025 | past | 2 comments
187.
Red Bull Racing: The Life of a Bolt (redbull.com)
1 point by nill0 on Feb 26, 2025 | past
188.
Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf] (diku.dk)
1 point by nill0 on Feb 26, 2025 | past
189.
History of interactive theorem proving [pdf] (cam.ac.uk)
2 points by nill0 on Feb 26, 2025 | past | 1 comment
190.
Designing a Theorem Prover – Lawrence C Paulson (arxiv.org)
2 points by nill0 on Feb 26, 2025 | past | 1 comment
191.
Do theorem provers demonstrate their own correctness? (cs.stackexchange.com)
1 point by nill0 on Feb 26, 2025 | past
192.
Handbook of Discrete and Computational Geometry (csun.edu)
3 points by nill0 on Feb 26, 2025 | past
193.
Logic and Mechanized Reasoning (avigad.github.io)
4 points by nill0 on Feb 26, 2025 | past
194.
Space Launch Vehicles – Norbert Brugge (b14643.eu)
1 point by nill0 on Feb 26, 2025 | past | 1 comment
195.
Robust Ladder Climbing with a Quadrupedal Robot (arxiv.org)
3 points by nill0 on Feb 25, 2025 | past | 1 comment
196.
Computational Design and Fabrication of Portable MRI Systems (dspace.mit.edu)
4 points by nill0 on Feb 25, 2025 | past
197.
Failure Theory for Materials Science and Engineering (failurecriteria.com)
47 points by nill0 on Feb 25, 2025 | past | 12 comments
198.
Manifold – Geometric Library for topological robustness (github.com/elalish)
2 points by nill0 on Feb 25, 2025 | past
199.
History of CAD (shapr3d.com)
160 points by nill0 on Feb 25, 2025 | past | 65 comments
200.
Student refines 100-year-old math problem, expanding wind energy possibilities (psu.edu)
165 points by nill0 on Feb 24, 2025 | past | 20 comments
201.
Core Algorithms Deployed (cstheory.stackexchange.com)
5 points by nill0 on Feb 24, 2025 | past
202.
PtrHash: Minimal Perfect Hashing at RAM Throughput (curiouscoding.nl)
1 point by nill0 on Feb 24, 2025 | past
203.
Lecture Notes on the Geometrical Anatomy of Theoretical Physics (mathswithphysics.blogspot.com)
2 points by nill0 on Feb 24, 2025 | past
204.
Mathematics, Form and Function (wikipedia.org)
1 point by nill0 on Feb 24, 2025 | past
205.
Reinventing the Processor [video] (youtube.com)
1 point by nill0 on Feb 24, 2025 | past | 1 comment
206.
Practical Foundations of Mathematics (paultaylor.eu)
145 points by nill0 on Feb 24, 2025 | past | 23 comments
207.
When are two proofs of the same theorem different proofs (mathoverflow.net)
1 point by nill0 on Feb 24, 2025 | past
208.
Generative AI tool marks a milestone in biology (stanford.edu)
1 point by nill0 on Feb 23, 2025 | past
209.
Model Engines Build Plans. (outerzone.co.uk)
2 points by nill0 on Feb 23, 2025 | past
210.
Legolas – An Open Source Bipedal Robot (github.com/daviddoo02)
5 points by nill0 on Feb 22, 2025 | past

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You