🔤 Type Theory

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

Breaking the code in network theory: Bimodularity reveals direction of influence in complex systems
phys.org·8h
🌊Spectral Clustering
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·9h·
Discuss: Hacker News
🔐Quantum Security
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.org·22h
🧮Kolmogorov Complexity
JavaScript lib for exchanging selective disclosure proofs
github.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·22h
📊Feed Optimization
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Parlant - Renovation AI Open-Source framework
dev.to·18h·
Discuss: DEV
✨Effect Handlers
One of the best books on Istio
reddit.com·2h·
Discuss: r/kubernetes
📰RSS Archaeology
Prompting with Sign Parameters for Low-resource Sign Language Instruction Generation
arxiv.org·1d
🎙️Whisper
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·22h
✨Algebraic Effects
An experimental approach: The graph of graphs
arxiv.org·22h
🌈Spectral Methods
Better Language Model-Based Judging Reward Modeling through Scaling Comprehension Boundaries
arxiv.org·22h
🔗Monadic Parsing
Build a baby Claude Code using Python
siddharthbharath.com·1d·
Discuss: Hacker News
⚡Proof Automation
Evaluating Movement Initiation Timing in Ultimate Frisbee via Temporal Counterfactuals
arxiv.org·22h
🔲Cellular Automata
Hierarchical Contextual Grounding LVLM: Enhancing Fine-Grained Visual-Language Understanding with Robust Grounding
arxiv.org·22h
🤖Advanced OCR
TypeScript 5.0: Explore New Features & Updates
dev.to·14h·
Discuss: DEV
🎯Gradual Typing
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation