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
🎯 GADT
Generalized Algebraic Data Types, Type Safety, Phantom Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8737
posts in
76.6
ms
Compiler-Guided
Inference-Time Adaptation: Improving GPT-5 Programming Performance in
Idris
arxiv.org
·
14h
⚙️
PL Implementation
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
21h
🎯
Hindley-Milner
Achieving
EF1
and Epistemic
EFX
Guarantees Simultaneously
arxiv.org
·
14h
🧩
Separation Logic
models have some pretty
funny
attractor
states
lesswrong.com
·
22h
🔲
Cellular Automata
Using
Databases
Without
Putting
Domain Logic in Them (2023)
alexkondov.com
·
2d
·
Discuss:
Lobsters
🧱
Immutable Infrastructure
C-- Home
cs.tufts.edu
·
3d
·
Discuss:
Lobsters
⚙️
Compiler Design
The
Redundancy
Paradox
mihirdeshpande.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
An
async
HTTP server in ~80 lines of modern C++ (
coroutines
)
vixcpp.com
·
1d
·
Discuss:
Hacker News
🌐
Network Protocols
Formal
Methods
Practice and Theory
adacore.com
·
3d
·
Discuss:
Hacker News
🔍
Formal Verification
ANSI
Escape Code Injection in OpenAI's Codex CLI Leading to
RCE
dganev.com
·
1d
·
Discuss:
Hacker News
🛡️
macOS Security
Claude Code Is Being
Dumbed
Down
symmetrybreak.ing
·
2d
·
Discuss:
Hacker News
🔧
ppx
full-featured
database with one line of
curl
zero.tidbcloud.com
·
17h
·
Discuss:
Hacker News
🐳
Containerization
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
2d
·
Discuss:
Hacker News
🛡️
seL4
a free-to-use data
modeler/generator
for any database
synthforge.io
·
3d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Redefining
Go
Functions
pboyd.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🏢
Jane Street Core
In defense of not
reading
the code
benshoemaker.us
·
1d
·
Discuss:
Hacker News
,
Hacker News
🔬
Static Analysis
Vulnerabilities in 45 Open Source Projects (vLLM,
Langfuse
, Phase,
NocoDB
)
kolega.dev
·
2d
·
Discuss:
Hacker News
🛡️
seL4
six
thoughts
on
generating
c
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Issue 638
datascienceweekly.substack.com
·
23h
·
Discuss:
Substack
⏱️
Computational Complexity
Sign up or log in to see more results
Sign Up
Login
« Page 2
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