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
23696
posts in
300.2
ms
Package-Inferred
Systems are Dangerous
aartaka.me
·
2d
📦
Package Managers
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
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
2d
λ
Lambda Encodings
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
2d
🧠
Computational Logic
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
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
I don't like
imports
kevincox.ca
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
The Problem With LLMs
deobald.ca
·
1d
·
Discuss:
Lobsters
,
Hacker News
💻
Local LLMs
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