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
kyperbelt's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81490
posts in
307.4
ms
Loading...
Subscribe
Launch first,
improve
later
herbertlui.net
·
1d
⚡
Developer Productivity
Faster
than
Dijkstra
?
systemsapproach.org
·
10h
🔗
Distributed systems
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🎭
Actor Model
Built a Super Simple
Scrum
board for project management
supersimplescrum.com
·
3d
·
Discuss:
r/SideProject
⚡
Developer Productivity
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🎭
Actor Model
🎲
Planning
is a
superpower
philwilson.org
·
1d
⚡
Developer Productivity
🔗
Processing
11 million
rows
in minutes instead of hours
yellowduck.be
·
1d
⚡
Developer Productivity
Unchained
Labs Explodes into AI-Driven Automation, Launches
Stuntman
prnewswire.com
·
4h
🤖
AI
Setting
Up an
IRC
Server
neatnik.net
·
18h
·
Discuss:
Hacker News
🔗
Distributed systems
Physics-Informed Neural Networks for
Inverse
PDE
Problems
pub.towardsai.net
·
2d
🤖
AI
Building Your First AI Agent in C# with Microsoft Agent Framework
dev.to
·
1d
·
Discuss:
DEV
🤖
AI
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
1d
·
Discuss:
DEV
⚡
Developer Productivity
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
A
timeline
of claims about AI/LLMs
blog.nethuml.xyz
·
1d
·
Discuss:
Hacker News
🤖
AI
Directing
Space:
Rehearsing
Architecture as Performer with Explainable AI
arxiv.org
·
12h
🎭
Actor Model
The
Condensate
Theorem
: Transformers are O(n), Not $O(n^2)$
arxiv.org
·
12h
⚙
algorithms
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
17h
·
Discuss:
Hacker News
🔗
Distributed systems
Building a Windows
Productivity
Tool Using GitHub
Copilot
CLI
github.com
·
8h
·
Discuss:
DEV
⚡
Developer Productivity
Visual
data
modelling
in the browser (open source)
github.com
·
1d
·
Discuss:
Hacker News
🖼
Graphics programming
Storage news
ticker
blocksandfiles.com
·
1h
🔗
Distributed systems
Performance
Tip
of the Week #90: How to
estimate
abseil.io
·
1d
🔧
Compiler Design
Loading...
Loading more...
« Page 25
•
Page 27 »
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