Alejandro Garcia
Writer, Developer, and Entrepreneur
Writes
26-Apr-04: Writting research grants
26-Apr-04: Writing programming tutorials
Literate Programming is a way to write documents and prose, at the same time. This is one my first serious attempts at making it practical for me. My most recent attempt can be found in Testorials.
26-Apr-04: Thinking about patents sawstop case
The Sawstop is a great invention that can saves many amputations for carpenters. Yet the techonology is not deployed on ever saw that exists. And superficially we could think is because of *patents* But in fact is a lot more complicated than that!
26-Apr-04: Testorial
Have you ever followed a tutorial only to discover the instructions are outdated the moment you try them? In this article, we will rearn how to write documentation that proves itself correct by running as a real CI test So your tutorials never lie to your readers again.
26-Apr-04: Stackable things
Things hat can stack inside each other are better, than things that can't. Prove me wrong.
26-Apr-04: Polimophic identifiers
Superficially look like internet urls. But are in fact the fundamental, and transparent abstraction for resources in Architecture Oriente Porgramming (AOP).
26-Apr-04: Mortimer adler how to read a book
26-Apr-04: Knowledge filesystem
26-Apr-04: How to brainstorm ideas
26-Apr-04: Difficult conversations
Have you ever followed a tutorial only to discover the instructions are outdated the moment you try them? In this article, we will rearn how to write documentation that proves itself correct by running as a real CI test So your tutorials never lie to your readers again.
26-Apr-04: Biyoocc
Yes an Object Oriented Compiler Compiler (YOOCC). Was a reasearch effort in Monash univeristy to create a compiler on top of Eiffel.
26-Apr-04: Awesome list of text to x
For me programming is a way of thinking. A way of making sense of the world. Therefore I use programming to learn other topics. On this list I collect programming languages, whose output is not binary code, But other "things" as a way to learn those other things.
26-Apr-04: Algorithms at the movies angels and demons
In the movie "Angels and Demons" they use a binary seach algorithm to find a bomb. Only to be defeated by a batery. This post is to express my frustration with the applicacion of the algorithm.
26-Apr-04: Actually writing the tutorial
This article is now super-seeded by Testorials.
26-Apr-04: AOP in Eiffel
Architecture Oriented Programming (AOP) is the paradigm proposed by Marcel P. Weiher in his Objective-Smalltalk language. The fundamental idea is to take the architecure of large systems like the Web, and shrink it to the level of a single program. Eiffel is the perfect language to express this idea, since "Design By Contract" was once of the inspirations for the HTTP protocol.
PhD
Proposal
LLMs have made producing gode 10x esier, but reviewing 20x more expensive. My PhD research is on how to make code so reliable that the revision becomes unnecessary.