Specifications like temporal logic but with ordinary mathematics
yodaiken.com·4h
📄PostScript
Flag this post
Issue 732
iosdevweekly.com·1d
🖥️Vintage Macintosh
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post
Show HN: SerenDB – A Neon PostgreSQL fork optimized for AI agent workloads
🌳Git Internals
Flag this post
Installing FFCV and Fastxtend on Windows with Micromamba and MSVC
🔗Dependency Resolution
Flag this post
WTF Are Agents?
✨Effect Handlers
Flag this post
The System Skill Pattern
🪟Awesome windows command-line
Flag this post
Neurotremor: A wearable Supportive Device for Supporting Upper Limb Muscle Function
arxiv.org·21h
✋Tactile Computing
Flag this post
Show HN: Base64 Decode – A fast, privacy-first Base64 decoder in the browser
📝Text Compression
Flag this post
Clojure Zippers
🧮Algebraic Archives
Flag this post
Show HN: Incremental JSON parser for streaming LLM tool calls in Ruby
🌊Stream Processing
Flag this post
I spent the past 2 months trying out every hyped AI coding workflow I could find
⚡Proof Automation
Flag this post
"Learning Together": AI-Mediated Support for Parental Involvement in Everyday Learning
arxiv.org·21h
🔲Cellular Automata
Flag this post
Loading...Loading more...