Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·10h·
Discuss: r/programming
⚙Operational Semantics
Flag this post
Benchmarking the cost of Java's EnumSet - A Second Look
kinnen.de·21h·
Discuss: r/programming
🎯GADT
Flag this post
Frozen in Place
economics.bmo.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
AI Energy Score
huggingface.github.io·2h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·1d·
Discuss: Substack
📚Automata Learning
Flag this post
Benchmarking The AMD EPYC 9V64H: Azure HBv5's Custom AMD CPU With HBM3
phoronix.com·22h·
Discuss: Hacker News
🖥️KVM
Flag this post
Linux/WASM
joelseverin.github.io·3d·
Discuss: Hacker News, Hacker News, r/linux
🐳Containerization
Flag this post
Turning Kubernetes observability into reliability with SLOs and runbooks
reddit.com·1d·
Discuss: r/kubernetes
👁️Observability
Flag this post
Anyone have experience with high speed (100Gbe) file transfers using nfs and rdma
reddit.com·6h·
Discuss: r/homelab
💬Mach Messages
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·1d
🧪Property-Based Testing
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
📦Module Systems
Flag this post
Intel's LLM-Scaler Updated With OpenAI's GPT-OSS Model Support
phoronix.com·1d
🔧Unikernel Development
Flag this post
Should I run unraid in proxmox or proxmox on unraid
reddit.com·11h·
Discuss: r/homelab
🖥Self-Hosting
Flag this post
TrueNAS/Proxmox Freeze
reddit.com·20h·
Discuss: r/homelab
🖥️KVM
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·2d·
Discuss: DEV
📦Unikernel Systems
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·1d·
Discuss: DEV
💻CLI Tools
Flag this post
Probing Knowledge Holes in Unlearned LLMs
arxiv.org·1d
🔍CBMC
Flag this post
Building Your Own LLM-Powered Sports Analyst: A RAG Approach with Fine-tuning
dev.to·6h·
Discuss: DEV
🎯Hindley-Milner
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·5d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Part 2: Building Station Station - A Real-World SDD Case Study
dev.to·1d·
Discuss: DEV
🔌APIs
Flag this post