back
user profile

nill0

1,344karma·297submissions·February 13, 2025
about
Curiosity is all we need!
recent activity (297 total)
145 pts
Practical Foundations of Mathematics(paultaylor.eu)
1y ago·23 comments
1 pts
When are two proofs of the same theorem different proofs(mathoverflow.net)
1y ago·discuss
1 pts
Generative AI tool marks a milestone in biology(news.stanford.edu)
1y ago·discuss
2 pts
Model Engines Build Plans.(outerzone.co.uk)
1y ago·discuss
5 pts
Legolas – An Open Source Bipedal Robot(github.com)
1y ago·discuss
5 pts
Tinker – Flexible, and Ready to Move: Your Cartoon-Style Bipedal Robot(github.com)
1y ago·discuss
19 pts
OpenCFS (Coupled Field Simulation)(opencfs.org)
1y ago·6 comments
1 pts
Computational Capacity of the Universe(arxiv.org)
1y ago·discuss
61 pts
Nobody Profits – George Hotz(geohot.github.io)
1y ago·41 comments
1 pts
Foundations of Computer Science – Al Aho and Jeff Ullman(infolab.stanford.edu)
1y ago·discuss
comment
"All of the amazing things that modern computers do, are based on just ability to compute any computable function." - Ben Eater source: https://youtu.be/AqNDk_UJW4k?list=PLow…
1y ago·view thread
1 pts
Sound Blocks [video](youtube.com)
1y ago·discuss