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
23077
posts in
501.9
ms
Snippets
With Regular
Expressions
irreal.org
·
2d
🌳
Incremental Parsing
Differential
Logic
• 5
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Function
Calling
& Tool
Schemas
dev.to
·
4d
·
Discuss:
DEV
🦀
Rust Macros
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
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
1d
🔍
Concolic Testing
Bounded
Modal
Logic
arxiv.org
·
1d
📏
Linear Logic
Decoupled
Reasoning with
Implicit
Fact Tokens (DRIFT): A Dual-Model Framework for Efficient Long-Context Inference
arxiv.org
·
1d
🎯
Dependent Parsing
Can AI
Truly
Discover
New Science?
hackernoon.com
·
19h
🔲
Cellular Automata
RFC
9920:
RFC
Editor
Model (Version 3)
rfc-editor.org
·
17h
📝
ABNF Parsing
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
🧪
Binary Fuzzing
The
Observer
Lemma
zenodo.org
·
15h
·
Discuss:
Hacker News
✨
Effect Handlers
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
23h
·
Discuss:
Hacker News
⚙️
Proof Engineering
Tool
Shaped
Objects
minutes.substack.com
·
13h
·
Discuss:
Substack
⚡
Proof Automation
Three
Conversations
Worth Having with Your
CTO
docs.eventsourcingdb.io
·
19h
·
Discuss:
Hacker News
🔗
Data Provenance
Show HN:
Clap.Net
– Source generated CLI
Parsing
for .NET (Inspired by
Clap-Rs
)
github.com
·
1d
·
Discuss:
Hacker News
📝
Shell Parsing
Shell
and Skills and
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
13h
·
Discuss:
Hacker News
🐚
Nordic Shell
Outcome
Engineering
cory.news
·
18h
·
Discuss:
Hacker News
✨
Effect Handlers
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
16h
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Don't give away to the
gradient
descent
carteakey.dev
·
15h
·
Discuss:
Hacker News
🧠
Intelligence Compression
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