jnkrtech, jnkrtech@programming.dev
Instance: programming.dev
Joined: a year ago
Posts: 2
Comments: 1
Posts and Comments by jnkrtech, jnkrtech@programming.dev
Comments by jnkrtech, jnkrtech@programming.dev
- I already know multiple languages with an okay feature set and great documentation. I’m only going to spend the time and effort learning a new language if it’s something legitimately new with a compelling feature set. Bad documentation is just a natural cost of being on the cutting edge. I might find the lack of documentation frustrating but without good features I won’t engage at all.
PieFed.ca
Ganguin, Descartes, Bayes: A Diurnal Golem’s Brain (dl.acm.org)
A fascinating paper in which the authors write a probabilistic program that infers its own source code based only on its past guesses at what its own source code is. It was at the Onward! conference, and is written in a really unusual humanistic style. One of the coolest papers I’ve read all year.
[self post] Tradeoffs of highly expressive types (jnkr.tech)
This is an attempt to unify a few threads around type safety that I’ve encountered and put a slightly different spin on them.