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
🔤 Kleene Algebra
Regular Expressions, Axiomatization, Algebraic Structures, NetKAT
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8450
posts in
73.4
ms
Towards a theory of Fa\c{c}ade-X data access:
satisfiability
of
SPARQL
basic graph patterns
arxiv.org
·
1d
🔁
Fixed-Point Theory
Breaking the
Tractability
Barrier: A Generic Low-Level Solver for
NP-Hard
Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org
·
1d
·
Discuss:
r/programming
🧮
SMT Solvers
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
3d
🧩
Parser Combinators
Random Access in
Grammar-Compressed
Strings: Optimal Trade-Offs in Almost All Parameter
Regimes
arxiv.org
·
2d
🧩
Parser Combinators
A
Conceptual
Framework for Exploration
Hacking
lesswrong.com
·
2d
🐫
OCaml
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
1d
·
Discuss:
Hacker News
,
r/compsci
🎨
GADTs
The
strongest
encryption
is just noise
hypertextgarden.com
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Validate
AI agent
endpoints
across 8 protocols in one URL
agentprobe.xyz
·
1d
·
Discuss:
Hacker News
🔒
Protocol Verification
Lessons from the
Moltbook
Protocol (
Agent-Oriented
API Design Patterns)
apidog.com
·
9h
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN: A
segmentation
model client-side via
WASM
qtoolkit.dev
·
2d
·
Discuss:
Hacker News
🧩
Separation Logic
BinaryAudit
: Can AI find
backdoors
in raw machine code?
quesma.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
BalatroBench
Benchmarks
Large Language Models Playing Balatro
balatrobench.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
Judge rules that LLM
provided
legal advice is open to discovery [
pdf
]
storage.courtlistener.com
·
1d
·
Discuss:
Hacker News
🐫
OCaml
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
1d
·
Discuss:
Hacker News
⚡
Process Calculi
Category
Theory, AI and Jobs
deadneurons.substack.com
·
1d
·
Discuss:
Substack
➡️
Category Theory
My Experience Using
OpenClaw
: A Security
Professional
’s Journey
simonroses.com
·
1d
·
Discuss:
Hacker News
🛡️
macOS Security
Our AI Orchestration Frameworks Are
Reinventing
Linda
(1985)
otavio.cat
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
Issue 638
datascienceweekly.substack.com
·
1d
·
Discuss:
Substack
⏱️
Computational Complexity
Dear
Agent:
Prove
it.
rijnard.com
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
My Claude Code
Toolkit
newartisans.com
·
16h
·
Discuss:
Hacker News
💻
CLI Tools
Loading...
Loading more...
« Page 1
•
Page 3 »
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