My AI Workflow for Understanding Any Codebase
steipete.me·18h
⚡Proof Automation
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·5h·
Discuss: Hacker News
📟Terminal Typography
Why Dyad?: A Perspective for Modelica Users
juliahub.com·13h·
Discuss: Hacker News
💧Liquid Types
Monolith: Your New Best Friend for Offline Web Archiving
dev.to·15h·
Discuss: DEV
🏺ZIP Archaeology
Touring the Zig•EM code-scape (2024)
zigem.openem.org·5d·
Discuss: Hacker News
🌳Incremental Parsing
Build It Clean: Large-Scale Detection of Code Smells in Build Scripts
arxiv.org·2d
🔗Topological Sorting
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·22h·
Discuss: DEV
λLambda Formalization
Fedora could include Xlibre
lists.fedoraproject.org·1d·
Discuss: r/linux
🔌Operating system internals
C++ Seeding Surprises (2015)
pcg-random.org·12h·
Discuss: Hacker News
🔢Bitwise Algorithms
VFArch\=e: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
arxiv.org·2d
🛡️eBPF Security
Go 1.25's JSON evolution
golangweekly.com·1d
🔌Interface Evolution
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·20h·
Discuss: DEV
⚡Modern Compression
Can You Patch a Protobuf File? Not Really—and Here’s Why
hackernoon.com·21h
📋Protocol Buffers
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·10h·
Discuss: DEV
🌊Stream Processing
What Is "Modern" Programming?
lemire.me·16h·
Discuss: Hacker News
💧Liquid Types
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·10h·
Discuss: Hacker News
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing