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
🔢 Denotational Semantics
Domain Theory, Mathematical Models, Program Meaning, Scott Domains
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23072
posts in
463.3
ms
On A
Lark
dothemath.ucsd.edu
·
2d
🏛️
Philosophy
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
3d
·
Discuss:
Substack
⚡
Proof Automation
Document
Clustering
with LLM Embeddings in
Scikit-learn
machinelearningmastery.com
·
2d
🧮
Vector Embeddings
Differential
Logic
• 3
inquiryintoinquiry.com
·
5d
⚡
Circuit Design
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
🔗
Combinatory Logic
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
📏
Code Metrics
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Expectation
and
Copysets
buttondown.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🧮
Kolmogorov Complexity
When Models
Examine
Themselves: Vocabulary-Activation Correspondence in
Self-Referential
Processing
zenodo.org
·
2d
·
Discuss:
Hacker News
💾
Floppy Imaging
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
2d
·
Discuss:
Substack
🧮
Datalog Systems
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
1d
·
Discuss:
Hacker News
📊
Performance Profiling
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
2d
·
Discuss:
Hacker News
📋
Document Grammar
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Using Claude Code as a general agent
raahelbaig.com
·
3d
·
Discuss:
Hacker News
👑
Isabelle
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
The Problem With LLMs
deobald.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Local LLMs
Harness
engineering: leveraging
Codex
in an agent-first world
openai.com
·
1d
·
Discuss:
Hacker News
,
r/programming
📚
MARC Evolution
Loading...
Loading more...
« Page 8
•
Page 10 »
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