nill0

12 ms·

241.
CMU: Optimal Control and Reinforcement Learning(optimalcontrol.ri.cmu.edu)
2 points by nill0 2y ago|0 comments
242.
MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin(dspace.mit.edu)
1 points by nill0 2y ago|0 comments
243.
Intel, Synopsys, TSMC All Unveil Record Memory Densities(spectrum.ieee.org)
4 points by nill0 2y ago|2 comments
244.
Red Bull Racing: The Life of a Bolt(redbull.com)
1 points by nill0 2y ago|0 comments
245.
Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf](hjemmesider.diku.dk)
1 points by nill0 2y ago|0 comments
246.
History of interactive theorem proving [pdf](cl.cam.ac.uk)
2 points by nill0 2y ago|1 comments
247.
Designing a Theorem Prover – Lawrence C Paulson(arxiv.org)
2 points by nill0 2y ago|1 comments
248.
Do theorem provers demonstrate their own correctness?(cs.stackexchange.com)
1 points by nill0 2y ago|0 comments
249.
Handbook of Discrete and Computational Geometry(csun.edu)
3 points by nill0 2y ago|0 comments
250.
Logic and Mechanized Reasoning(avigad.github.io)
4 points by nill0 2y ago|0 comments
251.
by nill0 2y ago
example: https://b14643.eu/Spacerockets_2/United_States_1/Saturn-5/De... https://github.com/fjmoeller/b14643
252.
Space Launch Vehicles – Norbert Brugge(b14643.eu)
1 points by nill0 2y ago|1 comments
253.
Robust Ladder Climbing with a Quadrupedal Robot(arxiv.org)
3 points by nill0 2y ago|1 comments
254.
by nill0 2y ago
https://en.wikipedia.org/wiki/Geometric_modeling_kernel "Kernel developers section"
255.
Computational Design and Fabrication of Portable MRI Systems(dspace.mit.edu)
4 points by nill0 2y ago|0 comments
256.
Failure Theory for Materials Science and Engineering(failurecriteria.com)
47 points by nill0 2y ago|12 comments
257.
Manifold – Geometric Library for topological robustness(github.com)
2 points by nill0 2y ago|0 comments
258.
History of CAD(shapr3d.com)
160 points by nill0 2y ago|65 comments
259.
Student refines 100-year-old math problem, expanding wind energy possibilities(psu.edu)
165 points by nill0 2y ago|20 comments
260.
Core Algorithms Deployed(cstheory.stackexchange.com)
5 points by nill0 2y ago|0 comments
261.
PtrHash: Minimal Perfect Hashing at RAM Throughput(curiouscoding.nl)
1 points by nill0 2y ago|0 comments
262.
Lecture Notes on the Geometrical Anatomy of Theoretical Physics(mathswithphysics.blogspot.com)
2 points by nill0 2y ago|0 comments
263.
Mathematics, Form and Function(en.wikipedia.org)
1 points by nill0 2y ago|0 comments
264.
Reinventing the Processor [video](youtube.com)
1 points by nill0 2y ago|1 comments
265.
Practical Foundations of Mathematics(paultaylor.eu)
145 points by nill0 2y ago|23 comments
266.
When are two proofs of the same theorem different proofs(mathoverflow.net)
1 points by nill0 2y ago|0 comments
267.
Generative AI tool marks a milestone in biology(news.stanford.edu)
1 points by nill0 2y ago|0 comments
268.
Model Engines Build Plans.(outerzone.co.uk)
2 points by nill0 2y ago|0 comments
269.
Legolas – An Open Source Bipedal Robot(github.com)
5 points by nill0 2y ago|0 comments
270.
Tinker – Flexible, and Ready to Move: Your Cartoon-Style Bipedal Robot(github.com)
5 points by nill0 2y ago|0 comments

More ›