👑 Isabelle/HOL

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

Friday 21 November - 11am
informatics.ed.ac.uk·2d
💻Programming languages
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·13h·
Discuss: r/golang
🔒Linear Types
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·2d
🧮Theoretical Computer Science
Flag this post
Nonmonotonic Logic
cambridge.org·4d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·16h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
aivojournal.org·4h·
Discuss: Hacker News
🔗Data Provenance
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
🧬Functional Programming
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Reinventing Assertions
beust.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·1d
📝ABNF Extensions
Flag this post
Composer Patches 2.0.0
cweagans.net·20h·
Discuss: Hacker News
📦Package Managers
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Oops, My UUIDs Collided
alexsci.com·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
✅Format Verification
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·20h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·17h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Flag this post