📋 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

[$] How to write Rust in the kernel: part 3
lwn.net·1d
🔩Systems Programming
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·2d
🦀Rust Macros
This “smart coach” helps LLMs switch between text and code
news.mit.edu·2d
💻Local LLMs
Students, here are 5 key things to know when learning how to train large language models
techradar.com·3d
💻Local LLMs
Meet the Hybrid Tester: The Future of QA in the Age of AI
devops.com·1d
🔍Concolic Testing
Deploy a full stack voice AI agent with Amazon Nova Sonic
aws.amazon.com·22h
🌊Streaming Systems
AwesomeAssertions/AwesomeAssertions
github.com·2d
✅Format Verification
Shift Left Meets Kafka: Testing Event-Driven Microservices (2024)
signadot.com·1d·
Discuss: Hacker News
🌊Streaming Systems
Getting past LLM "day one" problem with MIRIX
fujimon.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·3d
🌳Context free grammars
Grafana and LLMs
opeonikute.dev·1d·
Discuss: Hacker News
🧠Query Planners
Maybe writing speed actually is a bottleneck for programming
buttondown.com·1d·
Discuss: Hacker News
📏Code Metrics
Canadian Cross
en.wikipedia.org·17h·
Discuss: Hacker News
🏗️Compiler Archaeology
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·21h·
Discuss: Hacker News
⚡Proof Automation
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·3h·
Discuss: Hacker News
🦀Rust Borrowing
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Fully Homomorphic Encryption and the Dawn of a Truly Private Internet
bozmen.io·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Writing the Perfect Question (2010)
codeblog.jonskeet.uk·1d·
Discuss: Hacker News
🔗Constraint Handling
The Big LLM Architecture Comparison
magazine.sebastianraschka.com·2h·
Discuss: Hacker News
💻Local LLMs