👑 Isabelle/HOL

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

Platform generated AI slop at scale
markjgsmith.com·4h
🤖AI Curation
Flag this post
DSQL: Keeping Your Pager Quiet
brooker.co.za·1d
🗄️Database Internals
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·3d
🔓Decompilation
Flag this post
Quindar Tone Generator
curiousmarc.com·4h·
Discuss: Hacker News
⚡Circuit Archaeology
Flag this post
Becoming a Core Developer
stefaniemolin.com·9h
🦀Rust Macros
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
🌊Stream Processing
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
dev.to·23h·
Discuss: DEV
📐Mathematical Art
Flag this post
Show HN: Self-Hostable ZK Markdown Sharing Service
github.com·7h·
Discuss: Hacker News
🔐Archive Encryption
Flag this post
Generative Universal Verifier as Multimodal Meta-Reasoner
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
GIL and Race Condition in Python
dev.to·20h·
Discuss: DEV
🏢Mainframes
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
⚙️Build Archaeology
Flag this post
Intervaltree with Rust Back End
github.com·18h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·15h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Show HN: Please – local CLI that translates English –> tar
github.com·1d·
Discuss: Hacker News, r/rust
📝Shell Parsing
Flag this post
Linkage
11011110.github.io·2d
📐Mathematical Art
Flag this post
Open Deep Research Internals: A Step-by-Step Architecture Guide
dev.to·16h·
Discuss: DEV
🔄Archival Workflows
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.to·11h·
Discuss: DEV
💻Local LLMs
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·1d·
Discuss: DEV
⚙️Operating System Design
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·2d·
Discuss: Hacker News
🔒Linear Types
Flag this post