Viewing profile — goy

Around the 2010s there was a surge in projects that aimed to publish open (and often made for being easily manufactured by hobbyists) hadware designs. There were project in virtual…

I was in the comment section of https://www.righto.com/2025/01/its-time-to-abandon-cargo-cult-metaphor.html and I've never seen it so bad. Am I just noticing it now or the negativi…

First, I'm aware of the origin of the term; but "guy" was taken so I made do. Second, you don't care, but ... I'm afraid to break the news to you but there are billions of other pe…

Never did. As I said, I only recently became aware of the fact myself. I just say that it won't give me a good first impression of the people calling me that if I'm aware of the me…

I understand that all the controversies of the past years put you on the defensive (e.g. the whole thing with Github repo default branches being renamed from "master" to "main", et…

I absolutely loved it. Keep up the good work! Well researched, thoughtful and balanced. What more to ask for ?

Very interesting. Thanks for the reply.

I'd like to know more about the education & career path that lead you there ...

I think having Haskell bindings to it will be quite valuable .For implementation of core structures, though, it's better to stick to C++ to max out on performance and have a finer …

I decided to switch to Emacs reading this too. I was a fervent of the Vim church, but now I see the light.

One of the greatest. RIP

[flagged]

Very thoughtful. Thanks.

Another one is HalVM [0], for Haskell. Unfortunately it's not maintained anymore. [0] https://github.com/GaloisInc/HaLVM

(2013)

There seems to be a bit of activity at https://gitlab.libresilicon.com/explore/projects .

I'd like to read the article. What are the required maths ?

What do you think about a feature that allows users to follow each other ? The websites followed by one user can be automatically included in the search results of his followers. I…