My AI Workflow for Understanding Any Codebase
steipete.meΒ·1d
⚑Proof Automation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.orgΒ·15hΒ·
Discuss: Hacker News
πŸ“ŸTerminal Typography
Fedora could include Xlibre
lists.fedoraproject.orgΒ·2dΒ·
Discuss: r/linux
πŸ”ŒOperating system internals
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgΒ·2d
🎯Performance Proofs
Fedora 44 Plans to Drop i686 Support and 32-Bit Multilib Compatibility
linuxiac.comΒ·1d
πŸ”ŒOperating system internals
Exploring High Efficiency Web Analysis Results（1750876031390300οΌ‰
dev.toΒ·20hΒ·
Discuss: DEV
🌊Stream Processing
Unla: Instantly turn APIs n MCP servers into MCP servers,no code changes needed
github.comΒ·1hΒ·
Discuss: Hacker News
πŸ”ŒInterface Evolution
How to Write a Software Project Proposal: Complete Template & Guide
dev.toΒ·8hΒ·
Discuss: DEV
πŸ¦‹Format Metamorphosis
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.comΒ·20hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000οΌ‰
dev.toΒ·3dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.comΒ·5hΒ·
Discuss: r/golang
πŸ”—Concatenative Programming
Breaking Barriers: Cross-Distro CI/CD with Packit and OBS - DevConf.CZ 2025
youtube.comΒ·6h
πŸ”„Reproducible Builds
Trip June 2025 ISO C++ standards meeting (Sofia, Bulgaria)
herbsutter.comΒ·5dΒ·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
πŸ› Language Design
Experiment proposal: In-place initialization
github.comΒ·3d
πŸ¦€Rust Macros
How to build a MCP (model context protocol) server for UI libraries + repo
dev.toΒ·3hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200οΌ‰
dev.toΒ·3dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Code Metrics
Structured Logging in NextJS with OpenTelemetry
dev.toΒ·5hΒ·
Discuss: DEV
πŸ“Log Parsing
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.toΒ·11hΒ·
Discuss: DEV
πŸ—‚οΈVector Databases
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Concatenative Programming