Property-based testing of batch-invariant operations
mmaaz.caยท2dยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
OO Design Principles: GRASP patterns
slott56.github.ioยท3d
๐Ÿ”€Control Structures
The Inverse Matrix problem
talesfrom.devยท1d
๐Ÿš‚Error Propagation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท1d
๐Ÿ”’Rust Borrowing
Google's MCP Toolbox for Databases
i-programmer.infoยท1d
๐Ÿ“‹Tablegen
I created a free Neovim learning course and I want to share :)
github.comยท2dยท
Discuss: r/neovim
๐Ÿ“šSelf-Documenting Code
The developer role is evolving. Hereโ€™s how to stay ahead.
github.blogยท1dยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Let's Prove Leftpad
github.comยท14hยท
Discuss: Hacker News
๐Ÿ“šSelf-Documenting Code
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท2dยท
Discuss: r/programming
๐Ÿง Memory Models
[Media] TrailBase 0.19: open, single-executable Firebase alternative now with WebAssembly runtime
reddit.comยท2hยท
Discuss: r/rust
๐ŸŒช๏ธV8 Pipeline
9 ReSharper Features Every .NET Developer Should Know
blog.jetbrains.comยท1d
๐ŸŽฎLanguage Ergonomics
Everything-as-Code explained
dev.toยท10hยท
Discuss: DEV
๐ŸŒWASM Runtimes
Understanding the KV Cache (feat. Self-Attention)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Petri: An open-source auditing tool to accelerate AI safety research
lesswrong.comยท2h
๐Ÿ”ฎMetacircular Evaluators
Real-Time Applications with Socket.IO
dev.toยท3dยท
Discuss: DEV
๐ŸŒMinimal HTTP
Detecting Distillation Data from Reasoning Models
arxiv.orgยท19h
โœ…Type Checking
STOP shipping AI code without reviewing it first
reddit.comยท6hยท
Discuss: r/webdev
๐ŸššCode Migration
Power Automate - Generative Actions
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
HOFLON: Hybrid Offline Learning and Online Optimization for Process Start-Up and Grade-Transition Control
arxiv.orgยท19h
๐Ÿ“กAsync Channels