awruef

3 ms·

1. 1.▲
   by awruef 11y ago

   "Once you internalize the many-worlds approach to programming, the implementation is pretty straightforward." are you serious? this is why people don't take Haskell seriously.
2. 2.▲
   by awruef 11y ago

   one wonders what the difference between "delete" and "modify" is...
3. 3.▲
   Dynamic Software Updating: Linux 4.0 and Beyond(pl-enthusiast.net)

   59 points by awruef 11y ago|8 comments
4. 4.▲
   by awruef 12y ago

   Yay :)
5. 5.▲
   by awruef 12y ago

   the parent comment has a link that includes code and a blog post. clang-analyzer uses "symbolic execution". the work I've been doing in extension also uses symbolic execution.
6. 6.▲
   by awruef 12y ago

   happy to see that someone else saw that! I mostly wrote that post / code as a tutorial on how to write checkers in a symbolic infrastructure, I think it was a little successful. I've been working on making checkers like that bette