hkopp

8 ms·

31.
by hkopp 5y ago
Very interesting. Thanks. Do you know how much a cheat usually costs?
32.
Liminality(en.wikipedia.org)
1 points by hkopp 5y ago|0 comments
33.
by hkopp 5y ago
I would recommend "Seven Sketches in Compositionality", as it does not progressively get harder, but each chapter starts off very easily. So you can catch up, if you got lost. It is available here: https://arxiv.org&#x2
34.
by hkopp 5y ago
Thank you for the answer and a big kudos for the project. Regarding the memory violation, could symbolica deal with symbolic memory? Can it deal with symbolic files as input? How about syscalls with symbolic inputs? These are the main probl
35.
by hkopp 5y ago
Cool. I have a background in IT security and am sometimes doing symbolic (or concolic) execution on binaries instead of source code. So I may not be the target audience. Nevertheless I think you should do a comprehensive list what your tool
36.
by hkopp 5y ago
I am currently learning chess tactics using the Woodpecker method, i.e., a modified version of spaced repetition. The idea is to do chess puzzles over a fixed duration, say 4 weeks, and then repeat the same puzzles, each time aiming at halv
37.
by hkopp 5y ago
Ich you are interested in that kind of stuff, you may want to check out Rick Beato on Youtube: https://www.youtube.com/c/RickBeato I never expected that one could process music so effortlessly, until I saw some of his
38.
by hkopp 5y ago
Gooey is a similar tool to Typer that I have bookmarked for such cases, but never had the opportunity to use it. https://github.com/chriskiehl/Gooey
39.
Solving Sudoku Algebraically(hkopp.github.io)
2 points by hkopp 5y ago|0 comments
40.
by hkopp 5y ago
The article is very light on details. I would have liked to have more information than just learning a new word. That being said, I think it is valuable to be aware of why I don't read my books. Currently, I am sometimes reading Baudri
41.
by hkopp 5y ago
My git productivity hack is `git diff --color-words`. Instead of showing the line-by-line diff, it shows only the words that changed. Especially useful if you have long sentences where only a comma changed or some other typo. With git diff,
42.
by hkopp 5y ago
I started writing notes, so when I need some knowledge again, it is all there. However, now I have the problem of searching and finding in my notes.
43.
Hopalongs(hkopp.github.io)
1 points by hkopp 5y ago|0 comments
44.
by hkopp 5y ago
A nice example of Baudrillard's hyperreality. Reality and its representation blend together, so it is unclear where one ends and the other begins. https://en.wikipedia.org/wiki/Hyperreality
45.
by hkopp 5y ago
In my opinion this is not just about AI. This is more general. We as humans try to fix social issues with technical measures. All the racists are not going to suddenly become good people if we push them to separate platforms.
46.
Apollonian Gasket(en.wikipedia.org)
2 points by hkopp 5y ago|0 comments