A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·13h
🤝Distributed Consensus
Zig Interface Revisited
williamw520.github.io·11h·
Discuss: Hacker News
🧩WASM Components
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
AwesomeAssertions/AwesomeAssertions
github.com·13h
✅Format Verification
Python Fundamentals: build
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
How to generate a TypeScript SDK for your API spec
buildwithfern.com·10h·
Discuss: Hacker News
⚡gRPC
Go interfaces and json.Unmarshal
fbrs.io·8h
🔧Binary Parsers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·8h
🔒WASM Capabilities
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·12h·
Discuss: Hacker News
🤖Network Automation
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·13h·
Discuss: Hacker News
🌊Stream Processing
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
What people said about an OpenZFS bug
despairlabs.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety