πŸ› Stoas near [[@agora/2021 11 01]]
πŸ“– HedgeDoc at https://doc.anagora.org/2021-11-01
πŸ“– Etherpad at https://stoa.anagora.org/p/2021-11-01
πŸ“Ή Jitsi at https://meet.jit.si/2021-11-01
πŸ“š Node [[2021-11-01]]
↳ πŸ““ Resource [[@agora/2021 11 01]]

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.
  • 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

2021-11-01

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)