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
🔍 Refinement Types
Liquid Haskell, SMT Integration, Verification, Predicate Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83162
posts in
1.10
s
Presentation:
Expanding
Swift
from Apps to Services
infoq.com
·
1d
🦉
Swift Generics
Clojure
’s Persistent Data Structures:
Immutability
Without the Performance Hit
javacodegeeks.com
·
2d
🌳
Persistent Data
On
Linguistic
Precision
blog.firedrake.org
·
17h
🧪
Parser Testing
Tip of the Week #130:
Namespace
Naming
abseil.io
·
4h
📇
Symbol Tables
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
4h
🗂️
Type Indexing
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
10h
·
Discuss:
Hacker News
,
r/Compilers
🔬
Nanopasses
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
12h
·
Discuss:
r/programming
🦀
MIR Optimization
Why
Interface
+ Factory? The Java Pattern That Makes Everything
Replaceable
dev.to
·
4h
·
Discuss:
DEV
🔧
API Design
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
3d
·
Discuss:
Hacker News
🐪
OCaml
My take on
transforming
data
dev.to
·
1h
·
Discuss:
DEV
📋
Souffle Datalog
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
2d
🔄
Protocol State Machines
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
7h
·
Discuss:
r/Zig
💬
Error Messages
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
1d
📝
PEG Parsing
A Brief Introduction to
Rvalue
References
artima.com
·
4h
⚡
Copy Elision
An Introduction to
XML
Data
Binding
in C++
artima.com
·
4h
📋
Template Compilers
fts
_
depends
- Windows Dependency Checker
forrestthewoods.com
·
4h
📦
Dependency Analysis
TMTOWTDI
for
YS
Expressions
yamlscript.org
·
21h
📦
Closure Conversion
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
3h
·
Discuss:
Hacker News
📋
Task Queues
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
11h
·
Discuss:
Hacker News
🗺️
Region Inference
**Abstract:** This paper proposes a novel framework for quantifying the inherent logical
incompleteness
present in
Gödelian
systems by dynamically mapping ax...
freederia.com
·
1d
📜
Proof Languages
Loading...
Loading more...
« Page 4
•
Page 6 »
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