📋 Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

LSM trees in postgres
notes.billmill.org·2d
🌲B-tree Variants
Is it feasible to start a local forum in 2025?
lobste.rs·14h·
Discuss: Lobsters
📝ABNF Parsing
Code Sandbox MCP: A Simple Code Interpreter for Your AI Agents
philschmid.de·1d
🛡️WASM Sandboxing
Proton reaffirms commitment to security in independent audit
techradar.com·2h
⚖️Legal Compliance
Display Next Hackfest 2025
zamundaaa.github.io·1d·
Discuss: Lobsters, Hacker News, r/linux
🖥️Modern Terminals
How to Migrate from OpenAI to Cerebrium for Cost-Predictable AI Inference
ritza.co·1d·
Discuss: Hacker News
🔓Open Source Software
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·2d·
Discuss: Hacker News
👑Isabelle
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·1d·
Discuss: Hacker News
💻Programming languages
Organizational Lobotomy
cacm.acm.org·1d
🔓Hacking
Do Large Language Models Have a Planning Theory of Mind? Evidence from MindGames: a Multi-Step Persuasion Task
arxiv.org·14h
🔲Cellular Automata
Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
arxiv.org·14h
🧠Intelligence Compression
Teaching the Toaster: What We Get Wrong About AI "Learning"
dev.to·21h·
Discuss: DEV
🤖Grammar Induction
Recursive Equations For Imputation Of Missing Not At Random Data With Sparse Pattern Support
arxiv.org·14h
🌸Bloom Variants
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.org·1d
💻Programming languages
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·1d
🔲Cellular Automata
From Disagreement to Understanding: The Case for Ambiguity Detection in NLI
arxiv.org·1d
🎯Dependent Parsing
Implementing data contracts on Databricks for industrial AI pipelines
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Scientists investigate use of AI to speed analysis of nuclear materials
phys.org·1d
🌈Spectroscopy
Python Fundamentals: classes
dev.to·1d·
Discuss: DEV
💧Liquid Types
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·14h
📐Projective Geometry