Feeds to Scour
SubscribedAll
Scoured 15546 posts in 194.0 ms
Counterexample Classification against Signal Temporal Logic Specifications
arxiv.org·1d
⏰Temporal Logic
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
Report for NSF Workshop on AI for Electronic Design Automation
arxiv.org·3h
⚡Circuit Design
Preview
Report Post
Feb 08 2026 : Intro to Soldering Workshop: Make an LED Tile
nycresistor.com·1d
⚙️DIY Electronics
Preview
Report Post
One ISA, Infinite Use Cases: RISC-V and the Road to Workload-Specific Silicon
riscv.org·12h
🧲RISC-V Preservation
Preview
Report Post
Can We Build an NX Bit for LLMs
bogdandeac.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Preview
Report Post
**Abstract:** This paper introduces a novel approach to automated proof verification within quantifiable type theory, significantly exceeding existing capaci...
freederia.com·4d
👑Coq Tactics
Preview
Report Post
OnLogic CL260: Palm-Sized Industrial PC Built for Scalable Edge Deployments
storagereview.com·18h
🏠HomeLab
Preview
Report Post
Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture
jimiwen.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
On the way to step functions: the two worlds
blog.julik.nl·2d
🐚Shell Calculus
Preview
Report Post
Four LLM Stress Tests
dev.to·11h·
Discuss: DEV
🧪Property-Based Testing
Preview
Report Post
Polimi chip speeds up computing and drastically reduces energy consumption
polimi.it·44m·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
CodeSOD: Well Timed Double Checking
thedailywtf.com·2d
🧪Binary Fuzzing
Preview
Report Post
Amazon shopping automation without vision: verification gate+local model (3B)
news.ycombinator.com·17h·
Discuss: Hacker News
📏Linear Logic
Preview
Report Post
Every Mini PC & SFF Hardware Announced at CES 2026
williamlam.com·16h
🖥️Terminal Renaissance
Preview
Report Post
bloomberg/crane: A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
github.com·1d·
Discuss: Lobsters
🦀Rust Macros
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
🛡️Archive Verification
Preview
Report Post
Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites
dev.to·18h·
Discuss: DEV
🦀Embedded Rust
Preview
Report Post
Leaving 1X
evjang.com·1d
🐚Shell Calculus
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·3d
🎯Automata theory
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help