Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·8h·
Discuss: Hacker News
🤝Distributed Consensus
A Neural Net For a Graphing Calculator?
hackaday.com·13h
🤖Advanced OCR
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·11h·
Discuss: r/homelab
🖥️Terminal Renaissance
Issue 481
haskellweekly.news·9h
🔗Functional Compilers
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·1d
📡Bluetooth Archaeology
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·6h
🔐Quantum Security
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
A Wide Reduction Trick (2022)
words.filippo.io·19h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
CVE-2024-12029 – InvokeAI Deserialization of Untrusted Data vulnerability
offsec.com·5h
🌐WASI
Python Fundamentals: case
dev.to·9h·
Discuss: DEV
✅Format Verification
Toward quantum enhanced coherent Ising machines
phys.org·9h
⚛️Quantum Tape
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·9h
🖥️Terminal Renaissance
Philips Hue White Ambiance is actually terrible…
wejn.org·8h
🔓Reverse engineering
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
Logical implication is a comparison operator
btdmaster.bearblog.dev·2h·
Discuss: Hacker News
🔲Proof Irrelevance
How to Run an Arduino for Years on a Battery
makecademy.com·15h·
Discuss: Hacker News
🔌Single Board PC
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics