Building cmarkprocess
rsdoiel.github.io·3d
✅Format Verification
Week 30 Status
blogs.gnome.org·9h
⚡Proof Automation
How Microsoft’s customers and partners accelerated AI Transformation in FY25 to innovate with purpose and shape their future success
blogs.microsoft.com·15h
🏠Homelab Automation
When Passion Isn’t Enough: Small Linux Projects, Big Problems
linuxiac.com·18h
❄️Nix Adoption
The West's data centers suck (water and power)
hcn.org·9h·
Discuss: Hacker News
🏠Homelab Federation
A Conversation with James Gosling (acm.org)
queue.acm.org·3d
⚙️Operating System Design
Evolution of HTTP
developer.mozilla.org·6d·
Discuss: Hacker News
🌐Web Standards
Positron raises $50M+ to make GPUs optional for AI inference. Thoughts?
positron.ai·10h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Resharding Postgres at 6.5 GB per second
pgdog.dev·15h·
Discuss: Hacker News
🗄️PostgreSQL WAL
The Telecommunications Pioneer Who Helped Connect the World
spectrum.ieee.org·3d
📡Bluetooth Archaeology
Pull Requests Are a Poor Fit For Agentic AI
bauer.codes·2h·
Discuss: Hacker News, r/programming
🔄Language Evolution
DAMS:Dual-Branch Adaptive Multiscale Spatiotemporal Framework for Video Anomaly Detection
arxiv.org·1h
👁️Perceptual Hashing
Clean numerical simulation (CNS) of three-dimensional turbulent Kolmogorov flow
arxiv.org·1h
🔗Tailscale
A Very Tidy Handheld Pi Terminal Indeed
hackaday.com·1d·
Discuss: Hacker News
🔌Single Board PC
MCP C# SDK: What’s New in Protocol 2025‑06‑18
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
What is an Application Layer DDoS Attack?
corero.com·16h
🔓LDAP Injection
Python OpenAI API create Pinecone embeddings from PDF documents and RAG examples
github.com·10h·
Discuss: Hacker News
⚡Proof Automation
Deciding what hardware to use for upcoming homelab project
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Smooth Reading: Bridging the Gap of Recurrent LLM to Self-Attention LLM on Long-Context Tasks
arxiv.org·1d
💻Local LLMs
Recommendations for SATA SSD Bay/Hub (Raspberry Pi)
reddit.com·11h·
Discuss: r/homelab
🏠Homelab