|
|
|
|
|
by mkw5053
57 days ago
|
|
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. |
|