Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📏 Linear Types
Resource Management, Type Theory, Memory Safety, Rust Ownership
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2675
posts in
73.2
ms
lukeb-aidev/cohesix
: Cohesix is an open-source high-assurance control-plane operating system built on the formally verified seL4 microkernel, designed to keep the trusted computing base intentionally small while enabling deterministic orchestration of edge GPU systems and auditable MLOps.
github.com
·
5d
·
Discuss:
Hacker News
🌐
Distributed systems
On
Medieval
Widowhood
medievalmarginalia.substack.com
·
8h
·
Discuss:
Substack
🔀
CQRS
Googlers
Demand: Worker Safety and ICE Contract
Transparency
googlers-against-ice.com
·
8h
·
Discuss:
Hacker News
👔
Engineering Management
Leaked specs for Sony’s next flagship wireless
earbuds
reveal
ANC
upgrades
theverge.com
·
8h
·
Discuss:
Hacker News
🕸️
Service Mesh
A
Brief
History of App
Icons
From Apple’s Creator Studio
blog.jim-nielsen.com
·
8h
·
Discuss:
Hacker News
📐
Architecture Diagrams
Living Forever is an
Asset
Allocation
Problem
thediff.co
·
8h
·
Discuss:
Hacker News
💰
Financial Modeling
Notifications
are
delayed
githubstatus.com
·
8h
·
Discuss:
Hacker News
📮
Message Queues
Raindrops
on a
Puddle
4rknova.com
·
8h
·
Discuss:
Hacker News
⚡
SIMD
Rejourney
Achieves
12 ms Main Thread time with 3x Frame Rate
rejourney.co
·
8h
·
Discuss:
Hacker News
🛡️
Odin
Building an AI voice agent from
scratch
ntik.me
·
8h
·
Discuss:
Hacker News
🌊
Stream Processing
Show HN: I killed my
Calendly
link after people
booking
randomly
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
📮
Message Queues
The
journey
was the point
mahdiyusuf.com
·
4h
·
Discuss:
Hacker News
🏢
Engineering Culture
Vibe
Coding:
Lessons
Learned
michelenasti.com
·
8h
·
Discuss:
Hacker News
💻
Programming languages
Discord
Is Not an
Acceptable
Choice for Free Software Projects (2020)
sneak.berlin
·
5h
·
Discuss:
Hacker News
🔐
Security Patterns
World Models and the Data Problem in
Robotics
joeljang.github.io
·
7h
·
Discuss:
Hacker News
📈
Time Series ML
Reliability of LLMs as medical assistants for the general public: a
randomized
preregistered
study
nature.com
·
8h
·
Discuss:
Hacker News
🔀
CQRS
The
Blurred
Line Between Video
Calling
and Live Streaming Software
red5.net
·
5h
·
Discuss:
Hacker News
🌊
Stream Processing
Tutorial – What is a
variational
autoencoder
?
jaan.io
·
7h
·
Discuss:
Hacker News
🎲
Bayesian Methods
A 24%
Success
Rate for AI Agents
bankinfosecurity.com
·
1h
·
Discuss:
Hacker News
🔀
CQRS
Running my
kernel
on real
hardware
kamkow1lair.pl
·
6h
·
Discuss:
Hacker News
⚡
SIMD
Loading...
Loading more...
« Page 17
•
Page 19 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help