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
23063
posts in
918.6
ms
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
19h
🐚
Shell Combinators
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🦀
Rust Borrowing
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
2d
🧠
Computational Logic
RFC
2182 - Selection and Operation of
Secondary
DNS Servers
datatracker.ietf.org
·
12h
🌐
DNS Security
AI Code Review Is Great at
Nitpicks
,
Terrible
at Systems
hackernoon.com
·
12h
📏
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
Revisiting
Regular
Types
abseil.io
·
4d
λ
Lambda Encodings
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
What's up with
Haskell
's do
notation
?
slightknack.dev
·
3d
🧬
Functional Programming
Show HN:
PolyMCP
–
Expose
Python functions as MCP tools
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
💧
Liquidhaskell
Digitizing
the "
Shokunin
": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com
·
11h
·
Discuss:
Substack
🤖
AI Paleography
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust Macros
Webmentions
with batteries
included
blog.fabiomanganiello.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔗
Hypermedia APIs
The
Blurry
Boundaries
Between Programming and Direct Use
joshuahhh.com
·
2d
·
Discuss:
Hacker News
⟷
Bidirectional Programming
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
The
Archive
System (
DevLog
)
kruithne.net
·
3h
·
Discuss:
Hacker News
🏺
ZIP Archaeology
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
18h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔲
Cellular Automata
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