📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Language is the last class marker
unherd.com·8h·
Discuss: unherd.com
🧮Programming Language Theory
Conlang Year: Week 26
table46.bearblog.dev·1h
🔗Parser Combinators
Generalized Coming Out Of The Closet
lesswrong.com·9h
🔢Mathematical Logic
Changelog #298
rust-analyzer.github.io·2d
🦀Rust
Crypto-asset trading on top of Ethereum Blockchain comprehensive dataset
nature.com·14h
🔐Cryptography
Janet Minipbt Translation
github.com·3d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
Verification Method for Graph Isomorphism Criteria
arxiv.org·1d
🧩Theorem Proving
Evaluating Imputation Techniques for Short-Term Gaps in Heart Rate Data
arxiv.org·3h
🎲Probabilistic Programming
Vibe-Guard is Now a VS Code Extension! And It Just Found 8,000+ Security Issues in a Major Enterprise Project
dev.to·1h·
Discuss: DEV
🔍Static Analysis
Chi-Geometry: A Library for Benchmarking Chirality Prediction of GNNs
arxiv.org·3h
🕸️Graph Theory
When and how can inexact generative models still sample from the data manifold?
arxiv.org·1d
🎲Probabilistic Programming
Silicon Minds versus Human Hearts: The Wisdom of Crowds Beats the Wisdom of AI in Emotion Recognition
arxiv.org·3h
🧫Cellular Automata
Fed MobiLLM: Efficient Federated LLM Fine-Tuning over Heterogeneous Mobile Devices via Server Assisted Side-Tuning
arxiv.org·1d
🔧Compiler Design
Testing the Limits of Machine Translation from One Book
arxiv.org·1d
🔗Parser Combinators
Scaled-Dot-Product Attention as One-Sided Entropic Optimal Transport
arxiv.org·3h
📊Information Theory
Bug Whisperer – AI-Powered Debugging with Redis
github.com·2d·
Discuss: DEV
👐Open Source Software
RefPerSys inference engine project
github.com·2d·
Discuss: DEV
🧭SMT Solvers
The Sneaky JavaScript Bug That Hides in Plain Sight — A 0 That Broke My Code
dev.to·10h·
Discuss: DEV
🧠Memory Management
Semantic and Structural Analysis of Implicit Biases in Large Language Models: An Interpretable Approach
arxiv.org·2d
🔗Parser Combinators
Essential Multithreading Design Patterns for Software Developers
dev.to·2d·
Discuss: DEV
⚡Concurrency