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
112106
posts in
546.7
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
🔗
Graph Rewriting
Show HN:
PolyMCP
–
Orchestrate
AI agents across Python tools and MCP servers
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🌙
Lua
Co-Routines
in 1-page of C (2013)
embeddedrelated.com
·
5h
·
Discuss:
Hacker News
🪄
C Metaprogramming
AI-Powered Knowledge Graph Generator &
APTs
, (Thu,
Feb
12th)
isc.sans.edu
·
15h
🧠
Semantic Parsing
Quick
Stack
Tiedown
artlu.bearblog.dev
·
1d
🚂
Cranelift IR
Large Language Models for
Mortals
book
andrewpwheeler.com
·
2d
🌱
Minimal ML
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
3d
·
Discuss:
Blogger
📊
Query Optimizers
Computer Science for
Beginners
dev.to
·
18m
·
Discuss:
DEV
🏗️
Minimal Compilers
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
1d
🧩
Constraint Solvers
Building Modular
Monoliths
With
Kotlin
and Spring
blog.jetbrains.com
·
6h
📦
Monorepos
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
·
5h
·
Discuss:
Hacker News
📡
Erlang
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
2d
·
Discuss:
Lobsters
🔀
Control Structures
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🧮
Combinator Calculus
Generics
docs.modular.com
·
2d
🔗
Go Generics
Unlocking Lightweight Search: A Look at `
bm25-lite
` for TypeScript
github.com
·
7h
·
Discuss:
DEV
🌈
Gradual Languages
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
🔢
Algebraic Datatypes
What is Framework?
observablehq.com
·
1h
🦉
Swift Interpreters
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
13h
·
Discuss:
Hacker News
⚡
Fusion Laws
Signal
vs.
Noise
at Scale
blog.gorewood.games
·
50m
🌲
Deforestation
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
3d
·
Discuss:
r/LocalLLaMA
🧩
Constraint Solvers
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