Feeds to Scour
SubscribedAll
Scoured 83101 posts in 445.6 ms
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·15h
🔄Protocol Design
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🔧MLIR
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
🔧MLIR
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚙️Programming
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org·1d
🔧MLIR
Railway Oriented Programming
fsharpforfunandprofit.com·16h·
Discuss: Hacker News
⚙️Programming
Differential Logic • 1
inquiryintoinquiry.com·1d
⚙️Programming
CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide
dev.to·5h·
Discuss: DEV
🔒Hardware Security
## Scalable Rule-Based Verification of Autonomous Weapon System Compliance with International Humanitarian Law Using Compositional Logic and Reinforcement Learning
freederia.com·12h
🛡️AI Safety
Boundary Engineering
cabreza.substack.com·12h·
Discuss: Substack
🛡️AI Safety
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·5h
🔧MLIR
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🔧MLIR
marzhall/BBL: A couple of tools for OpenEdge ABL
github.com·3h
⚙️Programming
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·11h·
Discuss: Hacker News
🌐Decentralized AI
The YeS Express
yamlscript.org·2h
⚙️Programming
Predicting operators reliability for control room alarm management using knowledge-based Bayesian networks
sciencedirect.com·16h
🛡️AI Safety
First Proof | Research-Level Math for AI Evaluation
1stproof.org·20h·
Discuss: Hacker News
🌐Decentralized AI
Building fault-tolerant applications with AWS Lambda durable functions
aws.amazon.com·14h
📜Smart Contracts
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com·7h·
Discuss: r/kubernetes
🔧MLIR
Kotlin Symbol Processing: создаём свой процессор
habr.com·17h
⚙️Programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help