A polar week
blog.mitrichev.chΒ·1dΒ·
Discuss: blog.mitrichev.ch
πŸ•ΈοΈGraph Algorithms
Week #759 & #760
optional.isΒ·1d
πŸ“Concrete Syntax
Friends. Everywhere.
ente.ioΒ·1d
🏠Personal Archives
Picking up sticks.
drwho.virtadpt.netΒ·1d
πŸ’ΎPersistence Strategies
Experimentation and thinking at the level of a program of experiments
statmodeling.stat.columbia.eduΒ·1d
⚑Effectful Programming
SaaS Without People
sheet2report.vercel.appΒ·1dΒ·
Discuss: Hacker News
βš™οΈBatch Processing
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.comΒ·1dΒ·
Discuss: Substack
🎯Gradual Typing
A Resolution-Based Interactive Proof System for UNSAT
arxiv.orgΒ·3d
🎯Performance Proofs
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.orgΒ·2d
πŸ“Linear Logic
Thrice charmed at Rails World
world.hey.comΒ·12hΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Move to PVE
reddit.comΒ·1dΒ·
Discuss: r/homelab
πŸ’ΏZFS Internals
Delayed Momentum Aggregation: Communication-efficient Byzantine-robust Federated Learning with Partial Participation
arxiv.orgΒ·3d
🀐Secure Multiparty
Suggest kubernetes project video or detailed documentation
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
πŸ“¦Container Security
FlashAttention by hand
dev.toΒ·15hΒ·
Discuss: DEV
⚑SIMD Vectorization
Galactic Algorithm
en.wikipedia.orgΒ·2dΒ·
Discuss: Hacker News
🎯Performance Proofs
Dynamically Adaptive Quantum Decoherence Mitigation via Reinforcement Learning
dev.toΒ·16hΒ·
Discuss: DEV
βš›οΈQuantum Tape
Would a self-hosted update server for desktop apps be useful?
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸ”„Sync Engine
CNCF On-Demand: A Leap Forward in Kubernetes Networking & Observability with Calico Open Source
youtube.comΒ·2d
🌊Streaming Systems
Biochar-Enhanced Microbial Consortium for Sustainable Rice Straw Degradation & Soil Amendment
dev.toΒ·1hΒ·
Discuss: DEV
β˜•Coffee Chemistry
AI-Driven Dynamic Delivery Route Optimization via Multi-Modal Graph Neural Networks
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Riemannian Computing