The Fisherman and His Wife
sites.pitt.edu·3h·
Discuss: Hacker News
🧮Lambda Calculus
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·5d·
Discuss: r/programming
🔄Reproducible Builds
Basic Guide to Einsum
ajcr.net·1d·
Discuss: Hacker News
🧮Lambda Calculus
Scientists Watched Evolution Happen In Real Time Inside A Vermont Cheese Cave
studyfinds.org·22h·
Discuss: Hacker News
🍎Apple
Show HN: Historian – bridge from InfluxDB 1.x/2.x to 3.0 with Parquet and DuckDB
cduser.com·5d·
Discuss: Hacker News
💾Retro Computing
Praxis: iOS 26 Liquid Glass update and Adaptations
newbones.substack.com·19h·
Discuss: Substack
📺Vintage Apple
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·5d·
Discuss: Hacker News
👁️System Observability
Context Pruning in Conversational Agent
poonai.xyz·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Apple Unveils iPhone Memory Protections to Combat Sophisticated Attacks
securityweek.com·2d·
Discuss: Hacker News
🍎Apple
Using Haskell in Production
agentultra.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
AI Agents vs. Agentic AI: A Kubernetes Developer’s Guide
thenewstack.io·6d
⎈Kubernetes
The unbearable sameness of Liquid Glass
theverge.com·1d·
Discuss: Hacker News
🍎Apple
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·4d
🧩Separation Logic
Git’s hidden simplicity: what’s behind every commit
allvpv.substack.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Show HN: VibeDbg – Cconversational, LLM-Powered AI Assistant for WinDbg
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
How I Use AI
timkellogg.me·1d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
Snapchat unveils Snap OS 2 for its upcoming Spectacles AR glasses
9to5mac.com·1d
🍎Apple
meow: Yet another modal editing on Emacs
github.com·3d·
Discuss: Lobsters, Hacker News
🍏Darwin
Virtual staining for 3D X-ray histology of bone implants
arxiv.org·4d
💾Retro Computing
Continuous-Time Value Iteration for Multi-Agent Reinforcement Learning
arxiv.org·4d
🩹Self-Healing Systems