👑 Isabelle/HOL

Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving

Russian Teacher Tricks American Students
mindyourdecisions.com·11h
🌀Differential Geometry
Those Titles the AI Bot Thought I Had Written
bsdly.blogspot.com·40m·
Discuss: bsdly.blogspot.com
🧪Archive Fuzzing
Human-on-the-Loop: The New AI Control Model That Actually Works
thenewstack.io·16h
🔐Capability Systems
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·15h·
Discuss: Hacker News
🦀Rust Borrowing
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·15h
⏰Time Crystals
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·6d·
Discuss: Hacker News
🧮Constraint SMT
Running C++ on Cloudflare WASM
saus.app·1d·
Discuss: Hacker News
🧩WASM Components
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·3h
🕸️Graph Embeddings
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·3h
🎯Content Recommendation
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·4d
✓Automated Theorem Proving
Prompt OpenAI’s O3: Best Practices, Applications & Tips
dev.to·15h·
Discuss: DEV
⚡Proof Automation
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
💧Liquid Types
Machine Learning Fundamentals: machine learning with python
dev.to·14h·
Discuss: DEV
🧠Machine Learning
Simulated Society of 10k AI Agents
theunwindai.com·16h·
Discuss: Hacker News
🎙️Whisper
Axum Is Shaping the Future of Web Development in Rust
dev.to·15h·
Discuss: DEV
🔒Linear Types
Speaking in "LLM Idioms"
blog.promptlayer.com·16h·
Discuss: Hacker News
📝Concrete Syntax
The Developer Workflow I Wish I Had 1,000 Commits Ago
dev.to·57m·
Discuss: DEV
🦀Rust Macros
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·6d
🧮Theorem Proving