🔤 Type Theory

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

Superimposed codes, take three
blog.sesse.net·2d
🔢Bitwise Algorithms
Consistent MySQL Structure.sql Diffs for Rails
lovro-bikic.github.io·14h·
Discuss: Hacker News
🗄️Database Internals
The Signal Protocol Explained #2: Implementing the Double Ratchet Algorithm in Rust
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Verification
10 Surprising Things You Can Do with Python’s time module
kdnuggets.com·11h
⚙️WASM Runtime
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·3d·
Discuss: Lobsters, Hacker News
🎯Performance Proofs
Our approach to building the Agent Interaction SDK
linear.app·7h·
Discuss: Hacker News
🔒WASM Capabilities
Releasing open weights for FLUX.1 Krea
krea.ai·1d·
Discuss: Hacker News, r/LocalLLaMA
📊Learned Metrics
How to Name Files
github.com·1d·
Discuss: Hacker News
📄file formats
Predicting Champions League Winner Using Python
dev.to·1d·
Discuss: DEV
🧪Data science
Python Lambda Functions: When to Use Them (and When Not To) [2025 Guide]
dev.to·4d·
Discuss: DEV
λLambda Formalization
AQUA: A Large Language Model for Aquaculture & Fisheries
arxiv.org·3d
💻Local LLMs
Verification Cost Asymmetry in Cognitive Warfare: A Complexity-Theoretic Framework
arxiv.org·2d
🎯Performance Proofs
Machine Learning Fundamentals: k-nearest neighbors with python
dev.to·2d·
Discuss: DEV
🧠Learned Indexes
A Scalable Pipeline for Estimating Verb Frame Frequencies Using Large Language Models
arxiv.org·1d
🔗Monadic Parsing
RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
arxiv.org·1d
🔲Cellular Automata
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·19h
🌈Spectral Methods
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·1d·
Discuss: Hacker News
⚡gRPC
Decoding the Magic: Logistic Regression, Cross-Entropy, and Optimization
dev.to·21h·
Discuss: DEV
🧠Machine Learning
DepMicroDiff: Diffusion-Based Dependency-Aware Multimodal Imputation for Microbiome Data
arxiv.org·19h
🧠Machine Learning
Comparing Cluster-Based Cross-Validation Strategies for Machine Learning Model Evaluation
arxiv.org·1d
🧠Machine Learning