Building Freebsd Ports
blog.bapt.nameยท1d
๐Vintage Protocols
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Borrow checker says โNoโ! An error that scares me every single time!
๐ฆRust Borrowing
Flag this post
FSWatcher: A new cross platform file watcher for MacOS, Linux and Windows
๐ฐFeed Readers
Flag this post
AccessFix Update!
๐Interface Evolution
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.orgยท7h
๐จCompilers
Flag this post
Kubernetes + Ceph: Your Freedom from the Cloud Cartel
๐ฅ๏ธSelf-hosted Infrastructure
Flag this post
SCOUT: Semi-Lagrangian COnservative and Unconditionally sTable schemes for nonlinear advection-diffusion problems
arxiv.orgยท7h
๐งฎTheoretical Computer Science
Flag this post
The Software Development Journey
๐Language Evolution
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
โ๏ธLean Tactics
Flag this post
Using Claude, Perplexity, v0, ChatGPT, etc to Make Tech Apps and Write Content
โกProof Automation
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ยท7h
๐ง Intelligence Compression
Flag this post
My first day in Rust
๐ฆRust Borrowing
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
๐งฎKolmogorov Bounds
Flag this post
A Roller Coaster Of Emotions
deprogrammaticaipsum.comยท1d
๐ฅRetro Computing
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.orgยท7h
โฑ๏ธSMPTE Timecode
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.orgยท7h
โ๏ธQuantum Archives
Flag this post
Loading...Loading more...