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
23839
posts in
1.05
s
Automatic
WS2812
Characterization
cpldcpu.com
·
4d
👁️
System Observability
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
6d
⚡
Proof Automation
IDA
Plugin
Updates on 2026-02-08
williballenthin.com
·
4d
🌳
Incremental Parsing
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
·
5d
📊
Performance Profiling
The Missing
Layer
Above AI Inference
Governance
vibe.forem.com
·
3d
·
Discuss:
DEV
🔗
Constraint Handling
Physical AI:
Teaching
Machines to Understand the Real World by
MLOps.community
creators.spotify.com
·
5d
🎙️
Whisper
Reverse
Engineering Your Software
Architecture
with Claude Code to Help Claude Code
oreilly.com
·
5d
⚙️
Build Archaeology
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
AI in Web Development: Beyond Just
Writing
Code
dev.to
·
3d
·
Discuss:
DEV
🗣️
Domain-Specific Languages
Quantum-Audit
:
Evaluating
the Reasoning Limits of LLMs on Quantum Computing
arxiv.org
·
20h
⚛️
Quantum Circuits
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
20h
🔗
Concatenative Programming
Stop
generating
, start
thinking
localghost.dev
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
Proof Engineering
Valkey
as a Message
Broker
for Request-Reply
notnotp.com
·
4d
·
Discuss:
Hacker News
⚡
gRPC
LLMs don't
hallucinate
– they hit a structural boundary (
RCC
theory)
effacermonexistence.com
·
5d
·
Discuss:
Hacker News
💎
Information Crystallography
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
4d
·
Discuss:
Hacker News
,
r/Compilers
⚡
Incremental Computation
Clarity
vs. complexity: the invisible work of
subtraction
alexscamp.com
·
4d
·
Discuss:
Hacker News
⬜
Minimalism
Waterloo
Style
theprogrammersparadox.blogspot.com
·
5d
·
Discuss:
Hacker News
🕹
Emulation Theory
The
Agentic
Religion
for AI Agents
agentism.church
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
Hoot
: Scheme on
WebAssembly
spritely.institute
·
4d
·
Discuss:
Hacker News
🌐
WASI
The Security
Gap
in MCP: The Hidden Risks No One Is
Talking
About
memgraph.com
·
5d
·
Discuss:
Hacker News
🔒
WASM Capabilities
Loading...
Loading more...
« Page 18
•
Page 20 »
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