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
✓ Formal Verification
Proof Assistants, Correctness, TLA+, Model Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
122220
posts in
541.7
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
14h
🧮
Functional Programming
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
🧮
Functional Programming
Rule Variant Restrictions for the
Tamarin
Prover
eprint.iacr.org
·
1d
🧮
Functional Programming
Coding Agents Meet
Distributed
Reality
jhellerstein.github.io
·
2h
·
Discuss:
Hacker News
🌳
Elm
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
23h
·
Discuss:
Hacker News
,
r/rust
🧮
Functional Programming
Implicit methods for reliability analysis of
phased-mission
systems subject to
cascading
deterministic common cause failures
sciencedirect.com
·
3h
🧮
Functional Programming
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
15h
·
Discuss:
Hacker News
🌳
Elm
From 97% Model Accuracy to 74% Clinical Reliability: Building
RSN-NNSL-GATE-001
dev.to
·
3h
·
Discuss:
DEV
🌳
Elm
EduC
++
Documentation
educplusplus.com
·
6h
·
Discuss:
r/cpp
🌳
Elm
Raising the Bar on Humanity’s Last Exam (
HLE
) and
SimpleQA
poetiq.ai
·
12h
🧮
Functional Programming
Symfony
AI Agents in
Symfony
7.4: Best
Practices
for Clean Architecture, Tools, and Testing
hackernoon.com
·
15h
🌳
Elm
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
1h
·
Discuss:
Hacker News
🌳
Elm
A
note
on
parameterized
testing
blog.gnoack.org
·
20h
🧮
Functional Programming
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
1d
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
🌳
Elm
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
2d
🌳
Elm
Schema Validation Comes to
Pulumi
ESC
with fn::validate
pulumi.com
·
5h
🌳
Elm
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
38m
·
Discuss:
Hacker News
🌳
Elm
Comparing
941cf65707
..
.0224df2b9a
github.com
·
7h
🧮
Functional Programming
Protected:
Cyata
Research: Chaining SQL Injection and
Deserialization
in LangGraph for RCE
cyata.ai
·
7h
🌳
Elm
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
1d
📐
Haskell
Loading...
Loading more...
« Page 1
•
Page 3 »
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