Feeds to Scour
SubscribedAll
The Coming Need for Formal Specification
benjamincongdon.me·1d
📋Formal Verification
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·20h·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Mastering Electronics: A–Z Experiments via Wokwi /Part 1
hackster.io·2d
⚡Homebrew CPUs
Preview
Report Post
Beyond Gaming: Analyzing the MSI Vector 16 HX AI Architecture
dev.to·9h·
Discuss: DEV
🖥️Terminal Renaissance
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
UP Xtreme ARL AI Dev Kit review – Benchmarks and AI workloads on an Intel Core Ultra 5 225H Arrow Lake SBC
cnx-software.com·17h
🔌Operating system internals
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Microscopic robots that sense, think, act, and compute
science.org·3d·
Discuss: Hacker News
🔌Microcontrollers
Preview
Report Post
What I learned building a crash-safe WAL in Go (CRC, mmap, fsync, torn writes)
unisondb.io·20h·
Discuss: r/golang
📝Database WAL
Preview
Report Post
Ask your LLM for receipts: What I learned teaching Claude C++ crash triage
addxorrol.blogspot.com·2d·
Discuss: www.blogger.com
🔩Systems Programming
Preview
Report Post
4x Faster: How AI-Assisted Development Accelerated Building New SQL Dialects for Zero Copy Connectors
engineering.salesforce.com·1d
⚙️Batch Processing
Preview
Report Post
Chip‐8 Technical Reference
github.com·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
Preview
Report Post
New app injects AMD's AI-driven FSR Redstone framegen into unsupported games — pre-alpha OptiScaler build demo shows nice improvements over legacy FSR frame gen
tomshardware.com
·1d
🕹️Retro Gaming
Preview
Report Post
Gist of Go: Concurrency is out!
antonz.org·2d
⚔️Lean Tactics
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
✅Format Verification
Preview
Report Post
Schrödinger’s test: The /dev/mem case
elisa.tech·3d
💾Memory Mapping
Preview
Report Post
Turn me on, turn me off: Zigbee assessment in industrial environments
securelist.com·2d
📻Homebrew Protocols
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post