Closing the verification loop: Observability-driven harnesses for building with agents

en [software engineering, ai, testing, datadog]

Specifiability is the Leverage

en [software engineering, ai]

The Mechanics of Autonomous Software Translation

en [software engineering, ai, testing]

LLMs could be, but shouldn't be compilers

en [software engineering, ai]

Test, don't (just) verify

en [software engineering, testing, formal methods]

Temporal Shrinking

en [software engineering, testing]

Verification is Not the Silver Bullet

en [software engineering, ai]

Designing A Digital Restaurant

en [software engineering, system design]

How can we secure Package Managers?

en [software engineering, security]

From Hand-Tuned Go to Self-Optimizing Code: Building BitsEvolve

en [software engineering, ai, optimization, datadog]

Breaking Verifiable Abstractions

en [software engineering, ai]

Filling in the Missing Bits

en [software engineering, open source]

Time Budget as a Software Constraint

en [software engineering, performance, testing, software design]

Verifiability is the Limit

en [software engineering, ai]

The Lies About Abstraction

en [software engineering]

Software Demystified: How does a Text Box Work?

en [software engineering, algorithms]

Hurdles of Designing A Layout Model

en [software engineering]

The Technical Pie (Yet-Another-Tech-Debt-Analogy)

en [software engineering]

Learner’s Guide to Dynamic Programming#2

en [software engineering, algorithms]

Learner’s Guide to Dynamic Programming#1

en [software engineering, algorithms]

Learner’s Guide to Coq Theorem Prover#1

en [software engineering, algorithms, formal verification]

Some Thoughts on Academia vs Industry(with a focus on Computer Science)

en [computer science, software engineering]

Learner’s Guide to Property Based Testing#1

en [software engineering, testing, computer science, learning from learners]

Introduction to Learning from Learners

en [software engineering, testing, computer science, learning from learners]