Viewing profile — muth02446

If you are satisfied with an approximation of "DISTINCT", there is a facinating probabilistic algorithm by Flajolet and Martin https://en.wikipedia.org/wiki/Flajolet%E2%80%93Martin…

The incremental linking part sounds pretty hackish to me and I wonder what the price is in increased code complexity and maintenance effort. It also does not mention how it deals w…

Without nuclear, your country will remain vulnerable to: 4) renewable energy disruptions, e.g. supervolcano eruption, large meteor strike

Separate compilation is one solution to the problem of slow compilation. Binary patching is another one. It feels a bit messy and I am sceptical that it can be maintained assuming …

> Unfortunately you can't really statically link a GUI app. But is there any fundamental reason why not? > Also, if you happened to have linked that image to a.out it wouldn't work…

Wasn't there also DLL hell on Windows? My understanding is that very old statically linked Linux images still run today because paraphrasing Linus: "we don't break user space".

Shamless plug: http://cwerg.org Pros: * uses Python and recursive descent parsing * separates front and backend via an IR * generates ELF binaries (either x86 or ARM) * meant for r…

Surely, you are joking about the "little" part. The Dwarf 5 document is over 400 pages long (c.f. https://dwarfstd.org/doc/DWARF5.pdf ).

What I am curious about: where zfs checksum failures the only symptom of the bad disks or where there SMART failures as well?

I am in a similar situation and my solution was to switch to PWAs. I translated the apps from Java to Dart and rolled my own UI with straight forward HTML. My apps do not use notif…

Each new decoder represents an increase in attack surface which is why not all video/audio formats supported by ffmpeg are enabled in Chrome. This is despite Chrome having ffmpeg a…

The key to unlocking a 10x improvement to compilation speeds will like be multithreading. I vaguely remember that LLVM struggled with this and I am not sure where it stands today. …

I am puzzled that they not already have moved to the web. Also speaking off the cuff: what are the main reasons for using word documents in government? If it is mostly communicatio…

Another small language is Cwerg [1] (tutorial: [2]) A C-like low level language with a Python inspired syntax. The frontend has a self imposed line budget of 10kLOC. [1] http://cwe…

I view nuclear as a prudent diversification of energy sources: What happens if some supervolcano erupts, and because of the ashes significantly less sunlight reaches the surface of…

If you do embedded work, you often want to be in total control of all memory allocations. So it is good to know that the compiler will not produce some invisible heap allocations a…

Aren't there other oil-rich nations that essentially have UBI and could serve as a data point.

there are also atomicity issues

This reminded me of two other recommendations: 1) write a pretty printer early on (I had one for the s-expr based syntax and one for the concrete syntax I introduced later) This wi…

I almost did ;-) I added a few improvements to help with legibility which made it bearable to program with sexpr. But arithmetic expressions and (chaining of) unary operators was j…

While working on my systems PL, Cwerg, I adopted a "syntax last" approach: For the longest time the syntax was just glorified s-exprs. This made it much easier to focus on the sema…

Shameless plug for another relatively small compiler written in Python with no dependencies: http://cwerg.org

I can commiserate. I did some bootstrapping of gcc 10 years ago and it was the most miserable experience ever. You make a change somewhere. Kick off "make" and 20 min later you get…

I think you are generally correct but the two examples you gave "triggered" me ;-) What damaged would there be if gcc or LLVM did decide to not support x87 anymore. It is not much …

Ultimately, the plan for Cwerg is to be self-hosting, so C++ is just another stepping stone. I am curious about the issues with C++17 (vs say C++11) though. About using C++: Cwerg …