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
⚙️ Configuration Languages
Nickel, Dhall, Build Systems, Infrastructure as Code
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80190
posts in
366.8
ms
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
12h
·
Discuss:
Hacker News
🎲
Test Generators
Event
sourcing
pattern
docs.aws.amazon.com
·
1d
↔️
Bidirectional Sync
Running Your Own AS: BGP on FreeBSD with
FRR
,
GRE
Tunnels, and Policy Routing
blog.hofstede.it
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌍
HTTP Servers
Valuable
News
discoverbsd.com
·
22h
🦀
MIR Optimization
SaaS
System Design
dev.to
·
1d
·
Discuss:
DEV
⚡
Live Coding
Hud
:
Runtime
Code Sensor for Production-Safe AI Code
marketplace.visualstudio.com
·
1d
·
Discuss:
Hacker News
⚡
Live Programming
The Project
Cookbook
dev.to
·
1d
·
Discuss:
DEV
📦
Package Managers
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
TOML Parsers
Can my
SPARC
server host a website?
rup12.net
·
22h
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/homelab
🌍
HTTP Servers
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🚂
Error Monads
Software Performance Engineering for
Foundation
Model-Powered Software
arxiv.org
·
9h
📡
Erlang BEAM
What's up with
Haskell
's do
notation
?
slightknack.dev
·
21h
⚡
functional programming
AgentVault
: Security Wrapper for
OpenClaw
(built in a couple hours))
github.com
·
45m
·
Discuss:
Hacker News
🚂
Cranelift Backend
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
9h
🧮
Theorem Provers
Tutorialkit.rb
: the ruby.wasm journey goes onward—Martian Chronicles, Evil
Martians
’ team blog
evilmartians.com
·
14h
💬
Smalltalk VMs
Article:
Jakarta
EE 12 Milestone 2: Advent of the Data Age Along with
Consistency
and Configuration
infoq.com
·
5h
📡
Protocol Buffers
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
🎭
Program Synthesis
ericblue/claude-vibekanban
: PRD-to-Tasks Workflow for Claude Code +
VibeKanban
github.com
·
1d
·
Discuss:
Hacker News
⚡
Live Coding
OpenClaw
2026.2.3: Building
Safer
, More Reliable Agents
analyticsvidhya.com
·
1d
🚂
Cranelift IR
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