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
π Unification
Pattern Matching, Type Inference, Constraint Solving, Algorithms
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80165
posts in
328.6
ms
Exposing
Weaknesses
of Large Reasoning Models through Graph Algorithm Problems
arxiv.org
Β·
1d
πΊοΈ
Graph Traversal
The
Condensate
Theorem
: Transformers are O(n), Not $O(n^2)$
arxiv.org
Β·
1d
π
ML Language
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
Β·
1d
Β·
Discuss:
Hacker News
πͺ
Recursive Descent
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
Β·
4d
Β·
Discuss:
Hacker News
π³
Tree Walking
The
Immutable
Ledger
: Data Integrity Through TypeScript & Design Patterns
dev.to
Β·
5h
Β·
Discuss:
DEV
π‘
Protocol Buffers
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
Β·
8h
βοΈ
Inference Rules
Intersection
of Two Linked
Lists
dev.to
Β·
3d
Β·
Discuss:
DEV
βοΈ
Skip Lists
Autobiolocation
autobiolocation.is
Β·
1d
Β·
Discuss:
Hacker News
π«
Effect Systems
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
Β·
18h
β‘
Tokenizer Optimization
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
Β·
22h
Β·
Discuss:
DEV
π
Teaching Compilers
hsutter/cppfront
: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
github.com
Β·
22h
πͺ
C Metaprogramming
the
mathematics
of
compression
in database systems
bitsxpages.com
Β·
13h
π¦
Compression Algorithms
A Language For Agents
lucumr.pocoo.org
Β·
1d
Β·
Discuss:
Lobsters
,
Hacker News
π¨
Domain-Specific Languages
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
Β·
4h
π’
Algebraic Datatypes
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
Β·
4d
Β·
Discuss:
Hacker News
π
Reactive Languages
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
Β·
15h
Β·
Discuss:
Hacker News
π
Program Synthesis
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
Β·
13h
π
Subinterpreters
Learning by
hand
is better than learning by AI
blog.engora.com
Β·
14h
Β·
Discuss:
Hacker News
π
Teaching Compilers
Show HN:
C-CMCP
β
Validated
AI development workflow with quality gates
news.ycombinator.com
Β·
16h
Β·
Discuss:
Hacker News
π
Program Synthesis
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
Β·
1d
Β·
Discuss:
Hacker News
π
Self-Documenting Code
Loading...
Loading more...
« Page 3
β’
Page 5 »
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