Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·1d·
Discuss: Hacker News
λLambda Encodings
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·23h
🧮Algebraic Archives
Proof Complexity 2025
cstheory-events.org·1d
🎯Performance Proofs
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·1d·
Discuss: Hacker News
🔤Type Theory
Category theory: online lecture notes, etc. - Logic Matters
logicmatters.net·4d
🔀Category Theory
🐍 My Python Journey: Week 3 – The Realm of Operators
dev.to·9h·
Discuss: DEV
📝Concrete Syntax
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.com·8h·
Discuss: Lobsters
🏛️Agda
Binary Search in Haskell and Rust
mmhaskell.com·1d
📐Interval Arithmetic
Pytrees for Scientific Python
blog.scientific-python.org·1d
🔗Topological Sorting
What Is Type Inference? What It Is and How It Works
hackernoon.com·2d
🔍Type Inference
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·23h
🐓Coq
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·20h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
The Tree Borrows paper is finally published
ralfj.de·2d
🦀Rust Verification
My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
We solved AI API interoperability
supermemory.ai·7h·
Discuss: Hacker News
🔌Interface Evolution
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·23h
💻Programming languages
LLM failures
funcall.blogspot.com·1d·
Discuss: www.blogger.com
💻Programming languages
A catamorphic lambda-calculus interpreter
michaelpj.com·4d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Qwen3 family of reasoning models now available in Amazon Bedrock Marketplace and Amazon SageMaker JumpStart
aws.amazon.com·1d
🌀Brotli Internals
I solved the IIT-JEE Mains paper with LLM. Here are the results
iexplain.app·19h·
Discuss: Hacker News
📐Interval Arithmetic