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
81865
posts in
798.8
ms
Loading...
Subscribe
Choice
as an
emergent
feature
oop.bearblog.dev
·
10h
🎭
Actor Model
Setting
Up an
IRC
Server
neatnik.net
·
5h
·
Discuss:
Hacker News
🔗
Distributed systems
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
2d
🎭
Actor Model
🎲
Planning
is a
superpower
philwilson.org
·
20h
⚡
Developer Productivity
NotebookLM
: The AI that only
learns
from you
byandrev.dev
·
1d
·
Discuss:
Hacker News
🤖
AI
Physics-Informed Neural Networks for
Inverse
PDE
Problems
pub.towardsai.net
·
1d
🤖
AI
Built a Super Simple
Scrum
board for project management
supersimplescrum.com
·
2d
·
Discuss:
r/SideProject
⚡
Developer Productivity
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🎭
Actor Model
🔗
Processing
11 million
rows
in minutes instead of hours
yellowduck.be
·
19h
⚡
Developer Productivity
AI in Web Development: Beyond Just
Writing
Code
dev.to
·
15h
·
Discuss:
DEV
🤖
AI
oddlama/nix-topology
: 🍁 Generate infrastructure and network diagrams directly from your NixOS
configurations
github.com
·
2h
🔗
Distributed systems
abdimoallim/alloc
: A header-only C allocator library
github.com
·
10h
·
Discuss:
Hacker News
,
r/C_Programming
🔧
Compiler Design
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
19h
·
Discuss:
DEV
⚡
Developer Productivity
I tried the god mode of
productivity
apps on Linux and my
workflow
changed forever
makeuseof.com
·
2d
⚡
Developer Productivity
🥇Top AI
Papers
of the Week
nlp.elvissaravia.com
·
13h
🤖
AI
8)
linuxiac.com
·
8h
🔗
Distributed systems
First
devlog
totovel.itch.io
·
22h
⚡
Developer Productivity
Software design is now
cheap
dottedmag.net
·
19h
·
Discuss:
Hacker News
⚡
Developer Productivity
4
Emacs
packages that
replaced
everyday apps for me
howtogeek.com
·
12h
⚡
Developer Productivity
Beyond the Commit: Developer
Perspectives
on Productivity with AI Coding
Assistants
arxiv.org
·
4d
⚡
Developer Productivity
Loading...
Loading more...
« Page 9
•
Page 11 »
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