back
user profile

nill0

1,344karma·297submissions·February 13, 2025
about
Curiosity is all we need!
recent activity (297 total)
5 pts
CFD in Python(drzgan.github.io)
1y ago·discuss
3 pts
Quick Proofs of Hard Theorems(mathoverflow.net)
1y ago·discuss
3 pts
Insanely Long Proofs (2012)(johncarlosbaez.wordpress.com)
1y ago·discuss
3 pts
The Simplest Walking Model: Stability, Complexity, and Scaling [pdf] 1998(ruina.tam.cornell.edu)
1y ago·discuss
3 pts
How Circuits Become Equations(spinningnumbers.org)
1y ago·discuss
1 pts
Physical Computing: A Category Theoretic Perspective on Physical Computation(arxiv.org)
1y ago·discuss
24 pts
Building Gearbox Dynamometer(thriftybuilder.dev)
1y ago·3 comments
2 pts
The roles of impact and inertia in the failure of a shoelace knot(royalsocietypublishing.org)
1y ago·discuss
1 pts
Projectchrono - an Open Source Multi-Physics Simulation Engine(projectchrono.org)
1y ago·discuss
2 pts
Nonlinear Dynamics and Modeling of Various Wooden Toys with Impact and Friction [pdf](inm.uni-stuttgart.de)
1y ago·discuss
86 pts
Mathematical Compact Models of Advanced Transistors [pdf](www2.eecs.berkeley.edu)
1y ago·31 comments
2 pts
SPHinXsys – Open-source Multiphysics library(sphinxsys.org)
1y ago·discuss
15 pts
Opentorque actuator – A powerful, compliant actuator for legged robotics(gabrael.io)
1y ago·1 comments
3 pts
Mathematical Logic Through Python(logicthrupython.org)
1y ago·1 comments
1 pts
Computation in Physical Systems(plato.stanford.edu)
1y ago·discuss
139 pts
Image Processing in C (2000) [pdf](homepages.inf.ed.ac.uk)
1y ago·26 comments
1 pts
Making a small Liquid rocket engine [video](youtube.com)
1y ago·discuss
1 pts
DIY Reusable Liquid Rocket – VTOL Test Platform [video](youtube.com)
1y ago·discuss
3 pts
Foundations of Computer Science in C Language – Alfred Aho and Jeffrey Ullman [pdf](blough.ece.gatech.edu)
1y ago·discuss
comment
1. https://www.youtube.com/watch?app=desktop&v=kLJjyr8uiFg&t=17... 2. https://ukmars.org/ …
1y ago·view thread
1 pts
Ukmarsbot – A simple beginner's multi purpose robot platform(github.com)
1y ago·1 comments
87 pts
Open source software for modeling soft materials(now.tufts.edu)
1y ago·15 comments
2 pts
A programmable environment for shape optimization and shapeshifting problems(arxiv.org)
1y ago·discuss
2 pts
Links: A dataset of a hundred million planar linkage mechanisms(github.com)
1y ago·discuss
1 pts
The Ligra Graph Processing Framework(jshun.github.io)
1y ago·discuss
3 pts
How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf](lamport.azurewebsites.net)
1y ago·discuss
176 pts
Matters Computational (2010) [pdf](jjj.de)
1y ago·23 comments
4 pts
Physical Computation - a Mechanistic Account by Gualtiero Piccinini [pdf](library.agnescameron.info)
1y ago·discuss
2 pts
Function Extraction: Automated Behavior Computation for Aerospace Software(insights.sei.cmu.edu)
1y ago·discuss