👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Feeds to Scour
SubscribedAll
Scoured 19479 posts in 350.3 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
🦀Rust Verification
Logic for Programmers New Release and Next Steps
buttondown.com·2d
⚙️Proof Engineering
First Proof | Research-Level Math for AI Evaluation
1stproof.org·23h·
Discuss: Hacker News
🎯Performance Proofs
Let Lambda Come Over
yamlscript.org·5h
⬆️Lambda Lifting
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·19h
🤝Consensus Protocols
Build a Compiler in Five Projects
kmicinski.com·55m
🔨Compilers
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Railway Oriented Programming
fsharpforfunandprofit.com·19h·
Discuss: Hacker News
🐚Shell Monads
Logic Puzzles: Why the Liar Is the Helpful One
blog.szczepan.org·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
First Proof
arxiv.org·1d·
Discuss: Hacker News
🎯Proof Tactics
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🦀Rust Verification
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·18m
🔗Concatenative Programming
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·2d
⚡Proof Automation
AL, Logical
mathhombre.blogspot.com·2d·
Discuss: mathhombre.blogspot.com
🏛️Isabelle HOL
Michael Tsai - Blog - LLMs and Software Development Roundup
mjtsai.com·13h
📏Code Metrics
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
The control layer for AI
blog.dottxt.ai·11h·
Discuss: Hacker News
🔒WASM Capabilities
The Engineering Discipline That Made AI Actually Useful
multigres.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help