Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·3h·
λLambda Encodings
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·1h·
Discuss: Hacker News
Effect Handlers
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·17h·
Discuss: DEV
🦀Rust Verification
Flag this post
Concurrency Step-by-Step: Conforming to Protocols
massicotte.org·2d·
Discuss: Hacker News
🌐Protocol Synthesis
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
blog.phnx.im·4h·
Discuss: Hacker News
🌳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
Convert any GitHub repo to coding puzzles
github.com·19h·
Discuss: Hacker News
Proof Automation
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
roc-lang.org·13h·
Discuss: Hacker News
📏Code Metrics
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·21h
📞Session Types
Flag this post
Disasters I've seen in a microservices world, part II
world.hey.com·3h·
🔌Interface Evolution
Flag this post
Beyond YAML: Building Kubernetes Operators with CRDs and the Reconciliation Loop
dev.to·4h·
Discuss: DEV
📦CBOR Extensions
Flag this post
Infrastructure as Code
opentofu.org·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
I built an faster Notion in Rust
imedadel.com·20h·
🦀Rust Macros
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·20h
🕸️Neo4j
Flag this post