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
✅ Model Checking
Formal Methods, State Space Exploration, Temporal Logic, SPIN
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74066
posts in
832.9
ms
TrajAD
: Trajectory Anomaly Detection for
Trustworthy
LLM Agents
arxiv.org
·
1d
🔍
DTrace
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
13h
📝
Parsing
Concurrency Flavours --
Lucian
Radu
Teodorescu
: Standard C++
isocpp.org
·
5d
🔄
Concurrency
Pydantic
Monty
: A Secure Python Interpreter for AI Agents
pydevtools.com
·
4d
🏗️
Pavex
Building
MoniBot
: Why We Ditched
OpenClaw
and Built Our Own Autonomous Agent in 48 Hours
dev.to
·
2d
·
Discuss:
DEV
⚓
Anchors
Should Test Expected
Values
Come from the Same Place as the
Implementation
?
dev.to
·
2d
·
Discuss:
DEV
🧬
Mutation Testing
The dynamic
frontier
of artificial intelligence
nature.com
·
4d
🎭
Program Synthesis
Your Agent Is
Slow
Because of
Inference
futureagi.com
·
4d
·
Discuss:
DEV
💬
Prompt Engineering
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔤
Suffix Automata
Is Your Machine Learning
Pipeline
as Efficient as it Could Be?
kdnuggets.com
·
4d
📱
Edge AI
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
3d
·
Discuss:
Hacker News
🌊
CALM Theorem
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
🔥
PyTorch
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
5d
·
Discuss:
Substack
🎭
Program Synthesis
How to
effectively
write
quality code with AI
heidenstedt.org
·
4d
·
Discuss:
Hacker News
🎭
Program Synthesis
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🌳
Tree-sitter
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
🎭
Program Synthesis
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🦙
Ollama
MatPy
– Pure Python linear algebra library with ODE
solvers
github.com
·
4d
·
Discuss:
Hacker News
📐
Linear Algebra
**Abstract:** This paper proposes a novel framework,
HyperScore-Enabled
Autonomous Anomaly Mitigation (
HEAM
), for real-time anomaly detection and mitigation ...
freederia.com
·
4d
📈
Prometheus
**Abstract:** This paper introduces a novel framework, the Hybrid Symbolic-Neural Verification Engine (
HSNVE
), to
bolster
the legal reliability of AI-driven ...
freederia.com
·
5d
🧮
SMT Solvers
Loading...
Loading more...
« Page 12
•
Page 14 »
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