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
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22912
posts in
713.8
ms
New study reveals Americans have less than $1,000
saved
for
retirement
the-independent.com
·
9m
💰
Archive Economics
Trump
aides
urged sale of
Congo
lithium claim to Bay Area company
mercurynews.com
·
17m
📡
RSS
Student returns to
graduate
from university 33 years after
completing
studies
the-independent.com
·
21m
🏴
Scottish Computing
Matchlock
: Linux-based
sandboxing
for AI agents
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
A Simple
Method
for
Commonsense
Reasoning
dev.to
·
4d
·
Discuss:
DEV
🌳
Context free grammars
Basic
Logic
Behind AI
dev.to
·
5d
·
Discuss:
DEV
🔲
Cellular Automata
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
4d
📝
Concrete Syntax
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
1d
🎯
Performance Proofs
Aligning
Tree-Search Policies with Fixed Token
Budgets
in Test-Time Scaling of LLMs
arxiv.org
·
1d
🌲
B-tree Variants
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
4d
·
Discuss:
Hacker News
🔍
Concolic Testing
How to Reduce
Telemetry
Volume by 40%
Smartly
newsletter.signoz.io
·
4d
·
Discuss:
Hacker News
,
r/programming
👁️
Observatory Systems
To Be
Determined
anekstein.com
·
4d
·
Discuss:
Hacker News
🧮
Z3 Solver
How to set up Claude Code: a context-first approach
dhirajtourani.com
·
4d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Building the Future with AI That
Acts
devxt.com
·
4d
·
Discuss:
Hacker News
🏠
Homelab Orchestration
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
5d
·
Discuss:
Hacker News
🎯
Performance Proofs
Spike
from July 2025:
Creating
a Programming Language using Coding Agents on GitHub
dsyme.net
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
5d
·
Discuss:
Hacker News
🎛️
Audio Synthesis
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
🧬
Functional Programming
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Proof Engineering
Loading...
Loading more...
« Page 9
•
Page 11 »
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