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 ?
Appearing intelligent is knowing words
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?
Prediction is the same as intelligence
Need to think on this more
Relates to LLM
Are tangled cords like shuffled cards[[?]]
{{video https://youtu.be/8DBhTXM_Br4?si=0u7VwQNdsnYQjQZI}}
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
EM.411 meeting Bruce Cameron
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
feels like category theory
What is good architecture?
3
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