Reverse Vibe Coding
blog.za3k.com·1h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·4d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
The Learning Loop and LLMs
martinfowler.com·13h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Apple Delays Home App Update Requirement Until February 2026
apple.slashdot.org·3h
🍎Apple
Flag this post
DevTrends MCP – Real-Time Developer Intelligence for AI Coding Assistants
apify.com·10h·
Discuss: DEV, Hacker News
🔧DevOps
Flag this post
Mitre ATT&CK v18 released
medium.com·2d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·3d·
Discuss: Hacker News
❄️Nixified Development
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·6h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Assessing Lipid Trafficking Dynamics via Spatially Resolved Fluorescence Correlation Spectroscopy and Computational Modeling
dev.to·7h·
Discuss: DEV
📐Linear Algebra
Flag this post
Building a 2k€ NAS+Homelab, am i missing anything?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
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
Linux/WASM
joelseverin.github.io·3d·
Discuss: Hacker News, Hacker News, r/linux
🐳Containerization
Flag this post
Music in rust with tunes
reddit.com·2d·
Discuss: r/rust
💎Refinement Types
Flag this post
MIPS64EL & ARMEL Architectures Dropped In Debian Unstable/Experimental
phoronix.com·12h
📦Unikernel Systems
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·1d·
Discuss: DEV
💎Refinement Types
Flag this post
Schaltwerk – The IDE Without Editor
github.com·21h·
Discuss: Hacker News
💻CLI Tools
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·16h
🧪Property-Based Testing
Flag this post
VisualDiffer Released Open Source
github.com·2d·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·11h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·22h
🔍Formal Verification
Flag this post