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
81147
posts in
670.5
ms
The
Recovery
Kit
Ultra
doscher.com
·
1d
·
Discuss:
Hacker News
🌐
Portable Assembly
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
1d
·
Discuss:
Hacker News
🌍
HTTP Servers
Lessons
Learned After a Head-First
Dive
Into Hardware Manufacturing
hackaday.com
·
1d
💬
Error Message Design
On making one's own
environment
natemeyvis.com
·
22h
🔄
Bootstrapping
Zinc
Language Design
ziggit.dev
·
3d
🔧
Nickel
Jacob
Boxerman
- Declarative,
Reproducible
Emacs with straight.el and use-package
jakebox.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
TOML Parsers
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🚂
Error Monads
A dev coding
setup
in 2026
dev.to
·
19h
·
Discuss:
DEV
🎮
Language Ergonomics
Self-Hosted Deployment Tools Compared: Coolify, Dokploy, Kamal,
Dokku
, and
Haloy
dev.to
·
12h
·
Discuss:
DEV
🥾
Bootstrapping Strategies
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
1d
·
Discuss:
Hacker News
💬
Interactive REPLs
AI Code Generation Tools Repeat Security Flaws, Creating
Predictable
Software
Weaknesses
quantumzeitgeist.com
·
1d
🎭
Program Synthesis
AgentVault
: Security Wrapper for
OpenClaw
(built in a couple hours))
github.com
·
6h
·
Discuss:
Hacker News
🚂
Cranelift Backend
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
15h
🧮
Theorem Provers
WonderfulSoap/ToolBake
: A Toolbox Platform for Creating Your Own Tools. Bake Them with Code or AI.
github.com
·
5h
·
Discuss:
Hacker News
🔄
Bootstrapping
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
🎮
Language Ergonomics
Software Testing at the Network
Layer
: Automated
HTTP
API Quality Assessment and Security Analysis of Production Web Applications
arxiv.org
·
15h
🔧
API Design
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
2d
·
Discuss:
Substack
🌳
Tree Shaking
I hold a different opinion regarding the self-built
compilation
backend
ziggit.dev
·
2d
🔄
Bootstrapping
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
·
15h
🔢
Algebraic Datatypes
Loading...
Loading more...
« Page 12
•
Page 14 »
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