Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
How experienced engineers get unstuck in coding interviews
newsletter.pragmaticengineer.com·21h
⚡Proof Automation
Show HN: BYO-database website analytics built for indie hackers
berrylog.app·1h·
Discuss: Hacker News
🚀Indie Hacking
GhostBSD 25.02-R14.3p2 Is Now Available
ghostbsd.org·1d
🐡OpenBSD
Ransomware-Resilient Storage
infoq.com·18h·
Discuss: Hacker News
💿WORM Storage
Nullable vs. Nullable in C#
einarwh.no·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
An epiphany about bloated web pages might be the result of a dumb network (2023)
boston.conman.org·16h·
Discuss: Hacker News
🚀Indie Hacking
Day 11: AI Analyzer Foundation Complete - Model Selection and Evidence Formatting
dev.to·1d·
Discuss: DEV
👁️System Observability
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·5d·
Discuss: Hacker News
🔍Concolic Testing
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·23h·
Discuss: Hacker News
⚡Proof Automation
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·9h
🧮Theorem Proving
Fixing my Old OS Assignment with Machine Code Hacks
gridbugs.org·1d·
Discuss: r/programming
📟Terminal Forensics
Why I'm declining your AI generated MR
blog.stuartspence.ca·16h·
Discuss: Hacker News, r/programming
🔄Language Evolution
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·1d·
Discuss: DEV
📦Container Security
Antirez/sds: Simple Dynamic Strings library for C
github.com·1d·
Discuss: Hacker News
✅Format Verification
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·19h·
Discuss: DEV
🧠Intelligence Compression
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
Show HN: Web2mcp – Auto-generate an MCP for any web app
github.com·11h·
Discuss: Hacker News
⚡gRPC
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.to·1d·
Discuss: DEV
🦀Rust Macros