Feeds to Scour
SubscribedAll
Multi-clocked Guarded Recursion Beyond {\omega}
arxiv.org·7h
λLambda Encodings
Preview
Report Post
Calixto Systems SL1680 OPTIMA industrial SoM and EVK features Synaptics SL1680 Edge AI processor
cnx-software.com·5h
🦾ARM Cortex-M
Preview
Report Post
The Coming Need for Formal Specification
benjamincongdon.me·2d
📋Formal Verification
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
Euler TX3 available for €148
blogger.com·12h
⚡Homebrew CPUs
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·1d·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Same problem with 1130 MRAM in spite of new board
rescue1130.blogspot.com·21h·
Discuss: rescue1130.blogspot.com
⚡Circuit Archaeology
Preview
Report Post
Incremental Validation of Automated Driving Functions using Generic Volumes in Micro- Operational Design Domains
arxiv.org·7h
🔧Hardware Verification
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·3d
✅Format Verification
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·3d
⚔️Lean Tactics
Preview
Report Post
Microscopic robots that sense, think, act, and compute
science.org·3d·
Discuss: Hacker News
🔌Microcontrollers
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·4h·
Discuss: Hacker News
🔬Lean
Preview
Report Post
Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
arxiv.org·6d
⚡Circuit Design
Preview
Report Post
Mastering Electronics: A–Z Experiments via Wokwi /Part 1
hackster.io·3d
⚡Homebrew CPUs
Preview
Report Post
Unswitching loops for fun and profit
xania.org·3d
🚀Compiler Optimizations
Preview
Report Post
Photonic latch memory could enable optical processor caches that run up to 60 GHz, twenty times faster than standard caches — optical SRAM stores and outputs da...
tomshardware.com
·2d
🌈Holographic Storage
Preview
Report Post
IsEven(int32_t) in O(1)
ceayo.neocities.org·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Preview
Report Post
💡 The Engineer's Toolkit: How to Shrink and Accelerate Transformer Models for Edge AI
dev.to·1d·
Discuss: DEV
📊Quantization
Preview
Report Post
From Zero to QED: An informal introduction to formality with Lean 4
sdiehl.github.io·1d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Speed & Scale: What CISOs Really Need from AI in the SOC
vmray.com·3d
🔐Capability Systems
Preview
Report Post