m-hilgendorf

7 ms·

1. 31.▲
   by m-hilgendorf 7y ago

   I'm not really an academic, this is mostly something I read about in bits and pieces. It's my own observation that roughly everything that needs a formal model can be expressed that way, the formulation of those two functions can
2. 32.▲
   by m-hilgendorf 7y ago

   > will apply to software contexts if one “squints right" Not just "squint right." All systems can be represented as a pair of functions that map current state to next state and the observation of current state, in respons
3. 33.▲
   by m-hilgendorf 7y ago

   SEEKING FREELANCER |JITx | Part-time | Berkeley, CA or Remote (UTC -9 through -6) At JITx (YC S18) we're automating circuit board design. Our core technology is a domain specific language, and we're looking for a fullstack enginee