jdabbs

4 ms·

1. 1.▲
   by jdabbs 11y ago

   You should be able to generate one per-team at https://api.slack.com/web (scroll down to the bottom)
2. 2.▲
   by jdabbs 11y ago

   The motivating use case is: I'm doing some topology research, and exploring a new property P. I've determined how it relates to some well-studied properties A,B and C (say A => P, P => B, and P => not C). I'd like a
3. 3.▲
   by jdabbs 11y ago

   Author checking in. There hasn't been much user-facing progress on this lately, but a colleague is currently working on a project to expand the scope and content, and I've been tinkering on integrating with Coq (as time permits (w
4. 4.▲
   Exploring Rails' ObjectSpace(jdabbs.com)

   3 points by jdabbs 12y ago|0 comments
5. 5.▲
   Puzzling with Ruby(engineering.emcien.com)

   1 points by jdabbs 13y ago|0 comments