Gradual negation types and the Python type system
jellezijlstra.github.io·13h·
Discuss: Hacker News
🔲Proof Irrelevance
Issue 481
haskellweekly.news·8h
🔗Functional Compilers
Python Fundamentals: case
dev.to·7h·
Discuss: DEV
✅Format Verification
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·1d·
Discuss: Hacker News
✨Algebraic Effects
A Wide Reduction Trick (2022)
words.filippo.io·17h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components
How to actually use Model Context Protocol
seangoedecke.com·20h
⚡Proof Automation
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·6h·
Discuss: Hacker News
🤝Distributed Consensus
Almost Always Auto (2013)
herbsutter.com·10h·
Discuss: Hacker News
🔒Type Safety
Maybe writing speed actually is a bottleneck for programming
buttondown.com·1h
📏Code Metrics
Converting Future to CompletableFuture With Java Virtual Threads
morling.dev·11h
🌊Streaming Systems
Go interfaces and json.Unmarshal
fbrs.io·1d
🔧Binary Parsers
How to generate a TypeScript SDK for your API spec
buildwithfern.com·1d·
Discuss: Hacker News
⚡gRPC
Introducing the Herb Linter, Formatter, and a Vision for the Future of Rails Views
marcoroth.dev·31m·
Discuss: Lobsters
🌀Brotli Internals
CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·3h
🌐WASI
sync.Once — Go's simple pattern for safe one-time execution.
dev.to·5h·
Discuss: DEV
🔄Lens Laws
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·5h
🔌Interface Evolution