Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·6h·
Discuss: Hacker News
🧮Algebraic Datatypes
On systematic construction of correct logic programs
arxiv.org·21h
⚖️Hoare Logic
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·12h
🎯Gradual Typing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·13h
✅Format Verification
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·51m
🦀Embedded Rust
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
8 Tool Tech Stack to Build an Enterprise-Grade RAG System (Without the Headaches)
dev.to·6h·
Discuss: DEV
🌀Brotli Internals
The Glorious Future of the Book
honest-broker.com·5h
💿WORM Storage
TypeScript: Enable Strict Mode by Default
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·6h·
Discuss: Hacker News
🔗Constraint Handling
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·11h
🦀Rust Macros
Is Math Discovered or Invented?
curtispoe.org·18h
🔲Proof Irrelevance
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·7h·
Discuss: Hacker News
🦀Rust Macros
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·21h·
Discuss: Hacker News
🔐Homomorphic Encryption
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·19h
🗄️File Systems
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·21h
💻Local LLMs