jnkrtech

joined 2 years ago
sorted by: new top controversial old
7
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.

Which is more important to you in a language, feature richness or documentation quality? in c/programming@programming.dev
[–] jnkrtech@programming.dev 1 points 9 months ago
  1. 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.
1
[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.

1
[self post] Extensible TypeScript with Object Algebras (jnkr.tech)
 

cross-posted from: https://programming.dev/post/18004176

I think object algebras have huge potential to improve the way complex software is written but I've never seen them used in practice. I think one reason why is that the research paper which introduced them is pretty hard to read. This post is my attempt to change that.

I've been working on this post off and on for like two years so I'm really excited to share it with people. It is very long. There's a lot of ground to cover.