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
81462
posts in
215.0
ms
Exposing
Weaknesses
of Large Reasoning Models through Graph Algorithm Problems
arxiv.org
·
12h
🗺️
Graph Traversal
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
12h
🔄
Nanopass
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
10h
·
Discuss:
Substack
🌍
HTTP Servers
Coupling,
Decoupling
, and
Cohesion
dev.to
·
1h
·
Discuss:
DEV
📦
Monorepos
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
1d
🔗
Lexical Scoping
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
1d
·
Discuss:
DEV
📋
Datalog
Wrapping trait
implems
in an enum kept appearing in code base so I
blogged
about it. Are there other such useful patterns that are not much advertised?
asfaload.com
·
7h
·
Discuss:
r/rust
🔧
API Design
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
7h
·
Discuss:
Hacker News
🎮
Language Ergonomics
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
7h
·
Discuss:
Hacker News
🎮
Language Ergonomics
The Return of
Algol
68
jxself.org
·
21h
📚
Forth Compilers
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
6h
🪜
Recursive Descent
Unlocking
the hidden power of
unstructured
data with AI
theregister.com
·
8h
🧠
Semantic Parsing
Fundamentals
of Data
Visualization
clauswilke.com
·
1d
🔥
Flamegraphs
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
1d
·
Discuss:
DEV
🌉
Cross-Language Tools
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Leading AI models struggle to
solve
original
math
problems
phys.org
·
2h
🧩
Constraint Solvers
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧩
Constraint Solvers
Designing the Engine: How I Built a
Laravel-Like
PHP
Starter Kit
fiverr.com
·
13h
·
Discuss:
DEV
🔄
Bootstrapping
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
💓
Live Variable Analysis
Type
Variance
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🎭
Polymorphic Variants
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