Pragma Unroll
🔀OCaml Multicore
Flag this post
Complexity fills the space it's given
🏃Escape Analysis
Flag this post
Google's MCP Toolbox for Databases: A Technical Deep Dive for Engineering Teams
👁️System Observability
Flag this post
Fourier Transforms
📐Linear Algebra
Flag this post
Two Times I Was Surprised By My Own Values
lesswrong.com·11h
⬜Minimalism
Flag this post
Launch-Day Diffusion: Tracking Hacker News Impact on GitHub Stars for AI Tools
arxiv.org·1d
🌐ActivityPub
Flag this post
Escalation and perception
lesswrong.com·6h
Flag this post
List Decoding and New Bicycle Code Constructions for Quantum LDPC Codes
arxiv.org·2d
🎨GADTs
Flag this post
Use of Continuous Glucose Monitoring with Machine Learning to Identify Metabolic Subphenotypes and Inform Precision Lifestyle Changes
arxiv.org·1d
👁️Observability
Flag this post
It is our responsibility to develop a healthy relationship with our technology
lesswrong.com·1d
📵Digital Minimalism
Flag this post
The solution to akrasia apparently isn't not having any goals
lesswrong.com·11h
🌐ActivityPub
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·3d
🐫OCaml
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·4d
🔍Formal Verification
Flag this post
The Evolution and Future of AI Development
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·4d
🧠Automated Reasoning
Flag this post
Loading...Loading more...