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
112834
posts in
410.7
ms
Implementation of Polynomial
NP-Complete
Algorithms Based on the
NP
Verifier
Simulation Framework
arxiv.org
·
22h
🧮
Functional Programming
Implicit methods for reliability analysis of
phased-mission
systems subject to
cascading
deterministic common cause failures
sciencedirect.com
·
11h
🧮
Functional Programming
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
🧮
Functional Programming
Schema Validation Comes to
Pulumi
ESC
with fn::validate
pulumi.com
·
13h
🌳
Elm
From 97% Model Accuracy to 74% Clinical Reliability: Building
RSN-NNSL-GATE-001
dev.to
·
10h
·
Discuss:
DEV
🌳
Elm
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
8h
·
Discuss:
Hacker News
🌳
Elm
Current Limit of AI
Automous
Coding is a 100,00 Rust Based C
Compiler
Built in 2 Weeks
nextbigfuture.com
·
3h
🦀
Rust
The
prehistory
of generative grammar and
Chomsky
’s debt to Emil Post
benjamins.com
·
6h
·
Discuss:
Hacker News
🧮
Functional Programming
zkzkGamal/zkzkAgent
:
zkzkAgent
is a powerful local AI assistant designed for system management and automation. Built on LangGraph and Ollama
github.com
·
6h
·
Discuss:
DEV
,
Hacker News
🌳
Elm
How to think like a computer
scientist
: Learning with C
open.umn.edu
·
27m
·
Discuss:
r/C_Programming
🧮
Functional Programming
Et Tu, Default
Creds
? Introducing
Brutus
for Modern Credential Testing
praetorian.com
·
2h
❄️
Nix
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
3d
🌳
Elm
Fully Countering
Trusting
Trust through Diverse Double-Compiling (
DDC
) - Countering Trojan Horse attacks on Compilers
dwheeler.com
·
1d
📐
Haskell
Ask HN: How do you
audit
LLM code in programming
languages
you don't know?
news.ycombinator.com
·
8h
·
Discuss:
Hacker News
📐
Haskell
AI
Proactively
Finds Software Bugs Before Failures In Realistic
Codebases
quantumzeitgeist.com
·
8h
🌳
Elm
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
2d
·
Discuss:
Hacker News
🌳
Elm
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
🧮
Functional Programming
Protected:
Cyata
Research: Chaining SQL Injection and
Deserialization
in LangGraph for RCE
cyata.ai
·
14h
🌳
Elm
The
Redundancy
Paradox
mihirdeshpande.com
·
10h
·
Discuss:
Hacker News
🧮
Functional Programming
AI-native software
factory
with the
Phoenix
Architecture
gist.github.com
·
10m
·
Discuss:
Hacker News
🌳
Elm
Sign up or log in to see more results
Sign Up
Login
« Page 2
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