2023/10/04

02:51

This is ET

On the plane to Paris right now

My intuition about how Mathematical proofs can be truly exhaustive is not fleshed out.

Are all Mathematical proofs just extensions of deduction ?

Not even grammar, just knowing words and being able to connect any idea to another idea

Even if you speak poorly, if you can give a listener an idea that you have a thought they didn’t think, that seems to appear intelligent

Not sure about this one, but there’s something to it

Appearing intelligent perhaps, but maybe also being intelligent?

Need to think on this more

Relates to LLM

12:58

About to take off from Paris

Is the only problem with Car dependency that we didn’t know to keep cars out of our cities ?

17:13

at the Hilton in Bordeaux

Henderson and Clark

Types of architecture changes

Incremental innovation

Modular innovation

Architectural innovation

Radical innovation

process for making Architectural Decisions

thinking about weighting decisions according to dependencies

essentially dealing with sensitivity and connectivity

What is good architecture?

reduce ambiguity

employ creativity

manage complexity

meet the goals of the system

does your system produce the desired output

appropriate and creative ways to create the solution neutral function while managing complexity

provides a consistent and comprehensible set of system images

21:13

Bordeaux feels like the average between Paris and Florence right now

Walking around at night