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
23049
posts in
576.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
• 4
inquiryintoinquiry.com
·
4d
⚔️
Lean Theorem
Differential
Logic
• 5
inquiryintoinquiry.com
·
3d
⚔️
Lean Theorem
Bounded
Modal
Logic
arxiv.org
·
1d
📏
Linear Logic
Architecture
of
SQLite
sqlite.org
·
1d
·
Discuss:
Hacker News
🗄️
SQLite Internals
Decoupled
Reasoning with
Implicit
Fact Tokens (DRIFT): A Dual-Model Framework for Efficient Long-Context Inference
arxiv.org
·
1d
🎯
Dependent Parsing
Revisiting
Regular
Types
abseil.io
·
4d
λ
Lambda Encodings
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
🧪
Binary Fuzzing
The
Observer
Lemma
zenodo.org
·
17h
·
Discuss:
Hacker News
✨
Effect Handlers
Transformer-Based Memory Forecasting: Leveraging
Anonymized
Aggregates
for Personal Insights
novice.media
·
19h
·
Discuss:
Hacker News
💻
Local LLMs
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Tool
Shaped
Objects
minutes.substack.com
·
15h
·
Discuss:
Substack
⚡
Proof Automation
Three
Conversations
Worth Having with Your
CTO
docs.eventsourcingdb.io
·
21h
·
Discuss:
Hacker News
🔗
Data Provenance
Outcome
Engineering
cory.news
·
21h
·
Discuss:
Hacker News
✨
Effect Handlers
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
18h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔗
Constraint Handling
The LLM Context Tax: Best Tips for Tax
Avoidance
nicolasbustamante.com
·
22h
·
Discuss:
Hacker News
🤖
Archive Automation
I
Guess
AI Is Now My Target
Customer
jakequist.com
·
17h
·
Discuss:
Hacker News
🤖
AI Curation
I Improved 15 LLMs at Coding in One
Afternoon
. Only the
Harness
Changed.
blog.can.ac
·
17h
·
Discuss:
Hacker News
📏
Code Metrics
Loading...
Loading more...
« Page 4
•
Page 6 »
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