Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2h·
Discuss: Hacker News
🎯Interactive Provers
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Aug 24 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·3h
⚡Circuit Design
Hierarchical Modeling (H-Nets)
cartesia.ai·4h·
Discuss: Hacker News
🌀Hyperbolic Geometry
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·3h
🔢Bitwise Algorithms
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Cactus Language • Stylistics 4
inquiryintoinquiry.com·8h
🌳Context free grammars
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·1d
🧲RISC-V Archaeology
Researchers certify genuine quantum behavior in computers with up to 73 qubits
phys.org·1d
⚛️Quantum Circuits
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Functional Abstract Interpretation
simon.peytonjones.org·23h·
Discuss: Hacker News
🔗Functional Compilers
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·8h
🖥️Terminal Renaissance
Piano Keys
mathpages.com·2h·
Discuss: Hacker News
🌈Spectral Audio
Inside The Box: Everything I Did with an Arduino Starter Kit
lopespm.com·15h·
Discuss: Hacker News
🔌Single Board PC
Edsger W. Dijkstra on IPW's
cs.utexas.edu·3h·
Discuss: Hacker News
🇷🇺Soviet Computing
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·9h
🦀Rust Verification
A Rust shaped hole
ente.io·1d
🦀Rust Macros