✓ Formal Methods

Model Checking, Specification Languages, TLA+, Verification, Correctness

Feeds to Scour
SubscribedAll
Scoured 8830 posts in 246.0 ms
nilpunch/massive-ecs: Bitset-based ECS with rollbacks. C# library and Unity package.
github.com·8h
🚂Cranelift IR
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·14h·
Discuss: Hacker News
💬Prompt Engineering
Preview
Report Post
**Abstract:** This paper proposes a novel compositional framework for the formal verification of quantum circuits based on the mathematical structure of Grot...
freederia.com·2d
🏰Capability Machines
Preview
Report Post
Standards for trustworthy AI in the European Union: technical rationale, structural challenges, and an implementation path
arxiv.org·1d
🧠Symbolic AI
Preview
Report Post
Building LLMs from Scratch: 7 Essential Types & Complete Implementation Guide
pub.towardsai.net
·1d
🎨Domain-Specific Languages
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
Microsoft SDL: Evolving security practices for an AI-powered world
microsoft.com·18h
🛡️Security Type Systems
Preview
Report Post
Logic for Programmers [Leanpub PDF/iPad/Kindle]
leanpub.com·13h
🧩Constraint Logic
Preview
Report Post
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·4h·
Discuss: r/devops, r/node, r/programming, r/typescript
🎮Language Ergonomics
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Noel Welsh: Direct-style Effects Explained
noelwelsh.com·11h
💫Effect Systems
Preview
Report Post
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·1h·
Discuss: Hacker News
🛡️Security Type Systems
Preview
Report Post
Pascal-J/type-system-j: adds an optional type system to J language
github.com·14h·
Discuss: Lobsters
📐Type Theory
Preview
Report Post
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·1h·
Discuss: Hacker News
✨Gleam
Preview
Report Post
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·1d
🔬programming language theory
Preview
Report Post
Introduction to SAFE
safe-docs.erlang-solutions.com·1h
🛡️Security Type Systems
Preview
Report Post
Moving Faster and Reducing Risk: Using LLMs in Release Deployment
arxiv.org·16h
🚂Cranelift IR
Preview
Report Post
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·6h·
Discuss: Hacker News
⚡Live Coding
Preview
Report Post
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🗺️Region Inference
Preview
Report Post

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