Viewing profile — doctor_n_

When developing an application, configuration formats and internal data-structures typically evolve between versions. However, maintaining backwards compatability between these ver…

Actually, subtype-checking in Java is Turing-complete. Someone proved this and used the result to build a parser generator for fluent interfaces. [1] [1] https://arxiv.org/pdf/1605…

I was unaware of typenum until I started showing people this - I'm actually amazed at the level of effort that's gone into it.

You didn't need this, you didn't want this, but here we are.

I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time no…