Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
🦀Rust Verification
Flag this post
Arranging the PIC Parterre
rastamouse.me·1d
🔗Static Linking
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·21h
🦀Rust Borrowing
Flag this post
Making MLS More Decentralized
🌳Archive Merkle Trees
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.io·31m
🏷️Metadata Standards
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·10h
💻Programming languages
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·17h
📐Error Bounds
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·2d
🔗Constraint Handling
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
Opportunistic Mutation in Roc
📏Code Metrics
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·21h
📞Session Types
Flag this post
Beyond YAML: Building Kubernetes Operators with CRDs and the Reconciliation Loop
📦CBOR Extensions
Flag this post
Infrastructure as Code
🧱Immutable Infrastructure
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·20h
🕸️Neo4j
Flag this post
Loading...Loading more...