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
23040
posts in
290.9
ms
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
18h
🐚
Shell Combinators
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
1d
🎯
Proof Tactics
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🦀
Rust Borrowing
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
2d
🧠
Computational Logic
AI Code Review Is Great at
Nitpicks
,
Terrible
at Systems
hackernoon.com
·
11h
📏
Code Metrics
Data Science and Technology Towards
AGI
Part I:
Tiered
Data Management
arxiv.org
·
2d
📋
Document Grammar
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
🗄️
SQLite Internals
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
💧
Liquidhaskell
Revisiting
Regular
Types
abseil.io
·
4d
λ
Lambda Encodings
Transformer-Based Memory Forecasting: Leveraging
Anonymized
Aggregates
for Personal Insights
novice.media
·
19h
·
Discuss:
Hacker News
💻
Local LLMs
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
10h
·
Discuss:
Substack
🤖
AI Paleography
Webmentions
with batteries
included
blog.fabiomanganiello.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔗
Hypermedia APIs
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust Macros
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
2d
·
Discuss:
Hacker News
⟷
Bidirectional Programming
Generate
product insights by giving your AI agent
DB
access and app source code
teotti.com
·
4h
·
Discuss:
Hacker News
🤖
Archive Automation
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN: The "Vat of Fluid" Model–Solving
7Systems
Paradoxes
ViaFirst
Principles
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🔲
Cellular Automata
The
Archive
System (
DevLog
)
kruithne.net
·
2h
·
Discuss:
Hacker News
🏺
ZIP Archaeology
Your AI has no memory. Your
Rails
codebase
does.
rubyonai.com
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Loading...
Loading more...
« Page 3
•
Page 5 »
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