Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28398
posts in
15.4
ms
Lil' Fun
Langs
'
Guts
taylor.town
·
1d
·
Discuss:
Hacker News
,
r/programming
🔗
Functional Compilers
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
4h
🔗
Functional Compilers
Representation Theorems for Cumulative
Propositional
Dependence
Logics
arxiv.org
·
3d
🔗
Combinatory Logic
Differential
Logic
• 14
inquiryintoinquiry.com
·
1d
🔬
Logic in Computer Science
Linkage
11011110.github.io
·
1d
🕳️
Persistent Homology
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
2d
·
Discuss:
DEV
🔢
Denotational Semantics
nobutakayamauchi/RTS
: ai-agents llm-ai gpt-workflows ai-audit execution-logging ai-research
reproducibility
observability provenance ai-operations research-infrastructure operational-memory
github.com
·
10h
·
Discuss:
Hacker News
⚙️
Proof Engineering
dReLU
Sparsification: Recovering LLM Performance with
150B
Token Pretraining
hackernoon.com
·
2d
💻
Local LLMs
F# Weekly #9, 2026 –
Crunching
the Technical Debt with Repo
Assist
sergeytihon.com
·
14h
💧
Liquid Types
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
2d
🧮
Constraint SMT
Greasing
Linux Auth: Hardware-Backed Authentication with PAM+
TPM2
blog.prizrak.me
·
4h
·
Discuss:
Hacker News
🔒
Hardware Attestation
Enshittification
forums.anandtech.com
·
5h
📝
ABNF Extensions
An
Introduction
to
Lean
4
uv.es
·
1d
⚔️
Lean Tactics
Interactive
explanations
- Agentic Engineering
Patterns
simonwillison.net
·
1d
⚡
Proof Automation
Word Map – A Game About Hill Climbing and
Stepping
Stones
probablydance.com
·
7h
⚔️
Lean Tactics
Projects
morling.dev
·
2d
🔄
Reproducible Builds
I Built a
Scheme
Compiler
with AI in 4 Days
matthewphillips.info
·
7h
·
Discuss:
Hacker News
🦀
Rust Macros
Distributed
Systems for
Fun
and Profit
book.mixu.net
·
2d
·
Discuss:
r/programming
🤝
Distributed Consensus
Differential
Logic
• 13
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
Verification
Is
Easier
Than Discovery
chatbotkit.com
·
1d
·
Discuss:
Hacker News
🛡️
Archive Verification
Loading...
Loading more...
Page 2 »
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