Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·10h
🎲Property Testing
Flag this post
Implemented arc-lightning with Rust
🦀MIR Optimization
Flag this post
Bitkey's chaincode delegation BIP is pretty cool!
stacker.news·11h
🛡️Security Type Systems
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
📦Dependency Analysis
Flag this post
Rust intern saved TikTok $300K
youtube.com·1d
🏗️Cranelift
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔧API Design
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·12h
🛡️Security Type Systems
Flag this post
Oops, My UUIDs Collided
🔗Hash Functions
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
🎯Pattern Matching
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
🔪Program Slicing
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·5h
⚖️Inference Rules
Flag this post
Challenging the Fastest OSS Workflow Engine
📡Erlang BEAM
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
My First Rust Project
binwang.me·3d
🦀MIR Optimization
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔧API Design
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
Loading...Loading more...