Feeds to Scour
SubscribedAll
Scoured 5464 posts in 76.8 ms
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
arxiv.org·3d
⚡Process Calculi
divs1210/libgoc: A Go-style CSP concurrency runtime for C: threadpools, stackful coroutines, channels, select, async I/O, and garbage collection in one coherent API.
github.com·2d·
Discuss: Hacker News, r/golang
⚡Process Calculi
Constructing Weakly Terminating Interface Protocols
arxiv.org·1d
🌐NetworkProtocols
Less-relevant results
Formal Verification: The Ultimate Fitness Function
lesswrong.com·9h
🔍Formal Verification
Study: Consumers Show No Impairment in Their Next-Day Driving Performance Despite Residual THC Blood Levels
norml.org·4h
🔧Microcontrollers
Powell: Job creation is near zero
finance.yahoo.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Liquid Glass and long-standing bugs push Apple’s grades down in visual accessibility report card
9to5mac.com·11h
🍎Apple
The Talk Show: ‘The Pogue Feature’
daringfireball.net·10h
📺Vintage Apple
Does anyone know which company has the best tool battery technology?
news.ycombinator.com·1h·
Discuss: Hacker News
🩹Self-Healing Systems
The Los Angeles Aqueduct Is Wild
youtube.com·7h·
Discuss: Hacker News
🧮Lambda Calculus
Turning Chinese Character Structure into a Strategy Game
store.steampowered.com
·2h·
Discuss: Lobsters, Hacker News
📐Linear Algebra
Simple MIDI Sample Player Runs on ESP32
hackaday.com·50m
🔌IOKit
Stretching 2,689 miles, the world's longest coastal path opens in England
bbc.com·6h·
Discuss: Hacker News
🏔️climbing
Mapping the Privacy Workforce in the AI Era
usenix.org·13h
🛡️Privacy Engineering
North Korea's 100,000-strong fake IT worker army rake in $500M a year for Kim Jong Un
theregister.com·9h
📦Unikernel Systems
BornHead/deadenv: Find unused and missing environment variables across Node.js, Python, C#, and Flutter projects.
github.com·1h·
Discuss: r/javascript, r/programming
❄️Nixified Development
Jony Ive on Redesigning the Christie’s Rostrum
youtube.com·11h
📺Vintage Apple
DIY Reflow Plate Runs On USB Power Delivery
hackaday.com·6h
🖥️KVM
PSA: Spotify investigating outage that’s kicking users off their plans
9to5mac.com·15h
🍎Apple
Austin’s Surge of New Housing Construction Drove Down Rents
pew.org·15h·
Discuss: Hacker News
📚Automata Learning

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