Feeds to Scour
SubscribedAll
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·14h
⚙️Logic Synthesis
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·1d
🦀Rust Macros
Preview
Report Post
The stack circuitry of the Intel 8087 floating point chip, reverse-engineered
righto.com·1h·
Discuss: www.blogger.com
⚙️RISC-V Microcode
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·2h
🧮Theorem Proving
Preview
Report Post
Stack Overflow: Challenge #14 Signal from Noise
stackoverflow.com·10h·
Discuss: Hacker News
💾Binary codes
Preview
Report Post
Laser draws made-to-order magnetic landscapes
phys.org·2h
🧲Magnetic Recording
Preview
Report Post
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·1d
💎Information Crystallography
Preview
Report Post
How a Data Engineer-Turned-Music-Producer Is Revolutionizing Spatial Intelligence
hackernoon.com·3h
📼Cassette Hacking
Preview
Report Post
Stop Grinding LeetCode: How to Build Algorithm Intuition (Not Memorization) with AI
dev.to·3h·
Discuss: DEV
⚔️Lean Tactics
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·6d
🌳Persistent Data Structures
Preview
Report Post
Neopixel Giant Edition
hackster.io·14h
⚙️DIY Electronics
Preview
Report Post
Frameworks for Understanding Databases
bitsxpages.com·1h·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
P-computers can solve spin-glass problems faster than quantum systems
news.ucsb.edu·2d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
AI should only run as fast as we can catch up
higashi.blog·1d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
RNA language models can generalize well on structure prediction tasks
nature.com·18h·
Discuss: Hacker News
🤖Grammar Induction
Preview
Report Post
CT Teardown: AirPods Pro (3rd Generation)
lumafield.com·46m·
Discuss: Hacker News
🔬Hardware Forensics
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Breadboards that are set up on my desk right now
circusscientist.com·2d
⚙️Tape Mechanics
Preview
Report Post
Schemas, Channels & Messages in MCAP
mmhaskell.com·1d
🔗Monadic Parsing
Preview
Report Post
CodeSOD: The Magic Array
thedailywtf.com·1d
🔗Concatenative Programming
Preview
Report Post