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
📝 Nix Language
Lazy Evaluation, Derivations, Attribute Sets, Functional DSL
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8174
posts in
319.0
ms
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
1d
🔀
Galois Connections
TestExplora
: Benchmarking LLMs for
Proactive
Bug Discovery via Repository-Level Test Generation
arxiv.org
·
1d
🧪
Concolic Testing
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🔢
Algebraic Data Types
The case for
industrial
evals
lesswrong.com
·
8h
🧪
Property-Based Testing
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🏃
Escape Analysis
Technical "
whitepaper
" for
afl-fuzz
lcamtuf.coredump.cx
·
19h
·
Discuss:
Lobsters
🔧
Unikernel Development
(Re)
Discovering
Natural
Laws
lesswrong.com
·
12h
🎯
Hindley-Milner
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
4h
·
Discuss:
Hacker News
⚡
Process Calculi
Rust
Standard
Library Challenges
rustfinity.com
·
1d
·
Discuss:
r/rust
🏗️
Dune
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
13h
·
Discuss:
Hacker News
🔁
Fixed-Point Theory
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
13h
·
Discuss:
Lobsters
,
Hacker News
🤖
Program Synthesis
jolovicdev/sourcery
: Schema-first LLM extraction framework with entity grounding, multi-pass extraction, and deterministic post-processing
github.com
·
11h
·
Discuss:
Hacker News
🔄
Reproducible Builds
SMTP
server from scratch in Go –
FSM
, raw TCP, and buffer-oriented I/O
news.ycombinator.com
·
53m
·
Discuss:
Hacker News
🌐
NetworkProtocols
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
21h
·
Discuss:
Hacker News
🧮
Z3 Solver
Beyond
SAST
: Using Gemini to
Orchestrate
Semantic Source Reviews.
ciex-software.com
·
17h
·
Discuss:
Hacker News
🔄
Reproducible Builds
The
Redundancy
Paradox
mihirdeshpande.com
·
17h
·
Discuss:
Hacker News
👁️
System Observability
The
calculus
tutorial just
shipped
!
minireference.com
·
17h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Your AI has no memory. Your
Rails
codebase
does.
rubyonai.com
·
1d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Explain
Your Rules
blog.sebastiansastre.co
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
2d
·
Discuss:
Hacker News
📊
Runtime Verification
Loading...
Loading more...
« Page 1
•
Page 3 »
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