🏛 Stoas near [[@agora/2021 10 23]]
📖 HedgeDoc at https://doc.anagora.org/2021-10-23
📖 Etherpad at https://stoa.anagora.org/p/2021-10-23
📹 Jitsi at https://meet.jit.si/2021-10-23
📚 Node [[2021-10-23]]
↳ 📓 Resource [[@agora/2021 10 23]]
2021-10-23
- [[directories]]
- [[eris]]
- [[alice chikara]]
- [[lucid]]
- [[enlightened]]
- [[las aventuras de lurup y burupardo]]
- [[flancian]]
good reads from today
http://www.galaxykate.com/ https://v21.io/
you already know formal methods!
https://galois.com/blog/2021/10/you-already-know-formal-methods/
-
formal methods is just a matter of reasoning about programs!
- don't crash
- always check error codes
- always fill a field with a value
- being incredibly confident in these code invariants is incredibly difficult and incredibly valuable; building a complete picture of this in your mind and being able to both apply this to new code and broadcast to others is incredibly important
- has strong endorsement of `software foundations` - check the tool out!
- starting with invariants: start with a blank document and specify what you think a program should do. describe why you think it should have that behavior, documenting everything you have to assume about why your program works the way you think it does; it will have more assumptions and fewer strong invariants than you think it does.
- often correctness will depend on inputs in ways the type system can't specify - this is hard and bad! you should encode things in your language.
- good to take time to document everything beforehand
why i am not a maker
https://www.theatlantic.com/technology/archive/2015/01/why-i-am-not-a-maker/384767/
wonderful essay on the beauty of maintenance vs making. there's something romantic about preservation; ensuring stability is, in many cases, far more difficult than some sort of creation or innovation.
"what do i make?" -> "why should my identity be defined by what i make?" prescriptive technologies: the factory; descriptive: where the creator controls the process as it happens behind every creation is an entire, invisible infrastructure making is symptomatic of our reward systems: creation is coding: provides high salary, prestiege, stock options, with little regard for the quality of the product being developed. reminds me of conversations with gus about engineering time and qa - much longer time scales, much more work, much more care, and a better appreciation for the longetivityof the final product. code is making because we sell it! maintenance is teaching, communicating (not preserving) tradition, and ensuring everything works and moves smoothly. when everything "just works", it's been perfectly and wonderfully maintained.
https://en.wikipedia.org/wiki/Baumol%27s_cost_disease cost disease: rise in salaries of jobs producing little to no increase of labor productivity. it's insane!
teaching is about learning - not making students and lesson plans, but encouraging relationships with students that will occur time and time again.
i used to think 'maintainer' label on open source software was ugly - now i think it's probably the most noble goal of all.
**
Semana 2021-10-25
Facultad
Seminario Literatura ENS
- Leer [[The Name of the Rose]]
- Leer [[The Task of the Translator]] de Walter Benjamin
- Leer [[Experiences in Translation]] de Umberto Eco
Seminario Lingüística ES
- Leer [[Analyzing Music in Advertising]] de Nicolai Jørgensgaard Graakjær
VL Literatura ES
- Leer [[La novela española contemporánea]] de Juan Goytisolo
- Ver [[Operación Masacre]] de Jorge Cedrón
Seminario Literatura ES
- Leer [[El crítico practicante]] de Fausto Rivera Yáñez
- Leer [[Discurso de Caracas]] de Roberto Bolaño
Seminario Literatura y Política
- Leer [[What is Literature?]] de Sartre
2021-10-23
-
[[Public space]].
- Protect public spaces.
"when public spaces are eliminated, so ultimately is the public; the individual has ceased to be a citizen capable of experiencing and acting in common with fellow citizens"
— [[Rebecca Solnit]]
- For various reasons I only finally just got my brother's Christmas 2020 gift to me - it was [[Celebrate People's History: The Poster Book of Resistance and Revolution]] and it is fantastic. Over a hundred inspiring posters celebrating moments of resistance and revolution.