Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.comยท10hยท
Discuss: Hacker News
๐Ÿ›ก๏ธStack Safety
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.orgยท1h
โ†”๏ธBidirectional Typing
Embracing the parallel coding agent lifestyle
simonw.substack.comยท5hยท
Discuss: Substack
โšกLive Coding
Property-based testing of batch-invariant operations
mmaaz.caยท7hยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท1hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
Recurse Checkins
404wolf.comยท4h
๐Ÿ”„Bootstrapping
Python PEP 636 โ€“ Structural Pattern Matching: Tutorial
peps.python.orgยท19hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
valuetier.org (and some thoughts on LLMs)
ericphanson.comยท12hยท
๐Ÿ“šSelf-Documenting Code
The 'Magic' of LLMs: The Function of Language
lesswrong.comยท1d
๐Ÿ”ML Language
ECS Implementation
reddit.comยท20hยท
Discuss: r/cpp
๐Ÿค–Embedded Go
Ask HN: Systems Development Path
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Higher-Level Design Patterns
qouteall.funยท2dยท
Discuss: Hacker News
โšกAlgebraic Effects
Domain Driven Design in Clojure with Generalized Hiccup
biotz.ioยท3dยท
โšกfunctional programming
Four years, Five failures, One compiler
daymare.netยท20hยท
๐ŸŒฑMinimal Languages
Automatic Building Code Review: A Case Study
arxiv.orgยท1h
๐Ÿ“ฆDependency Analysis
Writing a Dictation Application
osada.blogยท11h
๐Ÿ“šSelf-Documenting Code
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.toยท6hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Seriously Testing LLMs
satisfice.comยท4h
๐ŸŽฏFinite Automata
The Inverse Matrix problem
talesfrom.devยท5h
๐Ÿš‚Error Propagation
Understanding Linux Kernel Namespaces: The Magic Behind Containers
github.comยท12hยท
Discuss: DEV
๐ŸšShell Languages