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
23304
posts in
668.3
ms
AL,
Logical
mathhombre.blogspot.com
·
6d
·
Discuss:
mathhombre.blogspot.com
🏛️
Isabelle HOL
Matchlock
: Linux-based
sandboxing
for AI agents
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Before Dashboards, We Had
Blinky
Lights @
DotNetMartin
youtube.com
·
3d
📟
Vintage Protocols
ReAct
Pattern
dev.to
·
3d
·
Discuss:
DEV
✨
Effect Handlers
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
dev.to
·
6d
·
Discuss:
DEV
📋
Formal Verification
Geospatial
System Design
Patterns
systemdr.substack.com
·
3d
·
Discuss:
Substack
📏
Range Queries
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
6d
🦀
Rust Verification
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
4d
🏗️
Compiler Archaeology
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
1d
🗣️
Domain-Specific Languages
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
1d
⚔️
Lean Tactics
Sandwich
Bill of
Materials
nesbitt.io
·
3d
·
Discuss:
Hacker News
📝
ABNF Parsing
Boundary
Engineering
cabreza.substack.com
·
4d
·
Discuss:
Substack
🛡️
Error Boundaries
What
Bleeds
Through
futurisold.github.io
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
a
proposal
for AI that's on your side
r.github.io
·
4d
·
Discuss:
Hacker News
🤖
AI Curation
Bun
v1.3.9
bun.com
·
3d
·
Discuss:
Hacker News
🕸️
WebAssembly
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
3d
·
Discuss:
Hacker News
🖥️
Hardware Architecture
Dependency
Resolution
Methods
nesbitt.io
·
5d
·
Discuss:
Hacker News
🔗
Dependency Resolution
Autonomous
PRD
Agent
minicodemonkey.github.io
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
LLMs Are Prediction
Machines
kaelandt.github.io
·
2d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Portable
C
Compiler
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Loading...
Loading more...
« Page 14
•
Page 16 »
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