My AI Workflow for Understanding Any Codebase
steipete.meΒ·22h
⚑Proof Automation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.orgΒ·10hΒ·
Discuss: Hacker News
πŸ“ŸTerminal Typography
Why Dyad?: A Perspective for Modelica Users
juliahub.comΒ·18hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Fedora could include Xlibre
lists.fedoraproject.orgΒ·1dΒ·
Discuss: r/linux
πŸ”ŒOperating system internals
Go 1.25's JSON evolution
golangweekly.comΒ·1d
πŸ”ŒInterface Evolution
Exploring High Efficiency Web Analysis Results（1750876031390300οΌ‰
dev.toΒ·14hΒ·
Discuss: DEV
🌊Stream Processing
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
How to Write a Software Project Proposal: Complete Template & Guide
dev.toΒ·3hΒ·
Discuss: DEV
πŸ¦‹Format Metamorphosis
What Is "Modern" Programming?
lemire.meΒ·21hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.comΒ·15hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Trip June 2025 ISO C++ standards meeting (Sofia, Bulgaria)
herbsutter.comΒ·4dΒ·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
πŸ› Language Design
Experiment proposal: In-place initialization
github.comΒ·3d
πŸ¦€Rust Macros
Breaking Barriers: Cross-Distro CI/CD with Packit and OBS - DevConf.CZ 2025
youtube.comΒ·1h
πŸ”„Reproducible Builds
I Built My Own Programming Language and its Virtual Machine In Python!
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”—Concatenative Programming
Field Sensitive Escape Analysis in Golang?
reddit.comΒ·1dΒ·
Discuss: r/golang
🧠Lisp Dialects
Structured Logging in NextJS with OpenTelemetry
dev.toΒ·33mΒ·
Discuss: DEV
πŸ“Log Parsing
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Β·19hΒ·
Discuss: DEV
πŸ“Code Metrics