Viewing profile — ritter2a

Very interesting! Quite amusing that adding milk seems to be an unquestionable truth while adding sugar is considered destroying the flavour and adding pepper (which is not uncommo…

What about adding "echo sleep 0.01 >> ~/.bashrc" to their .bashrc (or whichever shell config file is used)?

At least for some form of mechanical clocks: There is an app for that :) E.g., for Android, the "Watch Accuracy Meter", which can be found in the Play Store or the APK source of yo…

I would say that the benefits you get from a habit of using SMT solvers depends a lot on the kind of problems you are working on. If your problem is rather small and self-contained…

I tried to use this to ease the front end work load of students in a compiler project (building a C compiler) for a University course, so that the project could be focused on the m…

> Right, but GPT-2 was the name of the particular ML architecture they were studying the properties of; not the name of any specific model trained on that architecture. That sounds…

Regarding interface stability: Indeed, the textual representation is not stable, things like added types in the representation of some instructions can happen when upgrading to a n…

I would claim that the benefits of 'mostly functions' strongly depend on the task at hand. For the field of compilers, I can for example see value in making program analyses pure f…

AnyDSL ( https://anydsl.github.io/ ) might be worth mentioning, it is a framework for creating domain specific languages using partial evaluation to give powerful abstractions to t…

I consider it a fun little game to guess for each mention of "Kafka" in a HN title, whether it means the author or the software. Definitely not trivial, since this time, I would ha…

Having written test cases for a similar semantic program analysis tool, I agree: Integer overflow is a very likely cause for such "obviously correct but actually wrong" program inv…

Well, there is the Hennessy&Patterson book, "Computer Architecture - A Quantitative Approach". The newer editions include modern features and follow industry's developments. This w…

There will probably always be particular code transformations (algorithmic or target-machine-specific) that speed up your code and that your general purpose compilers will not find…

There are even more improvements (in some regard) to this, e.g. Affine Arithmetic[0, 1]. Here, error terms from different operations are accumulated symbolically so that in the cas…

You don't get quite this level of ambiguity with standard C, since it does not provide objects (in the object-oriented sense) with constructors, in contrast to C++ that is used in …

Wouldn't be the first of Intel's ISA extensions to be unsuccessful because of its limitations, look at MPX: https://intel-mpx.github.io/

Looks great! This really makes it easier for me to see what belongs where. Thanks for the quick adjustment! I'm already curious what new things I will find with this site.

This looks really amazing! I particularly like that it makes good use of the width of an ultra-wide screen. While I wouldn't want it to replace the actual hackernews layout, I can …

Even in this version, the quote still feels incomplete without someone shouting "Concurrency!" while it is delivered...

Certainly a nice read. On the "culture of 'optimization is the root of all evil'" remark in the conclusions: I find this to be a nice example for the full Knuth quote. If you face …

I've only seen wrong use: CS students working on a project in C++, using "and" and "or" as identifiers (which their local MSVC compiler apparently was cool with) and then being sur…