📋 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

Intent, Not Tools, Defines the Discipline
brettshavers.com·14h
🕳️Information Leakage
Hey, Neurips and ICML. Time to do some scraping of your submissions to find the prevalence of LLM-reviewer instructions!
statmodeling.stat.columbia.edu·1d
💧Manuscript Watermarks
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·4d·
Discuss: Hacker News
💻Programming languages
Helix Editor Release 25.07 Highlights
helix-editor.com·1d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Divine Documentation
aneeshsathe.com·21h·
Discuss: Hacker News
🔗Concatenative Programming
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·18h·
Discuss: Hacker News
🔗Data Provenance
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
AI whiplash, and Neovim in the age of AI
dlants.me·4h·
Discuss: Hacker News
✨Effect Handlers
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
Three unrelated thoughts about working with LLMs
henrycourse.com·12h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·7h·
Discuss: DEV
🔗Topological Sorting
Sandboxing AI - Extending AI Responsibly
dev.to·1d·
Discuss: DEV
🔒WASM Capabilities
Source code analysis of Amazon Kiro
ghuntley.com·2d·
Discuss: Hacker News
🌀Brotli Dictionary
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety
Starting Project Now? My 2025 Tech Stack for Full Stack Development
hackernoon.com·4h
🔌Interface Evolution
Python Interview Questions
dev.to·17h·
Discuss: DEV
💻Programming languages
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·1d
✨Effect Handlers
Smarter Code Reviews: OpenAI Meets GitHub PRs
dev.to·2h·
Discuss: DEV
🤖Archive Automation
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·7h
⚖️Feed Ranking