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
74635
posts in
662.4
ms
Is my model "mind
blurting
"? Interpreting the dynamics of reasoning tokens with Recurrence Quantification Analysis (
RQA
)
arxiv.org
·
20h
⏱️
Time Series Analysis
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
20h
🎯
Hindley-Milner
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
4d
💰
TigerBeetle
Automatic
Programming
notes.billmill.org
·
4d
🎭
Program Synthesis
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
4d
·
Discuss:
Hacker News
,
r/LocalLLaMA
💬
Prompt Engineering
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
6d
🦀
Rust
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🤖
TVM
Low-dimensional materials for
intracellular
electrophysiology
: advances from synthesis to applications
nature.com
·
3d
🧬
Computational Biology
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
🎭
Program Synthesis
We are
QA
Engineers
now
serce.me
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧪
Testing
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
4d
·
Discuss:
Hacker News
🔍
Proptest
suzgunmirac/belief-in-the-machine
: Belief in the Machine: Investigating
Epistemological
Blind Spots of Language Models
github.com
·
5d
💬
Prompt Engineering
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
📊
Profile-Guided Optimization
**Abstract:** This paper proposes a novel framework,
HyperScore-Enabled
Autonomous Anomaly Mitigation (
HEAM
), for real-time anomaly detection and mitigation ...
freederia.com
·
3d
📈
Prometheus
Teaching
Claude Code Your
Standards
github.com
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🛡️
AI Security
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📱
Edge AI
**Abstract:** This paper introduces a novel framework, the Hybrid Symbolic-Neural Verification Engine (
HSNVE
), to
bolster
the legal reliability of AI-driven ...
freederia.com
·
4d
🧮
SMT Solvers
How I Program with LLMs
blog.wesleyabbey.io
·
5d
·
Discuss:
Hacker News
🦀
Rust Macros
Part 2: Why
Context
Is Everything
linkedin.com
·
4d
·
Discuss:
DEV
🌳
Git
Loading...
Loading more...
« Page 11
•
Page 13 »
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