CoderPuppy

4 ms·

1.
by CoderPuppy 4y ago
SML doesn't have subtyping or variance AFAIK so that can't really explain the issue. The way I like to look at it is to translate to System F. The standard translation would give: let m : ∀α. ref (α → α) = Λα. ref [α → α] (λ
2.
by CoderPuppy 5y ago
I had an idea a little while ago: constantly rewriting code. It was inspired by the idea of doing something repeatedly allows you to improve. So constantly rewriting the same bit of code (with changes) would allow you to get better at writi
3.
by CoderPuppy 5y ago
For math symbols I use Unicode characters, I have XCompose shortcuts [0] to easily insert them. I'm currently using WinCompose to use the same shortcuts on Windows. This works fairly well for my use cases (programming language theory a
4.
by CoderPuppy 5y ago
My personal note taking system is based around plain text files in Git repositories. I edit with NeoVIM and use ripgrep (and other shell tools) to recall. I started out (in 2014 or 2015) with a wiki-like style, but I switched to a time-base
5.
by CoderPuppy 5y ago
I like the IPA Chart website [0] which lists the phonemes and has examples of each when clicked. To understand a pronunciation (such as /ɪg.drə.sɪl/ for Yggdrasil), I'll match up the symbols to the chart and piece it together
6.
by CoderPuppy 8y ago
There's some documentation on the Github wiki [0] [0] https://github.com/Ninjacop/BuBBLE/wiki
7.
by CoderPuppy 9y ago
No, the window and tab were focused. It would be that the scrollable element wasn't focused.
8.
by CoderPuppy 9y ago
For me they didn't work until I clicked in the page. Chrome 60 and Firefox 58 on Linux.
9.
by CoderPuppy 9y ago
Yes, sorta. The point I think he was trying to make was that Lisp's syntax is less restrictive, but that seemed to get confused by: - mentioning the some people say it has no syntax (which it definitely does have) - saying macros can c