I miss it. I’m now more removed and building software as a means to an end.
I miss it just like I miss the program language and type theory group meetups in SF and working through problems in dependently types languages like Idris and being out of my depth.
alt Hacker News
I miss it. I’m now more removed and building software as a means to an end.
I miss it just like I miss the program language and type theory group meetups in SF and working through problems in dependently types languages like Idris and being out of my depth.