Convince me to use C instead of Rust
🦀Rust
Flag this post
Linkers: A 20 Part Series
🔨Incremental Compilation
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
⚠️Rust Unsafe
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·1d
🌳Tree-sitter
Flag this post
Ruby and Its Neighbors: Smalltalk
💎Refinement Types
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🦀Rust Macros
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🎨API Design
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
🏗️System Design
Flag this post
Pragma Unroll
🦀Rust Macros
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Loading...Loading more...