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
23078
posts in
801.7
ms
On A
Lark
dothemath.ucsd.edu
·
2d
🏛️
Philosophy
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
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
4d
·
Discuss:
DEV
✅
Format Verification
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
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
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
2d
·
Discuss:
Hacker News
📋
Document Grammar
The Evolution of a
Lean
Programmer
unnamed.website
·
3d
·
Discuss:
Hacker News
⚔️
Lean Tactics
The Problem With LLMs
deobald.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Local LLMs
I don't like
imports
kevincox.ca
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Feature Demo: Building a Blog with
Emacs
Org and
SvelteKit
chiply.dev
·
1d
·
Discuss:
Hacker News
🔗
Online Curation
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