🔤 Type Theory

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

Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·2d
🔄Reproducible Builds
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·14h
📊Graph Databases
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🐛Fuzzing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·14h·
Discuss: Hacker News
📋DFDL
TypeScript: checking Map keys and Array indices
2ality.com·5d
🔗Dependently Typed
[D] Alarming amount of schizoid people being validated by LLMs, anyone else experienced this?
reddit.com·3h·
Discuss: r/MachineLearning
🎯Gradual Typing
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2h·
Discuss: DEV
🌊Stream Processing
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·35m
🔍BitFunnel
Probing AI Safety with Source Code
arxiv.org·35m
✨Effect Handlers
PasteTrace: A Single Source Plagiarism Detection Tool For Introductory Programming Courses
arxiv.org·2d
🔗Document Similarity
Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions
arxiv.org·2d
🎯Performance Proofs
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·2d
🔐Quantum Security
Writing Toy Software Is a Joy
quiz.businessexplain.com·1h·
Discuss: Hacker News
🔩Systems Programming
daily quizzz
dev.to·15h·
Discuss: DEV
λLambda Encodings
Function Currying in Modern JavaScript: Why, When, and How
dev.to·3d·
Discuss: DEV
⬆️Lambda Lifting
The "C" in CSS: A Guide to Cascade, Specificity, and Inheritance
dev.to·1d·
Discuss: DEV
🖋Typography
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·35m
💻Local LLMs
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·35m
🎯Performance Proofs