ritter2a

6 ms·

1.
by ritter2a 5y ago
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 uncommon in India) appears to be unthinkable. But I find it most su
2.
by ritter2a 5y ago
What about adding "echo sleep 0.01 >> ~/.bashrc" to their .bashrc (or whichever shell config file is used)?
3.
by ritter2a 5y ago
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 your choice, uses the phone's microphone to mea
4.
by ritter2a 5y ago
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, you can really win a lot with these solvers. E.g. I used a
5.
by ritter2a 6y ago
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 more interesting middle and back end parts of the compiler. H
6.
by ritter2a 6y ago
> 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 like it would have been a reasonable choice for naming t
7.
by ritter2a 6y ago
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 new version. However, to be entirely honest, in the last few
8.
by ritter2a 6y ago
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 functions that just compute information about the p
9.
by ritter2a 6y ago
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 the user while still producing high-performanc
10.
by ritter2a 6y ago
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 have guessed "Kafka in Pieces" to be an in
11.
by ritter2a 6y ago
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 invariants. The C semantics can make this problem eve
12.
by ritter2a 6y ago
Well, there is the Hennessy&Patterson book, "Computer Architecture - A Quantitative Approach". The newer editions include modern features and follow industry's developments. This will of course not be able to tell you all
13.
by ritter2a 6y ago
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. (And that's good, because otherwise the compile time
14.
by ritter2a 6y ago
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 case where they would cancel out (as could be useful for numeri
15.
by ritter2a 6y ago
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 the Arduino environment (in C++, initialization order o
16.
by ritter2a 6y ago
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/
17.
by ritter2a 6y ago
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.
18.
by ritter2a 6y ago
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 really see it shine for discovering interesting article
19.
by ritter2a 6y ago
Even in this version, the quote still feels incomplete without someone shouting "Concurrency!" while it is delivered...
20.
by ritter2a 6y ago
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 an arbitrary task including parsing 64 b
21.
by ritter2a 6y ago
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 surprised that the course's testi