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
✓ Formal Verification
Type Theory, Correctness Proofs, Program Analysis, Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
73183
posts in
238.1
ms
Debugging
code world models
arxiv.org
·
11h
🚀
MLOps
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
11h
λ
Functional Programming
ESLint -
Pluggable
JavaScript
Linter
eslint.org
·
1d
·
Discuss:
r/javascript
⚙️
SWC
Revisiting
Regular
Types
abseil.io
·
2d
👻
Phantom Types
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
17h
·
Discuss:
Blogger
🔥
DataFusion
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🔨
Compilers
Universal
Turing
Machine
universalturingmachine.org
·
2h
🚦
Wait-Free Algorithms
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
20h
🔺
Delta Lake
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
2h
·
Discuss:
Hacker News
∘
Category Theory
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
22h
·
Discuss:
Hacker News
🏗️
System Design
Everything I know about good system design
seangoedecke.com
·
15h
⚙️
Systems Programming
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
🦙
Ollama
A
Proof
of P =
NP
dev.to
·
1d
·
Discuss:
DEV
💃
Dancing Links
The Journey to a
Safer
Frontend
: Why We Removed React.FC
engineering.gusto.com
·
23h
⚛️
React
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
🔓
Lock-Free Programming
What's up with
Haskell
's do
notation
?
slightknack.dev
·
23h
📦
Serde
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
19h
·
Discuss:
r/LLM
⏱️
Temporal Workflow
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
1d
🔗
Graph Algorithms
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
11h
·
Discuss:
Hacker News
,
r/programming
🔬
Static Analysis
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🦙
Ollama
Loading...
Loading more...
« Page 2
•
Page 4 »
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