All
5+
10+
25+
50+
100+
Next >
2
Dynamic Measurements on Suspension Bridges (dewesoft.com)
12 hours ago |
nill0
| dewesoft.com
|
newest
1
How Do Mathematicians Describe Mathematical Maturity? [pdf] (maa.org)
20 hours ago |
nill0
| maa.org
|
newest
46
Propositions as Types (2014) [pdf] (ed.ac.uk)
2 days ago |
nill0
| ed.ac.uk
|
frontpage
1
Summer of Math Exposition SoME4 (summer 2025) (3b1b.co)
2 days ago |
nill0
| 3b1b.co
|
newest
2
The physics of stone skipping 2002 [pdf] (arxiv.org)
3 days ago |
nill0
| arxiv.org
|
newest
1
The Molecular Shape of You(parody) – A Capella Science [video] (youtube.com)
3 days ago |
nill0
| youtube.com
|
newest
1
When does a physical system compute? (royalsocietypublishing.org)
4 days ago |
nill0
| royalsocietypublishing.org
|
newest
1
What Every Programmer Should Know about How CPUs Work • Matt Godbolt • Goto 2024 [video] (youtube.com)
4 days ago |
nill0
| youtube.com
|
newest
1
Three Types of Mathematical Models (egtheory.wordpress.com)
a week ago |
nill0
| wordpress.com
|
newest
1
Laws of Software (laws-of-software.com)
a week ago |
nill0
| laws-of-software.com
|
newest
1
How to Make Our Ideas Clear (1878) (wikisource.org)
a week ago |
nill0
| wikisource.org
|
newest
1
Ultra-fast physics-based modeling of the elephant trunk [pdf] (biorxiv.org)
a week ago |
nill0
| biorxiv.org
|
newest
1
Fluid dynamics feels natural once you start with quantum mechanics[video] (youtube.com)
a week ago |
nill0
| youtube.com
|
newest
1
LeRobot – Lowering the entry barrier to AI for robotics[video] (youtube.com)
2 weeks ago |
nill0
| youtube.com
|
newest
1
Fuel-Optimal Spacecraft Guidance for Landing in Planetary Pits [pdf] (cmu.edu)
2 weeks ago |
nill0
| cmu.edu
|
newest
5
A Real-Time Algorithm for Non-Convex Powered Descent Guidance [pdf] (washington.edu)
2 weeks ago |
nill0
| washington.edu
|
frontpage
1
Lossless Convexification of Nonconvex Control Bound – Lars Blackmore [pdf] (larsblackmore.com)
2 weeks ago |
nill0
| larsblackmore.com
|
newest
5
How to design, build and test small liquid-fuel rocket engines-ROCKETLAB (spacha.github.io)
2 weeks ago |
nill0
| github.io
|
frontpage
9
Micro Wheeled legged Robot (github.com/mushibo)
3 weeks ago |
nill0
| github.com
|
frontpage
2
Models of Ice Skating for the Development of Robotic Ice Skating Gaits [pdf] (2020) (eecs.berkeley.edu)
3 weeks ago |
nill0
| berkeley.edu
|
frontpage
2
Modeling and Control of Two-Legged Wheeled Robot [pdf] (cvut.cz)
3 weeks ago |
nill0
| cvut.cz
|
newest
1
A Foundational Theory for Decentralized Sensory Learning (arxiv.org)
3 weeks ago |
nill0
| arxiv.org
|
newest
1
Applied Mechanics of Solids – Allan F. Bower (solidmechanics.org)
3 weeks ago |
nill0
| solidmechanics.org
|
newest
1
Neuronal Dynamics – From Single Neurons to Networks and Models of Cognition [pdf] (edx.org)
4 weeks ago |
nill0
| edx.org
|
newest
3
Everything You Always Wanted to Know About Mathematics – 2013 [pdf] (cmu.edu)
a month ago |
nill0
| cmu.edu
|
frontpage
3
CFD in Python (drzgan.github.io)
a month ago |
nill0
| github.io
|
newest
1
Quick Proofs of Hard Theorems (mathoverflow.net)
a month ago |
nill0
| mathoverflow.net
|
newest
1
Insanely Long Proofs (2012) (johncarlosbaez.wordpress.com)
a month ago |
nill0
| wordpress.com
|
newest
2
The Simplest Walking Model: Stability, Complexity, and Scaling [pdf] 1998 (cornell.edu)
a month ago |
nill0
| cornell.edu
|
newest
2
How Circuits Become Equations (spinningnumbers.org)
a month ago |
nill0
| spinningnumbers.org
|
newest
1
Circuits Become Equations (spinningnumbers.org)
a month ago |
nill0
| spinningnumbers.org
|
newest
1
Physical Computing: A Category Theoretic Perspective on Physical Computation (arxiv.org)
a month ago |
nill0
| arxiv.org
|
newest
12
Building Gearbox Dynamometer (thriftybuilder.dev)
a month ago |
nill0
| thriftybuilder.dev
|
frontpage
2
The roles of impact and inertia in the failure of a shoelace knot (royalsocietypublishing.org)
a month ago |
nill0
| royalsocietypublishing.org
|
newest
1
Projectchrono - an Open Source Multi-Physics Simulation Engine (projectchrono.org)
a month ago |
nill0
| projectchrono.org
|
newest
1
Nonlinear Dynamics and Modeling of Various Wooden Toys with Impact and Friction [pdf] (uni-stuttgart.de)
a month ago |
nill0
| uni-stuttgart.de
|
newest
25
Mathematical Compact Models of Advanced Transistors [pdf] (eecs.berkeley.edu)
a month ago |
nill0
| berkeley.edu
|
frontpage
1
SPHinXsys – Open-source Multiphysics library (sphinxsys.org)
a month ago |
nill0
| sphinxsys.org
|
newest
3
Opentorque actuator – A powerful, compliant actuator for legged robotics (gabrael.io)
a month ago |
nill0
| gabrael.io
|
frontpage
2
Mathematical Logic Through Python (logicthrupython.org)
a month ago |
nill0
| logicthrupython.org
|
newest
1
Computation in Physical Systems (stanford.edu)
a month ago |
nill0
| stanford.edu
|
newest
15
Image Processing in C (2000) [pdf] (ed.ac.uk)
a month ago |
nill0
| ed.ac.uk
|
frontpage
1
Making a small Liquid rocket engine [video] (youtube.com)
a month ago |
nill0
| youtube.com
|
newest
1
DIY Reusable Liquid Rocket – VTOL Test Platform [video] (youtube.com)
a month ago |
nill0
| youtube.com
|
newest
1
Foundations of Computer Science in C Language – Alfred Aho and Jeffrey Ullman [pdf] (gatech.edu)
a month ago |
nill0
| gatech.edu
|
newest
2
Ukmarsbot – A simple beginner's multi purpose robot platform (github.com/ukmars)
a month ago |
nill0
| github.com
|
newest
9
Open source software for modeling soft materials (tufts.edu)
a month ago |
nill0
| tufts.edu
|
frontpage
2
A programmable environment for shape optimization and shapeshifting problems (arxiv.org)
a month ago |
nill0
| arxiv.org
|
newest
1
Links: A dataset of a hundred million planar linkage mechanisms (github.com/ahnobari)
2 months ago |
nill0
| github.com
|
newest
1
The Ligra Graph Processing Framework (jshun.github.io)
2 months ago |
nill0
| github.io
|
newest
1
How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
2 months ago |
nill0
| azurewebsites.net
|
newest
48
Matters Computational (2010) [pdf] (jjj.de)
2 months ago |
nill0
| jjj.de
|
best
3
Physical Computation - a Mechanistic Account by Gualtiero Piccinini [pdf] (agnescameron.info)
2 months ago |
nill0
| agnescameron.info
|
newest
1
Function Extraction: Automated Behavior Computation for Aerospace Software (cmu.edu)
2 months ago |
nill0
| cmu.edu
|
newest
1
Advanced Reverse Engineering – Dr.Stacy Prowell CSC 6580 [video] (youtube.com)
2 months ago |
nill0
| youtube.com
|
newest
1
The Five Strands of Mathematics Proficiency (gmu.edu)
2 months ago |
nill0
| gmu.edu
|
newest
2
Making Tiny 2-Stroke Engine from Scratch [video] (youtube.com)
2 months ago |
nill0
| youtube.com
|
newest
2
CARDboard Illustrative Aid to Computation (Cardboard Computer)-David Hagelbarger (drexel.edu)
2 months ago |
nill0
| drexel.edu
|
newest
8
Vulkan Game Engine Series Written in C – Travis Vroman (youtube.com)
2 months ago |
nill0
| youtube.com
|
frontpage
2
Planimeter: A tool to measure the area of any shape – Chris Staecker [video] (youtube.com)
2 months ago |
nill0
| youtube.com
|
newest
2
Ggruyere Space Program (gruyerespaceprogram.ch)
2 months ago |
nill0
| gruyerespaceprogram.ch
|
newest
3
A clever grinding fixture for ultra-precision squaring – Cylo's Garage [video] (youtube.com)
2 months ago |
nill0
| youtube.com
|
frontpage
2
Principles and Techniques for Designing Precision Machines – Hale [pdf] 1999 (osti.gov)
2 months ago |
nill0
| osti.gov
|
newest
1
The books that taught me precision [video] - Cylo's Garage (youtube.com)
2 months ago |
nill0
| youtube.com
|
newest
4
Homoiconicity (wikipedia.org)
2 months ago |
nill0
| wikipedia.org
|
newest
3
Characteristics of Modern Mathematics (2010) (mathscitech.org)
2 months ago |
nill0
| mathscitech.org
|
newest
2
Rigid Body Dynamics Algorithms – Roy Featherstone [pdf] 2008 (gaoyichao.com)
2 months ago |
nill0
| gaoyichao.com
|
newest
1
A Universal Approach to Self-Referential Paradoxes - Noson S. Yanofsky [2003] (arxiv.org)
2 months ago |
nill0
| arxiv.org
|
newest
1
Melody Visualization Experiment: Tetris Theme (Korobeiniki) in Blender [video] (youtube.com)
2 months ago |
nill0
| youtube.com
|
newest
2
List of nonlinear partial differential equations (wikipedia.org)
2 months ago |
nill0
| wikipedia.org
|
newest
3
Vector Calculus – Robert Ghrist [Calculus Blue Vol:1] [video] (youtube.com)
3 months ago |
nill0
| youtube.com
|
newest
3
The Limits of Mathematics – Gregory Chaitin [1994] (arxiv.org)
3 months ago |
nill0
| arxiv.org
|
newest
1
Program-Transformation.org (program-transformation.org)
3 months ago |
nill0
| program-transformation.org
|
newest
23
What can be computed? A practical guide to the theory of computation (2018) [pdf] (softouch.on.ca)
3 months ago |
nill0
| softouch.on.ca
|
frontpage
2
Models of Computation – John E. Savage [pdf] (brown.edu)
3 months ago |
nill0
| brown.edu
|
newest
1
Theoretical Computer Science (github.com/mostafatouny)
3 months ago |
nill0
| github.com
|
newest
1
UELib (github.com/eliotvu)
3 months ago |
nill0
| github.com
|
newest
3
Program-Analysis-Reading-List (msreverseengineering.com)
3 months ago |
nill0
| msreverseengineering.com
|
newest
2
Exploit Reversing – Alexandre Borges (exploitreversing.com)
3 months ago |
nill0
| exploitreversing.com
|
newest
2
Calipso: Conic Augmented Lagrangian Interior-Point SOlver (github.com/thowell)
3 months ago |
nill0
| github.com
|
newest
3
The Calculus of Computation [pdf] (up.pt)
3 months ago |
nill0
| up.pt
|
newest
1
Smoothing a Program Soundly and Robustly? [pdf] (utexas.edu)
3 months ago |
nill0
| utexas.edu
|
newest
4
x86-64 Playground An online assembly editor and GDB-like debugger (halb.it)
3 months ago |
nill0
| halb.it
|
newest
1
Making my static blog generator 11 times faster (gaultier.github.io)
3 months ago |
nill0
| github.io
|
newest
1
A Dive into the Rockchip Bootloader (pentestpartners.com)
3 months ago |
nill0
| pentestpartners.com
|
newest
1
CMU: Optimal Control and Reinforcement Learning (cmu.edu)
3 months ago |
nill0
| cmu.edu
|
newest
1
MIT: A low cost modular actuator for dynamic robots – Katz, Benjamin (dspace.mit.edu)
3 months ago |
nill0
| mit.edu
|
newest
3
Intel, Synopsys, TSMC All Unveil Record Memory Densities (ieee.org)
3 months ago |
nill0
| ieee.org
|
newest
1
Red Bull Racing: The Life of a Bolt (redbull.com)
3 months ago |
nill0
| redbull.com
|
newest
1
Computability and Complexity from a Programming Perspective – Neil D. Jones [pdf] (diku.dk)
3 months ago |
nill0
| diku.dk
|
newest
1
History of interactive theorem proving [pdf] (cam.ac.uk)
3 months ago |
nill0
| cam.ac.uk
|
newest
1
Designing a Theorem Prover – Lawrence C Paulson (arxiv.org)
3 months ago |
nill0
| arxiv.org
|
newest
1
Do theorem provers demonstrate their own correctness? (cs.stackexchange.com)
3 months ago |
nill0
| stackexchange.com
|
newest
1
Handbook of Discrete and Computational Geometry (csun.edu)
3 months ago |
nill0
| csun.edu
|
newest
2
Logic and Mechanized Reasoning (avigad.github.io)
3 months ago |
nill0
| github.io
|
newest
2
Space Launch Vehicles – Norbert Brugge (b14643.eu)
3 months ago |
nill0
| b14643.eu
|
newest
3
Robust Ladder Climbing with a Quadrupedal Robot (arxiv.org)
3 months ago |
nill0
| arxiv.org
|
newest
3
Computational Design and Fabrication of Portable MRI Systems (dspace.mit.edu)
3 months ago |
nill0
| mit.edu
|
frontpage
5
Failure Theory for Materials Science and Engineering (failurecriteria.com)
3 months ago |
nill0
| failurecriteria.com
|
frontpage
1
Manifold – Geometric Library for topological robustness (github.com/elalish)
3 months ago |
nill0
| github.com
|
newest
Next >