Tech
Palomar – a registry of Lean verified mathematics
Comments
Read the full discussion on Lobsters
This article was aggregated from Lobsters. Click to join the conversation.
View on Lobsters
Related Trends in Tech
What Fact-Checking My Own Claude Code Guide Taught Me About Verifiable AI
SealedBench: A Protocol for Freezing AI Benchmarks Before the Questions Are Known
A Practitioner's Field Guide to Marketing Engineering
Debugging Missing Results in a Multistage Search Pipeline
348 Blog Posts To Learn About Psychology
He Ran on Fighting Data Centers. Now, He’s Going to Congress