๐Ÿ“• subnode [[@jakeisnt/2021 04 19]] in ๐Ÿ“š node [[2021-04-19]]
๐Ÿ“• text contributed by @jakeisnt ๐Ÿ”—

18:21 for the future:

implement a SAT solver to learn how it works try to incorporate elements of that paper which is super cool check out https://github.com/max-heller/sat for a brief student implementation! https://github.com/theseus-os/Theseus this looks very interesting as well - shifting responsibility to the programming language from the OS! figure out what this is! https://github.com/BillHallahan/G2

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
๐Ÿ“– stoas (collaborative spaces) for [[@jakeisnt/2021 04 19]]