📋 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

Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·17h
🔲Cellular Automata
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·13h
⚔️Lean Theorem
Get Back To WARP
binary.ninja·19h
🧪Binary Fuzzing
Tree of AST: A Bug-Hunting Framework Powered by LLMs
darkreading.com·1d
⚡Proof Automation
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·1h·
Discuss: Substack
📄Text Chunking
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·19h·
Discuss: Hacker News
⚡Dependent Rust
Enhance Geospatial Analysis and GIS Workflows with Amazon Bedrock Capabilities
aws.amazon.com·18h
🌊Streaming Systems
Hacker and Physicist – A Tale of "Common Sense"
supasaf.com·20h·
Discuss: Hacker News
🔐Cryptographic Archaeology
AI Code Generation: Trust and Verify, Always
thenewstack.io·22h
⚙️Proof Engineering
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·15h·
Discuss: Hacker News
🕸️Neo4j
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·11h·
Discuss: Hacker News
⚡Proof Automation
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Centrally Collecting Events from Go Microservices
pliutau.com·23h·
Discuss: r/golang
📝Log Parsing
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·1d·
Discuss: Hacker News
🔗Concatenative Programming
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·2d
🔗Concatenative Programming
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org·1d
🔗Constraint Handling
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·2d·
Discuss: Hacker News
📄Text Chunking
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·10h·
Discuss: DEV
📋Format Specification