Feeds to Scour
SubscribedAll
Scoured 312 posts in 7.2 ms
Laboratories  🔑Cryptography
nasa.gov·2d
Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin  ✅Formal Verification
arxiv.org·14h
After months of prompt iteration, I admitted some rules can't be prompt-engineered into stability.  ✅Formal Verification
github.com·5d·r/PromptEngineering, r/SideProject
This startup has raised $12 million to make liquid-metal circuit boards rewritable  🖥️Computing History
techspot.com·1d
Subsurface polycrystalline microstructure reconstruction via immersion ultrasound full waveform inversion  📡Information Theory
nature.com·1h
Lofree Edge Mechanical Keyboard  📟Retro Tech
blessthisstuff.com·1d
Not Long Till Winter  🔓Lock Sport
impossiblesongs.blogspot.com·1d·impossiblesongs.blogspot.com
Apple shares iPhone and Mac post-quantum cryptography code on GitHub  🔑Cryptography
9to5mac.com·6d
Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code  ✅Formal Verification
csail.mit.edu·2d
Apple Security Research: A blueprint for formal verification of Apple corecrypto  ✅Formal Verification
discuss.privacyguides.net
·6d
Intrinsic ductility enhancement in Mg alloys elucidated via large-scale ab-initio calculations  🧩Constraint Solving
sciencedirect.com·1d
1986 Mercedes-Benz 560SEC at No Reserve  🕹️Old Hardware
bringatrailer.com·2d
AI with Model-Based Design: Virtual Sensor Modeling  🎯Constraint Programming
content.knowledgehub.wiley.com·4d
Suppression of vacancy clustering in nonequiatomic NiFeMnCrAl high-entropy alloys  📡Information Theory
link.aps.org·2d
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report  ✅Formal Verification
arxiv.org·14h
New magnesium alloy design improves stability and ion transport in solid-state batteries  🔒Physical Security
techxplore.com·3d
DDTRB: Durability, Damage Tolerance & Reliability Branch  🔐Cybersecurity
nasa.gov·2d
BMW model updates, summer 2026.  📡Information Theory
press.bmwgroup.com·1d
heikowagner/nela-lang: NELA: Net-based Executable Logic Automaton — a programming language designed for LLMs, built on Interaction Net theory  ✅Formal Verification
github.com·3d·Hacker News
11k-Mile 1991 Chevrolet Corvette ZR-1 at No Reserve  📟Retro Tech
bringatrailer.com·2d

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
Save / unsave
s

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