Pitch Multiplication (2017)
klangnewmusic.weebly.comยท13hยท
Discuss: Hacker News
๐ŸŽผAudio Lambda Calculus
Flag this post
I Tried to Teach AI to Click Buttons, and It Missed by 500 Pixels
dev.toยท53mยท
Discuss: DEV
๐Ÿ“ŸTerminal Physics
Flag this post
Algorithm finds smallest dataset that guarantees optimal solutions to complex problems
phys.orgยท4d
๐ŸŒ€Differential Geometry
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.comยท15hยท
Discuss: Substack
๐Ÿง Query Planners
Flag this post
Langโ€™s theorem โ€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท14h
ฮปLambda Encodings
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.comยท13hยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Flag this post
My Home Lab setup and what to do next with blackfriday??
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ–ฅHome Lab Setup
Flag this post
SQLite Release 3.51.0
sqlite.orgยท24mยท
Discuss: Hacker News
๐Ÿ’พSQLite
Flag this post
Near-Perfect Portfolio Strategy For Today's Uncertain Market
seekingalpha.comยท21h
๐Ÿ“ˆTime Series
Flag this post
14.03 The Workshop
johnnydecimal.comยท1d
โš”๏ธLean Tactics
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.comยท21hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
How to succeed at anything, even if you have no talent
robdix.comยท1d
โฌœMinimalism
Flag this post
Student projects in complex function theory โ€“ The Prime Number Theorem and Riemannโ€™s paper
noncommutativeanalysis.wordpress.comยท1d
โš”๏ธLean Theorem
Flag this post
Polynomial-Time Algorithms for Computing the Nucleolus: An Assessment
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Flag this post
Using Fuzzy Logic for Decision Making
loufranco.comยท2d
๐Ÿ”—Constraint Handling
Flag this post
Show HN: Wolfrominoes
demos.samgentle.comยท6hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Flag this post
An Interview with a YouTube Writer Behind 500M+ Views
humaninvariant.comยท8hยท
Discuss: Hacker News
๐ŸŽฏContent Recommendation
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท10h
๐ŸŒ€Brotli Internals
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.toยท1hยท
Discuss: DEV
โšกIncremental Computation
Flag this post