Viewing profile — dtzWill

Title has a typo, should be "RISC-V", not "Risk-V".

> and gets updates Wife and I also have pixel 2's, and AFAIK October 2020 was the last month we got updates[1] :(. (although it notes "Pixel 2 Preferred Care customers have telepho…

This is actually an area of very current research. We have implemented a form of software multiplexing that achieves the code size benefits of dynamically linked libraries, without…

You might have misunderstood "postInstall" -- rather understandably so since elsewhere (debian packages, ...) for precisely the issue discussed in the article: arbitrary scripts ex…

https://en.wikipedia.org/wiki/User-mode_Linux

And in particular guix uses nix internally-- but (AFAIK) at an API level and very little of the nix language. So it's rather related for that reason :).

If what you're dealing with is actually a git repository, in 2.0 you can just use "src = fetchGit ./.;"-- this is what the expression for building Nix itself does :). Otherwise you…

FWIW jwz redirects to something unfortunate, here's the same page via nullrefer.com which seems to do the trick: http://nullrefer.com/?www.jwz.org/doc/cadt.html and on archive.org:…

Not sure what "the ccc" is (if it's not "corkami") but your comment and parent's led me to finding this treasure-trove of format visualizations: https://github.com/corkami/pics/blo…

This is good advice, and understanding this is the key to interacting with 'hacker' types. A good document to read or link from your project's "Contact" section is this FAQ on aski…

Author here. FWIW the linked paper is the extended edition as published in TOSEM 2015, not the original ICSE 2012 paper, which I was surprised by given the year in the subject. Tha…

1) Challenges in understanding undefined behavior are exactly why tools like ubsan[1] exist. In a way they help /everyone/ understand when 'undefined' constructs are encountered, a…

You might want to use wego[1] directly if you're interested in weather reports in your terminal, if the dependencies aren't an issue. [1] https://github.com/schachmat/wego

Nothing, really. There's an argument that using a 'for' construct groups together the details of the loop (initialization, the loop condition, iteration update), which can aid read…

I created an account just to upvote this, very cool and keep up the good work! :)