Feeds to Scour
SubscribedAll
Scoured 19523 posts in 207.8 ms
MobileManiBench: Simplifying Model Verification for Mobile Manipulation
arxiv.org·1d
✨Effect Handlers
Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification
arxiv.org·2d
🔧Hardware Verification
Evolution of the x86 context switch in Linux (2018)
maizure.org·3d·
Discuss: Hacker News
🔩Systems Programming
High Speed
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Spec-Logic: AI-powered PC building assistant
dev.to·1d·
Discuss: DEV
⚡Homebrew CPUs
Building a 24-bit Arcade CRT Display Adapter, From Scratch
scd31.com·3d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
Stratum: Architecting a Configurable Cache Simulator with C++ and Racket
thecloudlet.github.io·5d·
Discuss: Hacker News
⚡CPU Microarchitecture
Securing Hardware For The Quantum Era
semiengineering.com·1d
🔐Quantum Security
A Quick Introduction to OxCaml
noelwelsh.com·2d·
Discuss: Hacker News
💧Liquid Types
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·4d·
Discuss: Hacker News
✅Formal Methods
Verifying coding AIs for LLM powered software
aunhumano.com·3d·
Discuss: Hacker News
⚡Proof Automation
The Verification Conundrum
semiengineering.com·4d
🔧Hardware Verification
Robust Majorana Qubit Encoding in Disordered Two‑Dimensional Topological Superconductors Using Adaptive Surface Codes — ### Abstract This study present...
freederia.com·1d
⚛️Quantum Error Correction
Intel ISPC 1.30 Released With AMX Support Added To The Standard Library
phoronix.com·1d
🖥️Modern CPU
Formally Verifying PBS Kids with Lean4
shadaj.me·4d·
Discuss: Hacker News
⚔️Lean Tactics
Anthropic's Performance Take-Home: A 65x Optimization (For Dummies)
ikot.blog·3d·
Discuss: Hacker News
🖥️Hardware Architecture
RFC 3284: The VCDIFF Generic Differencing and Compression Data Format
datatracker.ietf.org·3d·
Discuss: Hacker News
△Delta Compression
WildKernels/GKI_KernelSU_SUSFS: GKI Kernels with KernelSU & SUSFS
github.com·5d
🔍eBPF
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·5d
🏷️Memory Tagging
From Simple Circuits to Powerful Systems
spin.atomicobject.com·4d
⚡Circuit Design

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