My fan worked fine, so I gave it WiFi
🔧Microcontrollers
Flag this post
Earn Simplicity
⬜Minimalism
Flag this post
The 1337 PNG Hashquine (2022)
🛡️macOS Security
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Ajla Tutorial
🔬Static Analysis
Flag this post
Being "Usefully Concrete"
lesswrong.com·1d
➡️Category Theory
Flag this post
How I Use Every Claude Code Feature
💻CLI Tools
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🔀OCaml Multicore
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🧩Parser Combinators
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·1d
🔲Cellular Automata
Flag this post
How to talk to people about AI threat
lesswrong.com·20h
🎮Verification Games
Flag this post
Automated Anomaly Detection in Surgical Instrument Tracking Using Federated Learning
👁️Observability
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·22h
🐫OCaml
Flag this post
Loading...Loading more...