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
📏 Linear Logic
Resource Awareness, Session Types, Proof Nets, Substructural Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23913
posts in
423.7
ms
AL,
Logical
mathhombre.blogspot.com
·
6d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Weekly
Bookmarks
inkdroid.org
·
3d
📚
MARC Archaeology
Before Dashboards, We Had
Blinky
Lights @
DotNetMartin
youtube.com
·
3d
📟
Vintage Protocols
Design
HLD
dev.to
·
3d
·
Discuss:
DEV
🎯
Content Recommendation
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Early History of a Perfect Join
Algorithm
remy.wang
·
3d
🚀
Query Optimization
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
6d
🦀
Rust Verification
Quantum-Audit
:
Evaluating
the Reasoning Limits of LLMs on Quantum Computing
arxiv.org
·
14h
⚛️
Quantum Circuits
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
14h
🔗
Concatenative Programming
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
3d
·
Discuss:
Hacker News
,
r/programming
👁️
Observatory Systems
Achieving
Ultra-Fast AI Chat
Widgets
cjroth.com
·
3d
·
Discuss:
Hacker News
🎙️
Whisper
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
6d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Sandwich
Bill of
Materials
nesbitt.io
·
3d
·
Discuss:
Hacker News
📝
ABNF Parsing
a
declarative
spec for goals, plans, and
gated
execution
planspec.io
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Software
Factories
and the
Agentic
Moment
factory.strongdm.ai
·
4d
·
Discuss:
Hacker News
🔐
Capability Systems
Agentic
Coding and the Problem of
Oracles
epkconsulting.substack.com
·
4d
·
Discuss:
Substack
,
r/programming
🔲
Cellular Automata
CRAFT
:
Continuous
Reasoning and Agentic Feedback Tuning
huggingface.co
·
5d
·
Discuss:
Hacker News
✨
Effect Handlers
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
3d
·
Discuss:
Hacker News
✨
Effect Handlers
Boundary
Engineering
cabreza.substack.com
·
5d
·
Discuss:
Substack
🛡️
Error Boundaries
Thoughts
on LLMs
finestructure.co
·
3d
·
Discuss:
Hacker News
⚖️
Emulation Ethics
Loading...
Loading more...
« Page 16
•
Page 18 »
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