Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·15h
🔧RISC-V Assembler
The Future of IoT AI in 2025 and Beyond
dev.to·58m·
Discuss: DEV
🌊Stream Processing
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
Security-Focused Homelab
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
Aug 24 2025 : Synthesizer Night @ NYC Resistor
nycresistor.com·1d
⚡Circuit Design
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
Redox-powered autonomous directional C–C bond rotation under enzyme control
nature.com·12h
🔲Cellular Automata
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Harvard Scientists Unveil Tiny Ring Laser With Giant Potential
scitechdaily.com·38m
🔬Optical Physics
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·17h·
Discuss: r/MachineLearning
📊Learned Metrics
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳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·2d
🧲RISC-V Archaeology