Ben Taitelbaum

I start up startups at Coshx Labs and tinker with technologies for fun.

[Ben Taitelbaum @coshx]

crap, Ford-Fulkerson... I always misremember that one for some reason. https://t.co/QvepGEdUP5

[Ben Taitelbaum @coshx]

@johnsonbradleym I really enjoyed going through the https://t.co/MFjbgnDSqZ arcade to improve my python skills and refresh on several cs topics. I don't know if it's still there, but the third problem in the 2sigma bot challenge was a max flow problem (so like Floyd-Fulkerson)

[Ben Taitelbaum @coshx]

@johnsonbradleym I really enjoyed going through the https://t.co/MFjbgnDSqZ arcade to improve my python skills and refresh on several cs topics. I don't know if it's still there, but the third problem in the 2sigma bot challenge was a max flow problem (so like Floyd-Fulkerson)

[Ben Taitelbaum @coshx]

@CadetAdrien @johnsonbradleym Stream processing in java8 is pretty fun.

[Ben Taitelbaum @coshx]

@jxxf oh man, that typo...

[Ben Taitelbaum @coshx]

@jxxf The PR represents a single logical idea / feature / bugfix, so when it's accepted, you no longer need to care about the work / mistakes along the way (e.g. "fixes fallout from review") and instead replace with a single merge commit with history-worthy content.

[Ben Taitelbaum @coshx]

@xaprb So here I trace the edge of the deck in pink, and then use the angle trisection to find the red line, which points to... oh crap, that's not 1/3 of the cards, and the diagram isn't drawn to scale (╯°□°）╯︵ ┻━┻

[Ben Taitelbaum @coshx]

@xaprb Or just measure out the 30° angle using a protractor (if you have one) or trig (for an approximation). Of course at that point you could just take the height of the deck / 3.

[Ben Taitelbaum @coshx]

@xaprb With the stack of cards on its edge, you can draw a rectangle around them. Then trisect one of the 90° angles ( https://t.co/y4YGQ5Mtje ) which now gives you a template for where a third of the deck is.

[Ben Taitelbaum @coshx]

@xaprb Yes/no questions don't really convey how much someone understands. It's okay to ask, "can you tell me what your understanding of that is?" (Possibly prefaced by explaining why you're asking if you're worried it comes across as pedantic)

[Ben Taitelbaum @coshx]

@thetiebandit You can't tell much in 10 minutes, especially with candidates who take 15 minutes to get over nerves. But how about asking them to describe something they've built / designed that they're proud of? Lots of good follow ups (why proud, how built, etc)

[Ben Taitelbaum @coshx]

@madmain #bum #bum #bum

[Ben Taitelbaum @coshx]

If you step into the shower at 11:59:00 and think about regular expressions, you can have a (K|c)le(e|a)ne? closure to 2017.

[Ben Taitelbaum @coshx]

@amontalenti Whenever I hear a founder success story, I always think of this talk: https://t.co/vgJKgnLBze

[Ben Taitelbaum @coshx]

@jxxf In my head I always pronounce it like cdr I'm lisp, so I hear it as 'kə-dl

[Ben Taitelbaum @coshx]

@Codeanywhere Before, it was just a standalone environment that felt isolated, but now it can be integrated into a development lifecycle like for Lambda functions or other AWS services.

[Ben Taitelbaum @coshx]

Amazon's level-up'd cloud9 from a fun sandbox environment to a powerful cloud-based IDE. This looks like it'll become my go to environment for the training classes I teach.

[Ben Taitelbaum @coshx]

@franktisellano @SolfromBrooklyn Not at all. Thanks for the mentioned. @SolfromBrooklyn !

[Ben Taitelbaum @coshx]

@pjstadig Like, we can have a set of all non self-containing sets of size less than the memory available on a computer without introducing a paradox.

[Ben Taitelbaum @coshx]

@pjstadig I'm focusing less on the fact that we're using computers to describe the type theory and more about how we can limit the types themselves to all be discrete types rather than over all of ℝ

[Ben Taitelbaum @coshx]

@pjstadig I recall proving the incompleteness theorem via a diagonalization method, which relies on an infinite set. Does it still hold over a finite set of numbers?