Feeds to Scour
SubscribedAll
Scoured 5463 posts in 20.5 ms
SynthChain: A Synthetic Benchmark and Forensic Analysis of Advanced and Stealthy Software Supply Chain Attacks
arxiv.org·1d
🌐NetworkProtocols
Git-style verification for LLM outputs
aelitium.com·2d·
Discuss: Hacker News
🛡️seL4
MiroThinker-1.7 & H1: Towards Heavy-Duty Research Agents via Verification
arxiv.org·1d
🛡️seL4
Less-relevant results
Agile-V/agile_v_skills: Official Agent Skills for the Agile V™ framework. Verifiable AI-augmented engineering with traceability, Red Team verification, and human gates. Build products with AI agents that follow the Agile V Infinity Loop.
github.com·5d·
Discuss: Hacker News
🧮Lean4
KPCOFGS/DepGra: Dependency vulnerability tracker that visualizes your software supply chain as an interactive graph.
github.com·3d·
Discuss: Hacker News
👁️System Observability
Proprietary EDA Software Is Dead, Long Live Proprietary EDA Software!
mattboisvert.net·3d·
Discuss: Hacker News
🔧Unikernel Development
The Behavior Space Model: Specification and Verification When AI Removes the Implementation Bottleneck
zenodo.org·6d·
Discuss: Hacker News
🔄Finite State Machines
Java 26 lands without an LTS badge. Here’s why developers should care anyway.
thenewstack.io·15h
🔧Unikernel Development
Study: Consumers Show No Impairment in Their Next-Day Driving Performance Despite Residual THC Blood Levels
norml.org·3h
🔧Microcontrollers
Formal Verification: The Ultimate Fitness Function
lesswrong.com·9h
🔍Formal Verification
The Talk Show: ‘The Pogue Feature’
daringfireball.net·10h
📺Vintage Apple
Simple MIDI Sample Player Runs on ESP32
hackaday.com·29m
🔌IOKit
Turning Chinese Character Structure into a Strategy Game
store.steampowered.com
·2h·
Discuss: Lobsters, Hacker News
📐Linear Algebra
PSA: Spotify investigating outage that’s kicking users off their plans
9to5mac.com·15h
🍎Apple
What is Infrastructure from Code?
encore.dev·2d·
Discuss: r/programming
🧱Immutable Infrastructure
French bulldog frenzy may be cooling in US, but dachshunds are riding high
apnews.com·18h·
Discuss: Hacker News
⬜Minimalism
Which Web Framework Is Actually the Fastest? We Benchmarked 9 of Them.
ntnt-lang.org·6d·
Discuss: Hacker News
🔤DSLs
Jony Ive on Redesigning the Christie’s Rostrum
youtube.com·11h
📺Vintage Apple
Fluorescent ruby-like gems have been found on Mars for the first time
newscientist.com·13h
🧗Climbing Tech
Mapping the Privacy Workforce in the AI Era
usenix.org·12h
🛡️Privacy Engineering

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