👑 Isabelle/HOL

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

Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·2d·
Discuss: Hacker News
✅Format Verification
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·5d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Flag this post
AI as Muse: Unlocking Mathematical Secrets Through Collaborative Discovery
dev.to·3h·
Discuss: DEV
📐Mathematical Art
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·10h·
Discuss: DEV
⚙️Operating System Design
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·2d·
Discuss: DEV
🗺️Competency Maps
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post
AI Prompts That Create Human Connection
lightcapai.medium.com·1d·
Discuss: Hacker News
🎙️Whisper
Flag this post
Show HN: Please – local CLI that translates English –> tar
github.com·13h·
Discuss: Hacker News, r/rust
📝Shell Parsing
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
AI AGENT INTEGRATION WITH MASTRA AND TELEX.IM
dev.to·23h·
Discuss: DEV
⚙️TLA+
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·16h·
Discuss: Substack
🌊Stream Processing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔒Linear Types
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·3d
💻Programming languages
Flag this post