🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·6h·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1h·
Discuss: Substack
💻Programming languages
Flag this post
ChessQA: Evaluating Large Language Models for Chess Understanding
arxiv.org·12h
🧠Intelligence Compression
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·19h·
Discuss: DEV
🦀Rust Verification
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·20h
📐Error Bounds
Flag this post
CodeSOD: A Basic Mistake
thedailywtf.com·10h
🧪Binary Fuzzing
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·1d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
✅Format Verification
Flag this post
Convert any GitHub repo to coding puzzles
github.com·21h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Signature schemes you've never heard about – Kobi Gurkan
kobi.leaflet.pub·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·23h·
Discuss: r/programming
📜Binary Philology
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·1d
📞Session Types
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧪Binary Fuzzing
Flag this post
Freshman’s dream
johndcook.com·1d
⚔️Lean Tactics
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·2d·
Discuss: Hacker News
🔒Type Safety
Flag this post
Wednesday 26 November - 11am
informatics.ed.ac.uk·1d
🎵Audio ML
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·23h
🦀Rust Borrowing
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·2d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·12h
💻Programming languages
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·1h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·16h·
Discuss: Hacker News
📏Code Metrics
Flag this post