Gehinnn

10 ms·

91.
by Gehinnn 5y ago
We still don't know if the universe allows us to do that. If P=NP ZKPs are worthless.
92.
by Gehinnn 5y ago
Even though I did not accept Datadogs offer, I can only confirm this - my interview experience at Datadog for a software engineer position was truly amazing. I could feel they care.
93.
by Gehinnn 5y ago
I don't think winning the contest should be the primary motivation for making such a high quality education video.
94.
by Gehinnn 5y ago
It would be nice to have a chess trainer AI that considers the human factor when evaluating a position. It's funny that it is relatively easy to beat stockfish when the computer has to play without the queen. But it is quite hard to be
95.
by Gehinnn 5y ago
Related: Git Line Endings configurator. Uses a github action to brute force all combinations. https://hediet.github.io/git-line-endings/
96.
by Gehinnn 5y ago
(Personal opinion) Constructing or incrementally updating an AST is not cheap. In particular, most ASTs are very fragile and there are characters when inserted at the wrong position invalidate the entire AST (e.g. prepending a C-like docume
97.
by Gehinnn 5y ago
If there is demand, please file an issue and we can discuss increasing this limit. However, these colors are themeable and thus there can only be finitely many. There is no technical reason for this limit of 6.
98.
by Gehinnn 5y ago
> it seems that a separate AST is created just for this bracket-pair problem, is that right? That is right. > I imagine there was/is already (at least one) another AST already being computed in the editor, for other reasons Not i
99.
by Gehinnn 5y ago
> So then is the recursive descent parser mentioned language-independent or language-dependent? The parser is language-independent, but the tokenizer used by the parser looks up the tokens of syntax highlighting to decide if a bracket ch
100.
by Gehinnn 5y ago
(author of the blog post here, personal opinion) Tree-sitter is much more general (and I guess way more complex) and most likely cannot use some tricks we use for "simple" bracket pair parsing. For example, we can almost always re
101.
by Gehinnn 5y ago
As far as I know though, tree sitter has problems with really long lists and even incremental parsing gets slower linearly when extending the list. Also, to my knowledge, tree sitter cannot move nodes around (which is also very hard for lan
102.
by Gehinnn 5y ago
Author of the blog post here. We openly discussed various approaches with CoenraadS and other extension authors here: https://github.com/microsoft/vscode/issues/128465#issuecomme...
103.
by Gehinnn 5y ago
i or some hyper real numbers are neither irrational nor rational. Basically all crazy extensions of R used to solve even more crazy problems. They don't really exist naturally (and you can make up your own field extension of R as you w
104.
by Gehinnn 5y ago
You can easily define + on natural numbers and * on integer numbers without running into problems! Thus there is no cirularity here.
105.
by Gehinnn 5y ago
It is only solid as long as you don't define irrational numbers literally as everything that is not rational.
106.
by Gehinnn 5y ago
I'm sure there are more elegant approaches, but I would start like this: A number is an imaginary (as in made up by humans, not as in complex numbers) object that solves certain equations. It is not well defined and should not be used
107.
by Gehinnn 5y ago
Well, the peano arithmetic can be described directly as first order logic without set theory ;) I'm fine with having an intuition for sets, but I think reals really should be defined properly. At least, R should not be confused with th
108.
by Gehinnn 5y ago
You are right, I didn't teach low level math courses, but this brain washing is also precisely why I didn't understand math in high school. You cannot argue with this kind of definitions. Everything feels as if it was randomly def
109.
by Gehinnn 5y ago
> Irrational numbers are defined as any numbers that cannot be written as a ratio of two integers. > Finally, the set of real numbers, denoted R, is defined as the set of all rational numbers combined with the set of all irrational nu
110.
by Gehinnn 5y ago
Btw if you are interested in configuring line endings in the git config for good, you might find this tool handy: https://hediet.github.io/git-line-endings/ A github action brute forces all combinations of line endings
111.
by Gehinnn 5y ago
It is a nice twist, but I would still consider the title click bait. I like hn for having no click bait.
112.
by Gehinnn 5y ago
With today's TypeScript, a lot more crazy stuff is possible now than what was used to demonstrate turing completeness in the issue. While it was surprising in 2017 that TypeScript types could be used to run turing machines, with the ad
113.
by Gehinnn 5y ago
If you are into visualizations, you also might find my debug visualizer extension for vscode helpful: https://github.com/hediet/vscode-debug-visualizer When debugging JS, there is a nice way to provide visualizations f
114.
by Gehinnn 5y ago
I love such visualizations, nice work! Does this work for any git repository? Btw. for a visualization of all the git line endings settings, you might find this tool helpful: https://hediet.github.io/git-line-endings/
115.
Show HN: Git Line Endings Configurator(hediet.github.io)
1 points by Gehinnn 5y ago|0 comments
116.
by Gehinnn 5y ago
Author of the drawio extension here, nice to see you using it! I can highly recommend using the *.drawio.svg extension though! Svgs also work in Github readmes and perform much better overall. They also work much better over liveshare!
117.
by Gehinnn 5y ago
I have heard the same but also made the same observations. Something seems to be off.
118.
by Gehinnn 5y ago
TL;DR: Compile SQLite to JS with emscripten, implement a virtual fs in JS to stream chunks of a statically hosted (readonly) SQL database. If queries make use of indices, only a fraction of the database needs to be downloaded. Also, you can
119.
by Gehinnn 5y ago
Sadly, this is a known problem. Theoretically, you can use Chrome headless to render such SVGs into PDFs.
120.
by Gehinnn 5y ago
Afaik they only wanted to get rid of the io tld, as it is quite insecure.

More ›