Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Functional Analysis of Loss-development Patterns in P&C Insurance
freakonometrics.hypotheses.org·9h
📐Document Calculus
Flag this post
The Only Thing That Matters
commoncog.com·2h
⚔️Lean Tactics
Flag this post
What Nobody Tells You About Building and Retaining GenAI Teams
thenewstack.io·1h
🧠Intelligence Compression
Flag this post
Never forget how to delegate. This is the easiest framework for engineers.
read.highgrowthengineer.com·23h
🏠Homelab Pentesting
Flag this post
Show HN: Find matching acrylic paints for any HEX color
acrylicmatch.com·57m·
Discuss: Hacker News
🌈Color Archaeology
Flag this post
kadena-io/pact-5
github.com·14h
🔓Open Source Software
Flag this post
The Case Against PGVector
alex-jacobs.com·3h·
Discuss: Hacker News
🗂️Vector Databases
Flag this post
Finding pmf for an AI startup – a playbook without doing YC
alexfranchtapia.substack.com·3h·
Discuss: Substack
⚔️Lean Tactics
Flag this post
601: Game Theory
explainxkcd.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
I Started Learning Sumerian, and What It Taught Me About Burnout
mindthenerd.com·1d·
Discuss: Hacker News
Minimalism
Flag this post
#29 Discount, tare, tret & cloff...History and Etymology of Math Terms
pballew.blogspot.com·1d·
🎯Arithmetic Coding Theory
Flag this post
Controlling Source Determination with Source Lists
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Rapid Prototyping Sprints in Cursor
spin.atomicobject.com·3h·
Discuss: Hacker News
📟CLI Design
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·22h·
Discuss: DEV
🗂️Vector Search
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·23h·
Discuss: DEV
🧮Vector Embeddings
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·2d·
Discuss: DEV
🇯🇵Japanese Computing
Flag this post
Modified-Emergency Index (MEI): A Criticality Metric for Autonomous Driving in Lateral Conflict
arxiv.org·11h
Algebraic Effects
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Flag this post
AI writes pretty good code these days and it doesn't really matter
dev.to·18h·
Discuss: DEV
🔄Language Evolution
Flag this post