Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·43m·
Discuss: Hacker News
⬌Bidirectional Typing
Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·21h·
Discuss: Hacker News, r/programming
✅Format Verification
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Categorical systems theory
topos.institute·11h
🔀Category Theory
A small rant about compression
codecs.multimedia.cx·2d
📦Deflate
Open Lineage
usenix.org·19h
🔌Interface Evolution
Static Bundle Object: Modernizing Static Linking
medium.com·3d·
Discuss: Hacker News, Hacker News
🔗Static Linking
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
7-Zip: Information on closed security gaps available
heise.de·12h
💣ZIP Vulnerabilities
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·14h·
Discuss: DEV
🌊Apache Kafka
timelinize/timelinize
github.com·21h
⏱️Interval Archives
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
🔢Denotational Semantics
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
A Manifesto for the Programming Desperado
github.com·7h·
Discuss: Hacker News
💻Programming languages
Easy Cloud Storage Solution for Individuals? – Try MeshDrive
news.ycombinator.com·14h·
Discuss: Hacker News
🏠Personal Archives
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming