Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Memory Management Reference. Parent comment
> A dependently-typed programming language with compile-time malloc/free determination.
Also related "ASAP: As Static As Possible memory management" [2].
I think most of the "innovation" you're talking about is happening in the programming language design field.
[1] https://github.com/vekatze/neut [2] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf
There are no comments on this comment yet.
> A dependently-typed programming language with compile-time malloc/free determination.
Also related "ASAP: As Static As Possible memory management" [2].
I think most of the "innovation" you're talking about is happening in the programming language design field.
[1] https://github.com/vekatze/neut [2] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf