Top New Best Ask Show Jobs

calebh

526 karma · joined December 30, 2010

Senior Member of the Technical Staff at Draper Laboratory in the formal methods group.

Website: https://helbl.ing/

submissions comments

Kim Jong-Il and Me: How to Build a Cyber Army to Defeat the U.S. (2010)

youtube.com·1 pts·calebh·

Deriving special relativity from the Pythagorean theorem

youtube.com·2 pts·calebh·

Monads as Programmable Semicolons

calebh.io·1 pts·calebh·

Breaking down the walls between programs

calebh.io·1 pts·calebh·

Composing reactive programs with MaestroFlow

calebh.io·1 pts·calebh·

Inline: Now You're Coding with Portals

youtube.com·2 pts·calebh·

Inline: Efficient Source Code Editing and Manipulation with Code Portals

youtube.com·2 pts·calebh·

Writing a simple type inference solver

calebh.io·3 pts·calebh·

Unifying the Software Toolchain

calebh.io·3 pts·calebh·

Introducing Juniper – A functional reactive programming language for the Arduino

juniper-lang.org·6 pts·calebh·

Propulsion: A JavaScript game development framework for the canvas element

propulsionjs.com·2 pts·calebh·