⚙️ Proof Engineering - matmat · Scour

AI-Driven Formal Theorem Proving in the Lean Ecosystem

leandojo.org·1d

⚔️Lean Tactics

JavaScript vs Go: A Deep Dive into Syntax and Philosophy

dev.to·10h·

Discuss: DEV

🔗Concatenative Programming

Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo

ko-chan.github.io·13h·

Discuss: DEV

🔐Capability Systems

Understanding Automata Theory Through Route Maps

dev.to·52m·

Discuss: DEV

🎯Automata theory

Your Team Uses AI. Why Aren't You 10x Faster?

bits.logic.inc·10h·

Discuss: Hacker News

📏Code Metrics

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

flyspeck/flyspeck: The formal proof of the Kepler conjecture

github.com·14h·

Discuss: Hacker News

λLambda Formalization

A Validated Semantics for LLVM IR

sf.snu.ac.kr·18h

✅Formal Methods

Final (?) version of my LLM proofreading macro

leancrew.com·12h

⚔️Lean Tactics

From Intent to Proof: Dafny Verification for Web Apps

midspiral.com·1d·

Discuss: Lobsters, Hacker News

Building an Intelligent Resume Transformation Agent Powered by LangGraph and gpt-4o-mini

pub.towardsai.net·1h

🤖Archive Automation

Streamlinear, a new MCP for Linear

blog.fsck.com·1d

📏Linear Logic

andrewdoran.uk·11h

📈Time Series

Vibe Coding vs. Vibe Engineering

loufranco.com·1d

📏Code Metrics

Treating Functions as Vectors in Hilbert Space

hackaday.com·2d

📐Linear Algebra

Test, Don't (Just) Verify

alperenkeles.com·4d·

Discuss: Hacker News, r/programming

🎯Performance Proofs

The 3 a.m. Call That Changed The Way I Design APIs

thenewstack.io·11h

👁️Observatory Systems

<p>**Abstract:** This paper proposes a novel framework for Federated Quantum Key Distribution (FQKD) integrating adaptive trust management mechanisms to enhance...

freederia.com·4h

🔐Quantum Security

Rubenerd: An “AI” check-in

rubenerd.com·6h

🌀Brotli Internals

On LLMs in programming

blog.danieljanus.pl·1d·

Discuss: Lobsters, Hacker News

🔩Systems Programming

Loading more...