🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Gist of Go: Semaphores
antonz.org·6h
🧠Program Logic
What Is InferenceOps
bentoml.com·7h·
Discuss: Hacker News
🎯Performance Proofs
First Hack Contest for LLMs:)
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
General Mathematical Proof of Occam's Razor; Upgrading Theoretical Physicists' Methodology
arxiv.org·18h
🧮Kolmogorov Complexity
The Last Rank We Need? QDyLoRA's Vision for the Future of LLM Tuning
hackernoon.com·6h
💻Local LLMs
Mental Models and Potemkin Understanding in LLMs
alangrow.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Evaluating World Models with LLM for Decision Making
arxiv.org·2d·
Discuss: Hacker News
🧠Intelligence Compression
AI's Euclid's Elements Moment: From Language Models to Computable Thought
arxiv.org·18h
🔲Cellular Automata
I just want to express my appreciation for golang
reddit.com·1d·
Discuss: r/golang
💧Liquid Types
Bjorndahl’s Introduction to Classical and Modal Logics
logicmatters.net·2d
🏗️Constructive Mathematics
Algorithms for Modern Hardware
en.algorithmica.org·2d·
Discuss: Hacker News
🎯Performance Proofs
🎓 LLM Zoomcamp Module 2 - Chapter 1: Vector Search Foundations & Theory
dev.to·21h·
Discuss: DEV
🧮Vector Embeddings
Claude 4, Gemini 2.5 Pro, and GPT-4.1: Understanding Their Unique Quirks
eval.16x.engineer·6h·
Discuss: Hacker News
⚡Proof Automation
🛡️ How to Build a Scalable QA Framework with Advanced TypeScript Patterns
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
A guide to fine-grained permissions in MCP servers
cerbos.dev·10h·
Discuss: r/programming
🔗Constraint Handling
Introduction to Parser Combinators
blog.jcoglan.com·2d·
Discuss: Hacker News
🔗Monadic Parsing
Krein-Smulian theorem
ncatlab.org·9h
🔀Category Theory
Yoneda-Epistemology
networkspirits.com·43m·
Discuss: Hacker News
🔀Category Theory
Context Engineering Realized: Context Window Architecture
mrhillsman.com·2h·
Discuss: Hacker News
⚙️TLA+
TicTacToe. Go Duel. AI vs Fate.
dev.to·11h·
Discuss: DEV
🔲Cellular Automata