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
🕸️ Graph Algorithms
Dominator Trees, Control Flow Graphs, Shortest Paths, Traversal
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81679
posts in
995.9
ms
Pairwise
is Not Enough: Hypergraph Neural Networks for Multi-Agent
Pathfinding
arxiv.org
·
23h
🔀
Concurrency Models
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
23h
🚀
Code Motion
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
·
1h
·
Discuss:
DEV
📡
Protocol Buffers
Claude Code for
Fullstack
Development: The 3 Things You Actually Need
dev.to
·
8h
·
Discuss:
DEV
📚
Self-Documenting Code
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
📡
Erlang BEAM
Anthropics
Compiler
Challenge
corsix.org
·
2d
🚀
Code Motion
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
15h
·
Discuss:
r/programming
🎮
Language Ergonomics
ValentinoPalomba/FRTMProxy
: Open source alternative to Proxyman and Charles
github.com
·
17h
·
Discuss:
Hacker News
🌍
Minimal HTTP
Geospatial
System Design
Patterns
systemdr.substack.com
·
2d
·
Discuss:
Substack
💾
Persistent Heaps
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
1d
·
Discuss:
Hacker News
✨
Gleam
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
1d
·
Discuss:
Hacker News
🖥️
Minimal VMs
Nonlinear random walks on
hypergraphs
characterized
by higher-order interactions
sciencedirect.com
·
2d
🧮
Combinator Calculus
News for January 2026
ptreview.sublinear.info
·
3d
📐
Succinct Data Structures
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
2d
🔒
Rust Borrowing
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
2d
·
Discuss:
DEV
💬
Smalltalk VMs
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🌳
Tree Walking
Performance Tip of the Week #83:
Reducing
memory
indirections
abseil.io
·
2d
💾
Cache Algorithms
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
2d
·
Discuss:
Hacker News
,
r/Compilers
🔬
Nanopasses
Looking at
binary
trees
in C++
meetingcpp.com
·
2d
🤐
Zipper Structures
Loading...
Loading more...
« Page 3
•
Page 5 »
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