gylterud

10 ms·

121.
by gylterud 7y ago
Structural set theory, which as you say throws out the iterative structure, is more like type theory than set theory (this is pointed out in the nlab page you linked). Naïve set theory as practised in say a course in discrete mathematics ce
122.
by gylterud 7y ago
Type theories, especially dependent type theories a la Martin-Löf, are quite natural to work with. They are easier to implement on a computer, and there are active communities around several such implementations (Agda, Coq, Lean,⋯). Most co
123.
by gylterud 7y ago
Software modular synth is really good for learning about sound and signal. I use Alsa Modular Synth[0], which has its faults, but has a simpler interface than VCV Rack. I use it some times even to filter my voice when role-playing monsters
124.
Ask HN: What are good textbooks on software security?
1 points by gylterud 7y ago|0 comments
125.
by gylterud 8y ago
The shell from Plan9, rc, is simply the one I am most comfortable writing in. It has very straight-forward syntax. And while the language is very powerful, it is small enough that I can remember most of the quirks. But I do not think it is
126.
by gylterud 8y ago
It can be if you want to. But yeah, businesses probably want to pay someone for it. And many ISPs will do it for their customers as well.
127.
by gylterud 8y ago
Running a mail server which receives mail is easy. Getting your e-mails delivered can be more difficult. But so far (I have been running a personal e-mail server since 2007), I have gotten most of my e-mails delivered.
128.
by gylterud 8y ago
newmail has a sister command, whichmail, which looks up which email was generated for a specific domain. For instance: $ newmail facebook.com qesruftug@example.com Then later: $ whichmail facebook.com qesruftug@example.com
129.
by gylterud 8y ago
Consider this approach: Let H be a hashing function and p be the users password. In the database you store a nounce n, and H(H(p⊕n)). When authenticating the server sends n, and client responds with x=H(p⊕n). Now server can compute H(x) and
130.
by gylterud 8y ago
The script is dead simple – you could have written it yourself – and that’s the beauty of composable systems (like OpenBSD and other Unices).
131.
Newmail: Generating random email aliases on OpenSMPTD(hakon.gylterud.net)
49 points by gylterud 8y ago|30 comments
132.
by gylterud 8y ago
Yeah, it is optional, but it might indicate that their priorities lie in something other than making the best privacy focused browser. Time will tell.
133.
by gylterud 8y ago
Brave seems more focused on their crypto currency than making a browser. And their ad-replacing shenanigans do to not exactly inspire trust[0]. [0]: https://en.wikipedia.org/wiki/Brave_(web_browser)#Critical_r...
134.
by gylterud 8y ago
If you use Firefox and uBlock Origin, you can hide the suggestions on YouTube: https://hakon.gylterud.net/tutorials/youtube.html
135.
by gylterud 8y ago
I wrote this tutorial after I recently started watching YouTube videos connected to my hobbies more regularly, and found that I needed to protect myself from all the clutter and distractions. This could also be useful for making YouTube mor
136.
YouTube self-defence(hakon.gylterud.net)
4 points by gylterud 8y ago|1 comments