Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
AI generated code means we need better tooling to expose and explore the behavioural changes code changes cause.
-
A framework for validating the outputs of coding agents is what's currently missing in the AI coding agent space.
-
Formal logic is incredible and allows you to express arguments with precision you've never had before.
-
Writing is powerful.
-
Today we're going to be building our own Webmention receiver and learn how to send webmentions...
-
The HTTP protocol is everywhere.
-
I don't think it's an exaggeration to say that protocols are at the foundation of modern civilization.
-
Click here to see an interactive version of the 16-bit adder we develop below.