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
24255
posts in
721.2
ms
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
⚔️
Lean Tactics
Microsoft just built a
scanner
that exposes hidden LLM
backdoors
techradar.com
·
9h
🔍
NTLM Forensics
Learning Coupled Actions of Lie Groups:
Kuramoto
Models for Robotics and
Hyperbolic
Data
hackernoon.com
·
1d
🌀
Hyperbolic Geometry
Accelerating
mathematics
xenaproject.wordpress.com
·
1d
🔬
Lean
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
2d
·
Discuss:
DEV
🧱
Immutable Infrastructure
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
22h
🧱
Immutable Infrastructure
Building
Scalable
AI Applications: Architecture
Patterns
That Actually Work
dev.to
·
2d
·
Discuss:
DEV
🔗
Topological Sorting
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
2d
👑
Isabelle/HOL
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
1d
🌐
WASI
Vigil
Network: Information Architecture and Communication
Standards
stationeering.substack.com
·
17h
·
Discuss:
Substack
🎯
Threat Hunting
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
15h
·
Discuss:
Hacker News
⚡
Proof Automation
Namespace
: So You Want to Build Your Own
Datacenter
namespace.so
·
11h
·
Discuss:
Hacker News
🏠
HomeLab
Adventures
in Neural
Rendering
interplayoflight.wordpress.com
·
8h
·
Discuss:
Hacker News
🧠
Neural Codecs
six
thoughts
on
generating
c
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Show HN:
RoadmapAI
– Turn Discord
chatter
into a product roadmap with AI
theroadmapai.com
·
12h
·
Discuss:
Hacker News
🎙️
Whisper
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
11h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Ask HN: What
useful
knowledge
do you have that LLMs don't?
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
🧠
Personal Knowledge Base
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔒
WASM Capabilities
How to Keep What You Built
Together
claudepress.substack.com
·
23h
·
Discuss:
Substack
💾
Persistence Strategies
Loading...
Loading more...
« Page 3
•
Page 5 »
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