👑 Isabelle/HOL

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

Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·2d
🔓Decompilation
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·1d·
Discuss: Hacker News
🔗Data Provenance
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
🌊Stream Processing
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·13h·
Discuss: Hacker News
🧪Data science
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Building Resilient Go Services: Context, Graceful Shutdown, and Retry/Timeout Patterns
dev.to·2h·
Discuss: DEV
🌊Streaming Systems
Flag this post
Oops, My UUIDs Collided
alexsci.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·5h·
Discuss: DEV
🏠HomeLab
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
build system tradeoffs
jyn.dev·20h·
Discuss: Lobsters, Hacker News
⚙️Build Archaeology
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.to·9h·
Discuss: DEV
🌀Brotli Internals
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
dev.to·17h·
Discuss: DEV
📐Mathematical Art
Flag this post
Generative Universal Verifier as Multimodal Meta-Reasoner
dev.to·4h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
GIL and Race Condition in Python
dev.to·14h·
Discuss: DEV
🏢Mainframes
Flag this post
Show HN: Self-Hostable ZK Markdown Sharing Service
github.com·2h·
Discuss: Hacker News
🔐Archive Encryption
Flag this post
Open Deep Research Internals: A Step-by-Step Architecture Guide
dev.to·10h·
Discuss: DEV
🔄Archival Workflows
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
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
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·10h·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post