Art+Logic will have representatives from our engineering, recruiting, and account management groups at the upcoming South by Southwest Interactive Festival from March 11-16th.
If you’ll be there and would like to meet up to discuss ways that we might work together, contact me directly at bgporter@artandlogic.com to set something up. You’ll be able to spot me easily — I’ll be the guy trying to figure out which of four simultaneous sessions that I really want to attend is the one that I’ll actually go to.
Exploring Dependent Types in Idris
When I'm not coding the "impossible" at Art+Logic, I take a lot of interest in new programming technologies and paradigms; even if they're not yet viable for use in production, there can often be takeaways for improving your everyday code. My current...