👑 Isabelle/HOL

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

Testing races with a synchronizing Decorator
blog.ploeh.dk·22h
🔄Sync Engine
Carnival of Maths #241
aperiodical.com·18h
📐Mathematical Art
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·13h·
Discuss: Hacker News
🦀Rust Borrowing
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Programming
Does the Code Work or Not?
towardsdatascience.com·13h
📏Code Metrics
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·6d·
Discuss: Hacker News
🧮Constraint SMT
My Interview with Claude Code
mattlangston.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Test-time Prompt Intervention
arxiv.org·1h
🤖Grammar Induction
AI-Educational Development Loop (AI-EDL): A Conceptual Framework to Bridge AI Capabilities with Classical Educational Theories
arxiv.org·1h
🗺️Competency Maps
Attractive Metadata Attack: Inducing LLM Agents to Invoke Malicious Tools
arxiv.org·1h
⚡Proof Automation
In Support Of Shitty Types
lucumr.pocoo.org·11h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
A Message Passing Realization of Expected Free Energy Minimization
arxiv.org·1h
🔲Cellular Automata
Nakamoto Consensus from Multiple Resources
arxiv.org·1h
🤝Distributed Consensus
Building an AI Tokenization Demo: From Workshop to App
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·5d
🎯Performance Proofs
Proactive Disentangled Modeling of Trigger-Object Pairings for Backdoor Defense
arxiv.org·1h
🕵️Vector Smuggling
LinkQA: Synthesizing Diverse QA from Multiple Seeds Strongly Linked by Knowledge Points
arxiv.org·1h
💻Local LLMs
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·1h
🕸️Graph Embeddings
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·1h
🎯Content Recommendation
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals