Refinement Types, SMT Integration, Program Verification, Type Safety

Optimizing Debian packages
grulic.org.ar·15h
❄️Nixpkgs
Flag this post
Home lab Network Upgrade Time
jimmielightner.com·21h
📊Homelab Monitoring
Flag this post
Notes from RIPE 91
blog.apnic.net·3d
🌐DNS over QUIC
Flag this post
The overengineered Solution to my Pigeon Problem
maxnagy.com·7h·
Discuss: Hacker News
📼Cassette Hacking
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.com·1d·
🌊Stream Processing
Flag this post
Show HN: Vercel-like deployments on your own VPS
outlap.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·3d
📊Computational Geometry
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·1d·
Discuss: Hacker News
🎵Audio ML
Flag this post
The Useful Personal Computer
technicshistory.com·18h·
Discuss: Hacker News
🍎Apple Computing
Flag this post
A Senior Developer’s Guide to Vibe Coding and Deep AI Integration in Cursor
dev.to·3d·
Discuss: DEV
Proof Automation
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·15h·
Discuss: DEV
🗂️Vector Search
Flag this post
DiscoBSD
github.com·12h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·3d
📝ABNF Extensions
Flag this post
My first day in Rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
🌊Stream Processing
Flag this post
OpenAI’s Apps SDK: A Developer’s Guide to Getting Started
thenewstack.io·1d
gRPC
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·14h·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·4h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·2h·
Discuss: DEV
🔩Systems Programming
Flag this post
Dual-Stream Diffusion for World-Model Augmented Vision-Language-Action Model
arxiv.org·3h
🤖Advanced OCR
Flag this post