ritter2a
- Karma
- 117
- Created
- April 21, 2020 (6y ago)
- Submissions
- 0
GPU Compiler Engineer @ AMD
https://compilers.cs.uni-saarland.de/people/ritter/ https://github.com/ritter-x2a
https://compilers.cs.uni-saarland.de/people/ritter/ https://github.com/ritter-x2a
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 your choice, uses the phone's microphone…
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…
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…
> 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…
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…
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…
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…
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…
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…
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…
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 really see it shine for discovering…
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 an arbitrary task including parsing 64…
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 testing…