Why we committed to a zero-bugs policy
cocoweb.frΒ·11h
πŸ”Static Analysis
Jupyter Collaboration has a history slider
blog.jupyter.orgΒ·10hΒ·
Discuss: Hacker News
πŸ”„Operational Transforms
SAT problems are kind of cool
blog.karanjanthe.meΒ·4dΒ·
Discuss: Hacker News
Ξ»Functional Programming
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.comΒ·23hΒ·
Discuss: DEV
☁️Serverless Rust
A gentle introduction to Generative AI: Historical perspective
medium.comΒ·2dΒ·
Discuss: Hacker News
πŸ—οΈAI Infrastructure
Running new applications on old glibc
lightofdawn.orgΒ·4dΒ·
Discuss: Hacker News
πŸ”Static Analysis
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.orgΒ·2dΒ·
πŸ‘¨β€πŸ’»Self-Hosting
Item Patterns and Struct Await
noratrieb.devΒ·3dΒ·
Discuss: Hacker News
⚠️Unsafe Rust
Beating the L1 cache with value speculation (2021)
mazzo.liΒ·6dΒ·
⚑SIMD Optimization
Building on vibes: Lessons from three years with LLMs
world.hey.comΒ·4dΒ·
Discuss: Hacker News
🧩Low-code
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comΒ·5dΒ·
Ξ»Functional Programming
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.toΒ·9hΒ·
Discuss: DEV
πŸ—οΈAI Infrastructure
From ML Beginner to Production Engineer: How I’m Leveling Up My AI Projects
dev.toΒ·19hΒ·
Discuss: DEV
πŸ—οΈAI Infrastructure
InferenceMAX: Open-Source Inference Benchmarking
newsletter.semianalysis.comΒ·3dΒ·
Discuss: Hacker News
πŸ—οΈAI Infrastructure
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.orgΒ·4d
πŸ’»Local LLMs
Data Liberation: Training AI Without Sacrificing Privacy
dev.toΒ·7hΒ·
Discuss: DEV
🀝Federated Learning
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.orgΒ·5d
πŸ’»Local LLMs
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.orgΒ·3d
πŸ•ΈοΈKnowledge Graphs
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.orgΒ·3d
πŸ—οΈAI Infrastructure