larrytheliquid

5 ms·

1. 1.▲
   Turning Dafny Sets into Sequences [video](youtube.com)

   2 points by larrytheliquid 9mo ago|1 comments
2. 2.▲
   by larrytheliquid 9mo ago

   Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequen...
3. 3.▲
   Git-Inspired File Context Management for LLMs(colimit.io)

   1 points by larrytheliquid 2y ago|0 comments
4. 4.▲
   by larrytheliquid 12y ago

   http://typetheorypodcast.com
5. 5.▲
   by larrytheliquid 15y ago

   dj finny's dnb mixes have been sustaining me for years: http://www.mixcloud.com/finny/ i can't handle the monotony of trance, and dubstep can be a bit too much. a lot of dnb also tends to be repetitive, but finny keeps things lively enoug
6. 6.▲
   by larrytheliquid 16y ago

   Stick with current proper naming. 1. By using these names someone that comes across combinators somewhere else can relate to a previous "popular" jquery library they've used. This makes the new knowledge easier to digest thanks to partial f
7. 7.▲
   Developing micro-architectures in web apps and services(larrytheliquid.com)

   1 points by larrytheliquid 17y ago|0 comments
8. 8.▲
   by larrytheliquid 17y ago

   A little more info in the mailing list status update: http://www.mail-archive.com/macruby-devel@lists.macosforge.o...
9. 9.▲
   [Mosaica] Tour a 3d mosaic of WWDC09(m.osaica.com)

   2 points by larrytheliquid 17y ago|0 comments
10. 10.▲
    Presenting Clojure with a Gitorial(larrytheliquid.com)

    2 points by larrytheliquid 18y ago|0 comments