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
23708
posts in
575.8
ms
Palantir: N Of 1,
Industrializing
Autonomy Via
Zero-Marginal-Cost
AI Integration
seekingalpha.com
·
1d
🎯
Proof Tactics
Accelerating
Mathematical
and Scientific Discovery with Gemini Deep Think
deepmind.google
·
1d
·
Discuss:
Hacker News
🎯
Proof Tactics
Differential
Logic
• 5
inquiryintoinquiry.com
·
3d
⚔️
Lean Theorem
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
🗄️
SQLite Internals
Reverse-Engineering
Model
Editing
on Language Models
arxiv.org
·
18h
🔓
Reverse engineering
Characterizing
,
Evaluating
, and Optimizing Complex Reasoning
arxiv.org
·
2d
🧠
Computational Logic
Revisiting
Regular
Types
abseil.io
·
5d
λ
Lambda Encodings
How I Used Claude Code to
Teach
Myself
Rust
mlolson.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🦀
Rust Macros
The
Observer
Lemma
zenodo.org
·
23h
·
Discuss:
Hacker News
✨
Effect Handlers
Transformer-Based Memory Forecasting: Leveraging
Anonymized
Aggregates
for Personal Insights
novice.media
·
1d
·
Discuss:
Hacker News
💻
Local LLMs
Three
Conversations
Worth Having with Your
CTO
docs.eventsourcingdb.io
·
1d
·
Discuss:
Hacker News
🔗
Data Provenance
Tool
Shaped
Objects
minutes.substack.com
·
21h
·
Discuss:
Substack
⚡
Proof Automation
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
1d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Outcome
Engineering
cory.news
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔒
WASM Capabilities
I Improved 15 LLMs at Coding in One
Afternoon
. Only the
Harness
Changed.
blog.can.ac
·
23h
·
Discuss:
Hacker News
📏
Code Metrics
Building a
semantic
search engine in ±250
lines
of Python
bart.degoe.de
·
2d
·
Discuss:
Hacker News
🗂️
Vector Search
Human Review Is the
Bottleneck
satyaborg.com
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Show HN: The "Vat of Fluid" Model–Solving
7Systems
Paradoxes
ViaFirst
Principles
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🔲
Cellular Automata
Loading...
Loading more...
« Page 5
•
Page 7 »
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