dkimbel

3 ms·

1. 1.▲
   by dkimbel 3y ago

   If you're into binary math games, also see Flippy Bit And The Attack Of The Hexadecimals From Base 16 (note: site has sound). https://flippybitandtheattackofthehexadecimalsfrombase16.com...
2. 2.▲
   Haskell Mini-Patterns Handbook(kowainik.github.io)

   4 points by dkimbel 6y ago|0 comments
3. 3.▲
   by dkimbel 7y ago

   For the curious, 'Guix' is pronounced the same way as 'geeks' [0]. 0: https://www.gnu.org/software/guix/manual/en/html_node/Introd...
4. 4.▲
   by dkimbel 8y ago

   I think we're of a similar mind -- I was imagining a system where a user could input certain premises they agree with or values that they hold, and then they could see what conclusions follow (or would follow, with the addition of furt
5. 5.▲
   by dkimbel 8y ago

   Something related to this Logipedia that I'd be interested to see (or work on building one day) is a site intermediate between this and Wikipedia -- a site where users can view or create logical arguments, and combine smaller arguments
6. 6.▲
   by dkimbel 8y ago

   A few of the images on this site make it clear that LI2 is fudging its diversity numbers. That's concerning; if I were Hogwarts or Stark Industries, I'd pull out of the partnership.