🔤 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·4h
🌊Spectral Clustering
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·5h·
Discuss: Hacker News
🔐Quantum Security
Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·17h·
Discuss: r/programming
🔄Burrows-Wheeler
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
A Bitcoin Core Code Analysis
binaryigor.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·1d·
Discuss: Hacker News
🤖AI Curation
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·14h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·8h·
Discuss: Hacker News
⚡Proof Automation
ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
arxiv.org·18h
🌳Archive Merkle Trees
On the Edge of Memorization in Diffusion Models
arxiv.org·18h
📊Learned Metrics
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
💾Binary Linguistics
A Dynamic Approach to Collaborative Document Writing
arxiv.org·18h
🔗Parser Combinators
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·18h
🔍Vector Forensics
First Place Solution to the MLCAS 2025 GWFSS Challenge: The Devil is in the Detail and Minority
arxiv.org·18h
🧮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·18h
📊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·14h·
Discuss: DEV
✨Effect Handlers