📚 node [[2020 10 04]]

2020-10-04

2020-10-04

Just reinstalled koreader on my kobo

I just reinstalled [[koreader]] on my [[kobo]] ereader. It's come on so much since last time I used it (a year or two ago?) The fact that it's a built-in menu in Nickel (Kobo's default system) makes it so much easier to launch.

Dark mode is so nice. And now it has its own [[Wallabag]] plugin, for reading articles you've saved online, which is awesome. (I was using Wallabako, which was cool but no longer needed).

My notes here: [[Installing koreader on my Kobo]].

Listening: [[An ethics of agency]]

Listening to the FOSS and Crafts episode on [[an ethics of agency]], Chris Webber's ethical framework. Liking it so far, and the links to the recent [[Declaration of Digital Autonomy]].

https://fossandcrafts.org/episodes/11-an-ethics-of-agency.html

20:27 favorite manga

blame! one piece akira (check it out!) bleach beginning and art (but not story......)

20:55 hillel newsletter

http://email.mg.buttondown.email/c/eJyNTstuhDAM_BpyS5QnIYccti39jZUh3g1tgApSUP--yV4q9bSSbY3tmdEE36HlypLJSy654FzWKSwTzL5a8eJsL_reuDdzaTSf72z4znldwnouDGeYEom-SowU2EmrjROj1la1QjpseRChsyT5mPPX3qhLI99L_fcopzilhOmEnwXLBtsYp6OiEzekAwQKme6113TgtpcP2fwHfOIYD8iQSrh7tWLjOpPssR1bY0xHB367Ua0C0EF2ljrAoFGhAiPIX4zrI8Z1Cs8JH-ynqL8LVGqg

  • semidefinite programming

satsolving notes

famous np complete problem: must find satisfying formula for the boolean varaibles and statement for sanity we format the statement to assume conjunctive normal form find assignment that satisfies the equation

all np-complete problems can be converted to 3-sat problem sat solvers can quickly solve problems with lots of variables! this is mostly used for dependency management. but how do you prove a transition from your problem into sat?

  • aside: cleverness is communicated in a domain with experience, but can be transferred

  • posits that cleverness is only necessary with a lack of communication

  • smt community -> off of sat -> puts effort into affordances

📖 stoas
⥱ context
⥅ related node [[a pattern language]]
⥅ related node [[ablueaeshna]]
⥅ related node [[add]]
⥅ related node [[agora v1]]
⥅ related node [[an ethics of agency]]
⥅ related node [[buddhism]]
⥅ related node [[communication]]
⥅ related node [[declaration of digital autonomy]]
⥅ related node [[deep work]]
⥅ related node [[ding levery]]
⥅ related node [[driven to distraction]]
⥅ related node [[dyokomizo]]
⥅ related node [[interop]]
⥅ related node [[kobo]]
⥅ related node [[koreader]]
⥅ related node [[matterbridge]]
⥅ related node [[scattered minds]]
⥅ related node [[telekommunism]]
⥅ related node [[theproject is]]
⥅ related node [[wallabag]]
⥅ related node [[zulip]]