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
76228
posts in
1.10
s
Teach
your models to act, not just be
thoughtbot.com
·
2d
⚓
Anchors
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
1d
🎭
Program Synthesis
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
Rust
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
2d
💰
TigerBeetle
[AWS] Parallel execution of tasks using
Kiro
's custom
subagents
[
Kiro
]
dev.to
·
4h
·
Discuss:
DEV
🦓
Zookeeper
NUASM
— Neuro‑Universal‑ASM: The World's First Native Multi‑Language
Assembler
dev.to
·
5h
·
Discuss:
DEV
🏗️
NUMA
The dynamic
frontier
of artificial intelligence
nature.com
·
1d
🎭
Program Synthesis
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
2d
·
Discuss:
Hacker News
🌳
Fenwick Trees
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
2d
·
Discuss:
r/golang
🔤
Suffix Automata
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
2d
·
Discuss:
Substack
🎭
Program Synthesis
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
AI Security
**Abstract:** The hierarchy problem, stemming from the unexpectedly low
electroweak
scale compared to the Planck scale, necessitates novel theoretical
framew
...
freederia.com
·
1d
⚓
Anchors
Released:
DeepBrainz-R1
— reasoning-first small models for agentic workflows (
4B
/ 2B
huggingface.co
·
2d
·
Discuss:
Hacker News
,
r/LocalLLaMA
💬
Prompt Engineering
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🤖
TVM
The End of the “
Vibe
Check”:
Introducing
Test-Driven Context Engineering
spara.co
·
2d
·
Discuss:
Hacker News
🎲
Deterministic Simulation
Predicting
operators
reliability
for control room alarm management using knowledge-based Bayesian networks
sciencedirect.com
·
1d
🏠
Home Automation
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
1d
·
Discuss:
Hacker News
🌊
CALM Theorem
Automatic
Programming
notes.billmill.org
·
3d
🎭
Program Synthesis
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
1d
·
Discuss:
Hacker News
🔥
PyTorch
Your Agent Is
Slow
Because of
Inference
futureagi.com
·
1d
·
Discuss:
DEV
💬
Prompt Engineering
Loading...
Loading more...
« Page 5
•
Page 7 »
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