✓ Formal Methods

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

Feeds to Scour
SubscribedAll
Scoured 5209 posts in 48.7 ms
Technical Perspective: Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language
cacm.acm.org·1d
💎Refinement Types
Preview
Report Post
Specs Are Back, But We're Missing the Tools
pierrezemb.fr·1d
💎Refinement Types
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·4d·
Discuss: Lobsters, Hacker News
🎯Finite Automata
Preview
Report Post
Generating Weir Code with LLMs
elijahpotter.dev·1d·
Discuss: Hacker News
🎨Domain-Specific Languages
Preview
Report Post
GitHub - james-stoup/emacs-org-mode-tutorial: A primer for users trying to make sense of Org Mode
github.com·3h
📚Self-Documenting Code
Preview
Report Post
On the expressive power of programming languages
sciencedirect.com·9h
🔬programming language theory
Preview
Report Post
Preventing Generics Contagion for code
reddit.com·1d·
Discuss: r/rust
🌊Gradual Effects
Preview
Report Post
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·3d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Knowledge Graphs as the Deterministic Engine to Break the Commercial Ceiling of Enterprise AI
pub.towardsai.net
·15h
🗄️Database Internals
Preview
Report Post
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
arxiv.org·1d·
Discuss: Lobsters
🏰Capability Machines
Preview
Report Post
GitHub - jign/SkyLifeguard: Assertive Programming framework for UE5 inspired by DbC
github.com·1d·
Discuss: Hacker News
🚂Error Propagation
Preview
Report Post
Understanding Conversational AI: Philosophy, Ethics, and Social Impact of LLMs
ubiquitypress.com·3h·
Discuss: Hacker News
📝Computational Linguistics
Preview
Report Post
Prompt engineering / OpenAI Platform
platform.openai.com·14h
💬Prompt Engineering
Preview
Report Post
zhaochenyang20/Awesome-ML-SYS-Tutorial
github.com·3d
✨Gleam
Preview
Report Post
Your job is to deliver code you have proven to work
simonwillison.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🎮Language Ergonomics
Preview
Report Post
CS 224 Fall 23
sitanchen.com·1d
🔢Algebraic Datatypes
Preview
Report Post
The success of 'natural language programming'
brooker.co.za·3d·
Discuss: Hacker News
🔬programming language theory
Preview
Report Post
Building a Transparent Keyserver
words.filippo.io·21h·
Discuss: Lobsters, Hacker News
🛡️Capability VMs
Preview
Report Post
Small Adventures with Small Language Models
blog.engora.com·15h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
Show HN: High-Performance Domain-Agnostic Rule Engine with AI-Powered Config
ayushmaanbhav.github.io·1d·
Discuss: Hacker News
📋Tablegen
Preview
Report Post