Feeds to Scour
SubscribedAll
Checked-size array parameters in C
lwn.netยท5dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Preview
Report Post
Error-Emitter-9000: A Respectful Ode to the Rust Compiler
medium.comยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Preview
Report Post
From design patterns to category theory (2017)
blog.ploeh.dkยท5dยท
Discuss: Hacker News
๐Ÿ”€Category Theory
Preview
Report Post
Spending too much time on one AoC problem
richclubb.github.ioยท4dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Preview
Report Post
Distributed Lock Failure: How Long GC Pauses Break Concurrency
systemdr.substack.comยท4dยท
Discuss: Substack
๐ŸคPaxos Consensus
Preview
Report Post
Monoidal Hashing for Data Deduplication
scannedinavian.comยท5dยท
Discuss: Hacker News
๐Ÿ”„Content Deduplication
Preview
Report Post
Small Models Achieve Large Language Model Performance: Evaluating Reasoning-Enabled AI for Secure Child Welfare Research
arxiv.orgยท4d
๐Ÿ”Type Inference
Preview
Report Post
It's Not Always ICache
matklad.github.ioยท6dยท
Discuss: Hacker News
โšกPerformance Tools
Preview
Report Post
log|x| + C revisited
golem.ph.utexas.eduยท6d
๐ŸšShell Calculus
Preview
Report Post
Essentials of Compilation: An Incremental Approach (2020)
swatson555.github.ioยท5dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Preview
Report Post
Teaching an LLM to Write Assembly: GBNF-Constrained Generation for a Custom CPU
jamesdrandall.comยท4dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Preview
Report Post
C++ Enum Class and Error Codes
mropert.github.ioยท5dยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Preview
Report Post
Two kinds of tag types: `foo_t` and `foo_tag`
quuxplusone.github.ioยท6d
๐ŸงฌFunctional Programming
Preview
Report Post
TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact
huonw.github.ioยท6d
๐Ÿ”’Type Safety
Preview
Report Post
Durable Executions, Defined
journal.resonatehq.ioยท5dยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Preview
Report Post
Towards Contextual Sensitive Data Detection
arxiv.orgยท4d
๐Ÿ›ก๏ธDifferential Privacy
Preview
Report Post
Zig's new plan for asynchronous programs
lwn.netยท6dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Preview
Report Post
Stop Shotgun Debugging: How to Turn AI Into Your Lead Detective
dev.toยท3dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Preview
Report Post
Better Boundaries
tech.marksblogg.comยท6d
๐Ÿ“Concrete Syntax
Preview
Report Post
I built a Transactional NoSQL Database in Go (and now it has AI Agents!)
dev.toยท3dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Preview
Report Post