425 karma · joined June 24, 2013
UX description language for forms that respects high level constraints. Compiles to desktop browser, phone browser, and Alexa layouts.
Solving the complexity of matrix matrix multiplication by brute forcing the lower bound with semigroup combinatorics.
DSL for linear logic.
Ending Iowa’s criminalization of “annoying” speech. (Iowa Code 708.7)
Exposing Polk County Iowa Sheriff Kevin Schneider torturing inmates with denial of basic medical care.
Exposing pure nepotism corruption between Iowa Attorney General Chief of Staff Eric Tabor and his sister Iowa Court of Appeals Judge Mary Tabor (mom of @ollie).
Exposing that the prosecutor on Tracy Richter’s murder trial had relations and ended up marrying the daughter of his star witness Mary Higgins - and that the blood spatter expert Englert is a known fraud who wrongfully convicted David Camm and Julie Ray Harper.
The architect’s role is to design for data flow and compose functionality so it can be swapped out. Great new book on that: https://www.amazon.com/dp/0136524036/ref=cm_sw_r_tw_dp_U_x_u...
Reddit thrived because it was a platform for all misfits - not just left wing misfits.
Aaron Swartz is rolling in his grave. He felt it was better that extremists be exposed in the light of day rather than be hidden on private chat boards. He also would have been against dark patterns to make people install a phone app so Reddit can spy on your telemetry for advertisers.