2021-11-01

• Today is the first day in which I'm trying to seriously leave my identity as a [[procrastinator]] behind.
  • Today is also the first day of a new phase in the [[Flancia]] project.

2021-11-01

• Remembered the phrase [[Designing for intermittency]]. After seeing a comment on indieweb-chat about how the SSB model (of expecting to be offline sometimes) should be an important part of [[Web 3.0]].

• [[Gordon Brander]]'s post [[Building a Second Subconscious]] is nice. His properties for what might make what you could call [[Convivial tools for thought]] are all pretty [[IndieWeb]]by.

  • https://subconscious.substack.com/p/second-subconscious

• [[John Brown]]

  • via [[Celebrate People's History: The Poster Book of Resistance and Revolution]]
  • https://justseeds.org/product/john-brown/

• The [[world]] is no one's, but we drive forward as if it belongs to each of us individually. [[property]]
• [[Experience]] is independent of [[proof]] or validation.
• Open Sky [[meditation]] unveils, it does not create that which is veiled.

some articles i've been sitting on

CS 6120: The Self-Guided Course: a phd-level course on program synthesis in programming language! builds considerably on knowledge i've picked up from computer-aided reasoning. Adrian Sampson: Program Synthesis is Possible: an excellent tutorial on using z3 to make a relatively simple programProgramming Languages program synthesis engine. check this out for more! Sara Du - On Practices: neat editorial platform with great design language and some cool interviews. worth considering something similar! Would be great to start interviewing others and hold a space for them in the future - I know so many interesting people. An Introduction to Session Types: Session types - used to model communication channels over the wire (TCP!). Requests are modeled with `Request`, and `Response` data consequently responds over the channel; where some channel can be modeled under the IO monad. the types are a communication protocol! look into the reduction semantics for parallel computation with these session types - lots of powerful tools here. may be fun to explore (as this is really just a formalization of networking to improve understanding)!

cards library for making card games!!

https://docs.racket-lang.org/cards/index.html pull