muth02446

12 ms·

1.
by muth02446 1mo ago
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_algori... which fits on 10
2.
by muth02446 2mo ago
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 with the patching of debug information.
3.
by muth02446 3mo ago
Without nuclear, your country will remain vulnerable to: 4) renewable energy disruptions, e.g. supervolcano eruption, large meteor strike
4.
by muth02446 9mo ago
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 it works at all. I think a much better approach would be too
5.
by muth02446 9mo ago
> 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 if > you're using a kernel from th
6.
by muth02446 9mo ago
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".
7.
by muth02446 9mo ago
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 real world use Cons: * more complex * not writte
8.
by muth02446 10mo ago
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 ).
9.
by muth02446 10mo ago
What I am curious about: where zfs checksum failures the only symptom of the bad disks or where there SMART failures as well?
10.
by muth02446 1y ago
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 notifications which seems to be an issue with PWAs. A real downsi
11.
by muth02446 1y ago
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 as a depency. [caveat: this was the status quo when I la
12.
by muth02446 1y ago
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. On the frontend side language (not compiler) design will aff
13.
by muth02446 1y ago
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 communication with other parts of the government or the public, should
14.
by muth02446 1y ago
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://cwerg.org [2] https://github.com/ro
15.
by muth02446 1y ago
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 the earth. Presumably, there will also be less wind then.
16.
by muth02446 1y ago
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 and there is a useful subset of the standard libray that does
17.
by muth02446 1y ago
Aren't there other oil-rich nations that essentially have UBI and could serve as a data point.
18.
by muth02446 1y ago
there are also atomicity issues
19.
by muth02446 2y ago
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 will allow you to automatically apply the syntax changes on th
20.
by muth02446 2y ago
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 just too painful, e.g. (= (. (^ ptr) file) ...) instead of p
21.
by muth02446 2y ago
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 semantic choices and improved iteration times and will
22.
by muth02446 2y ago
Shameless plug for another relatively small compiler written in Python with no dependencies: http://cwerg.org
23.
by muth02446 2y ago
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 some bizarre error in some artifact that is hard
24.
by muth02446 2y ago
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 different from dropping an ISA like IA64. You can
25.
by muth02446 2y ago
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 is NOT going "all in" on C++ and tries to use as l
26.
by muth02446 2y ago
Shameless plug for another similar system: http://cwerg.org Less ambitious with a focus on (measurable) simplicity.
27.
by muth02446 2y ago
Made something similar for Basic Vocabulary (Spanish and English so far): * https://www.appicenter.net/Apps/VocabES/ * https://www.appicenter.net/Apps/VocabEN/ Uses Spaced Repetition and
28.
by muth02446 2y ago
What does that mean for all the existing simulations that use the "wrong" values? BTW: are there any open source climate models/simulations?
29.
by muth02446 2y ago
IIRC Waymo only offers their service in certain places and does not use highways. Was this controlled for?
30.
by muth02446 2y ago
This scares me a little: There was a security alert on the page with the C-code from mp3.

More ›