Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔠Type-Level Programming
Machine Learning Fundamentals: dimensionality reduction
dev.to·5h·
Discuss: DEV
📐Linear Algebra
How to reason from first principles
caseyhandmer.wordpress.com·2h
🎯Proof Tactics
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·23h·
Discuss: Hacker News
🎯Interactive Provers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Parsing Protobuf Like Never Before
mcyoung.xyz·14h
🔧Binary Parsers
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Go interfaces and json.Unmarshal
fbrs.io·1h
🔧Binary Parsers
Kiro and the future of AI spec-driven software development
kiro.dev·7h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Rethinking Distributed Computing for the AI Era
cacm.acm.org·2h
⚡Incremental Computation
A Minimal DDPM
github.com·19h·
Discuss: Hacker News
🧠Machine Learning
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·6h
📊Vector Quantization
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·7m
⚡Proof Automation
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·17h
🌳Context free grammars