Drake: Model-Based Design and Verification for Robotics
drake.mit.eduยท9h
๐Origami Engineering
Flag this post
spectral flow
ncatlab.orgยท1d
โLinear Algebra
Flag this post
Everything Is a Spreadsheet
๐Data Visualization
Flag this post
Scaling HNSWs
๐Functional Programming
Flag this post
I replaced my productivity apps with Claude Code + text files
๐Functional Programming
Flag this post
Scaling Is All You Need: Understanding sqrt(dโ) in Self-Attention
๐Statistical Mechanics
Flag this post
Crumsort and Quadsort in C++
๐Functional Programming
Flag this post
Coherence Mechanisms for Provable Self-Improvement
arxiv.orgยท2h
๐Optimization Algorithms
Flag this post
NOTAM-Evolve: A Knowledge-Guided Self-Evolving Optimization Framework with LLMs for NOTAM Interpretation
arxiv.orgยท2h
๐Optimization Algorithms
Flag this post
Ternary plots are underrated
lesswrong.comยท1d
๐Data Visualization
Flag this post
Physics-informed deep learning and compressive collocation for high-dimensional diffusion-reaction equations: practical existence theory and numerics
arxiv.orgยท2h
๐ปComputational Science
Flag this post
Structure-Preserving Transfer of Grad-Shafranov Equilibria to Magnetohydrodynamic Solvers
arxiv.orgยท2h
๐ฌFinite Element Analysis
Flag this post
Breaking a Superfluid Harmonic Dam: Observation and Theory of Riemann Invariants and Accelerating Sonic Horizons
link.aps.orgยท5h
๐ก๏ธThermodynamics
Flag this post
Evaluating Implicit Biases in LLM Reasoning through Logic Grid Puzzles
arxiv.orgยท1d
๐Functional Programming
Flag this post
Mastering Generalized Linear Models GLM in R: Origins, Real-Life Applications, and Case Studies
๐ขNumerical Methods
Flag this post
When does Claude sabotage code? An Agentic Misalignment follow-up
lesswrong.comยท2d
๐Functional Programming
Flag this post
Loading...Loading more...