foreverglade (@foreverglade)
87 Posts · 5 Followers · 1 Following
View foreverglade's profile on Gab
Recent posts from foreverglade
- — GitHub's search functionality is so bad. Sometimes it's faster just to clone the repository locally and grep through it then use their horr…
- — In F* you can write an increment function whose result is always one more than the input you give in. Additionally, F* will prove that this…
- — In UNIX if you want to prepend a single byte to the start of a file you have to rewrite the entire file. This also applies to making chang…
- — Affine types can help improve the performance of functional code because you can mutate variables that have an affine type instead of havin…
- — "only ten percent of professional programmers were able to get [a binary search] program right" "While the first binary search was publishe…
- — Arend is a language based of homotopy type theory being developed by Jetbrains https://arend-lang.github.io/about/arend-features
- — The two simplest recursion schemes are catamorphisms and anamorphisms. With catamorphisms you turn a data structure into a single value by …
- — In case you missed it from a couple months ago. Microsoft Research released a new memory allocator https://www.microsoft.com/en-us/research…
