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
📡 Channels
CSP, Message Passing, Async Communication, Go Channels
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80294
posts in
966.4
ms
Altruism
and Fair Objective in
Mixed-Motive
Markov games
arxiv.org
·
10h
🔄
Coroutines
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
10h
🧮
Theorem Provers
Commission
trials
European open source
communications
software: Matrix
osnews.com
·
3d
📝
Rope Editors
Using AI to
write
a
transpiler
dev.to
·
15h
·
Discuss:
DEV
🎭
Program Synthesis
Building a RAG-Based AI Chatbot
Backend
with Node.js (
Serverless
)
dev.to
·
20h
·
Discuss:
DEV
✨
Gleam
Autocrypt
v2 - Post-Quantum and Reliable
Deletion
for Internet Messaging
autocrypt2.org
·
3d
🛡️
Security Type Systems
Hot Reloading in Rust?
Subsecond
and
Dioxus
to the rescue!
codethoughts.io
·
3d
·
Discuss:
Hacker News
,
r/rust
🦀
MIR Optimization
Digest #200: Kubernetes in Container, Git
Shitstorm
, $5M Data Centers and
SDLC
Threat Framework
devopsbulletin.com
·
3d
🚂
Cranelift Backend
felt
the
flow
while programming
skuka.online
·
4d
⚡
Live Programming
The
Sandbox
Explosion
daax.dev
·
3d
·
Discuss:
Hacker News
🛡️
Capability VMs
My 'Move Fast'
Stack
for 2026
david.coffee
·
5d
🔄
Bootstrapping
Announcing
:
genai
v0.1.0
50984e11.maruel-ca.pages.dev
·
4d
·
Discuss:
Hacker News
✨
Gleam
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔬
Nanopasses
Self-Host Weekly (6 February 2026)
selfh.st
·
4d
🔄
Bootstrapping
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🎭
Staged Interpreters
Orchestrate
teams of Claude Code
sessions
code.claude.com
·
4d
·
Discuss:
Hacker News
,
r/ClaudeAI
🔄
Coroutines
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
3d
·
Discuss:
r/programming
🗃️
Query Compilation
hanig/engram
: Personal knowledge graph and automation system
github.com
·
2d
🔄
Incremental Lexing
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
2d
🗂️
Type Indexing
Sparse
Sum
‑of‑
Squares
Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com
·
3d
⚡
Control Synthesis
Loading...
Loading more...
« Page 18
•
Page 20 »
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