back
user profile

nill0

1,344karma·297submissions·February 13, 2025
about
Curiosity is all we need!
recent activity (297 total)
4 pts
x86-64 Playground An online assembly editor and GDB-like debugger(x64.halb.it)
1y ago·discuss
4 pts
Making my static blog generator 11 times faster(gaultier.github.io)
1y ago·discuss
1 pts
A Dive into the Rockchip Bootloader(pentestpartners.com)
1y ago·discuss
2 pts
CMU: Optimal Control and Reinforcement Learning(optimalcontrol.ri.cmu.edu)
1y ago·discuss
1 pts
MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin(dspace.mit.edu)
1y ago·discuss
4 pts
Intel, Synopsys, TSMC All Unveil Record Memory Densities(spectrum.ieee.org)
1y ago·2 comments
1 pts
Red Bull Racing: The Life of a Bolt(redbull.com)
1y ago·discuss
1 pts
Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf](hjemmesider.diku.dk)
1y ago·discuss
2 pts
History of interactive theorem proving [pdf](cl.cam.ac.uk)
1y ago·1 comments
2 pts
Designing a Theorem Prover – Lawrence C Paulson(arxiv.org)
1y ago·1 comments
1 pts
Do theorem provers demonstrate their own correctness?(cs.stackexchange.com)
1y ago·discuss
3 pts
Handbook of Discrete and Computational Geometry(csun.edu)
1y ago·discuss
4 pts
Logic and Mechanized Reasoning(avigad.github.io)
1y ago·discuss
comment
example: https://b14643.eu/Spacerockets_2/United_States_1/Saturn-5/De... https://github.com/fjmoeller/b14643 …
1y ago·view thread
1 pts
Space Launch Vehicles – Norbert Brugge(b14643.eu)
1y ago·1 comments
3 pts
Robust Ladder Climbing with a Quadrupedal Robot(arxiv.org)
1y ago·1 comments
comment
https://en.wikipedia.org/wiki/Geometric_modeling_kernel "Kernel developers section"…
1y ago·view thread
4 pts
Computational Design and Fabrication of Portable MRI Systems(dspace.mit.edu)
1y ago·discuss
47 pts
Failure Theory for Materials Science and Engineering(failurecriteria.com)
1y ago·12 comments
2 pts
Manifold – Geometric Library for topological robustness(github.com)
1y ago·discuss
160 pts
History of CAD(shapr3d.com)
1y ago·65 comments
165 pts
Student refines 100-year-old math problem, expanding wind energy possibilities(psu.edu)
1y ago·20 comments
5 pts
Core Algorithms Deployed(cstheory.stackexchange.com)
1y ago·discuss
1 pts
PtrHash: Minimal Perfect Hashing at RAM Throughput(curiouscoding.nl)
1y ago·discuss
2 pts
Lecture Notes on the Geometrical Anatomy of Theoretical Physics(mathswithphysics.blogspot.com)
1y ago·discuss
1 pts
Mathematics, Form and Function(en.wikipedia.org)
1y ago·discuss
1 pts
Reinventing the Processor [video](youtube.com)
1y ago·1 comments