Gehinnn

16 ms·

151.
by Gehinnn 6y ago
Just extending the url match expression should fix that! Currently, it only matches for `github.com`. I don't have access to any Enterprise instance, but I welcome PRs!
152.
by Gehinnn 6y ago
That is a cool project, thanks for sharing!
153.
by Gehinnn 6y ago
I never used Trello, what would make this great there? Shouldn't be too hard to implement!
154.
by Gehinnn 6y ago
If you like the text editor that powers VS Code (Monaco) and would like to use it for writing Markdown on github, check out my foss chrome/Firefox browser extension [1]! It replaces all text areas with a Monaco editor. [1] https:&#x2F
155.
by Gehinnn 6y ago
I love it! You can also author commits with it! I'm missing some really easy way to open a github repository though, ideally a button on github next to clone, like "Open with GistPad".
156.
by Gehinnn 6y ago
Afaik raw.githubusercontent.com was third party as well and lived for a very long time.
157.
One second to read GitHub code with VS Code(github.com)
2 points by Gehinnn 6y ago|0 comments
158.
by Gehinnn 6y ago
Do you mean this joke? [1] Don't disrespect the violists! [1] ( https://www.reddit.com/r/Jokes/comments/ab5oht/a_violists_3_... )
159.
by Gehinnn 6y ago
Text based diagrams definitively have their advantages over wysiwyg editors. However, sometimes the layout of a diagram also tells a story and I find it hard to express that with available text based diagram solutions. That's what I us
160.
by Gehinnn 6y ago
I don't know whether the path is the problem that makes modern web dev so hard to learn. I'm currently trying to setup the js testing library "jest" to use babel to transpile typescript and I get the most obscure error m
161.
by Gehinnn 6y ago
Yes! Being able to hide state is a blessing but sometimes also a curse. However Monads kind of allow you to hide/abstract over state too. I find it way more difficult though.
162.
by Gehinnn 6y ago
* SpaceX's starship will reach orbit. * The theorem prover Lean 4 will be released.
163.
by Gehinnn 6y ago
Maybe browsers should artifically delay the rendering of pages in the quirks-mode to create incentive for website creators to use proper formats/techniques. I can imagine the author had their fun, I also had fun reading the article, bu
164.
by Gehinnn 6y ago
What is the first minute of his symphony no. 11 if not minimal music? https://www.youtube.com/watch?v=xU_uBDujLAE The theme that starts at 2:18 is just so typical for him ( https://www.youtube.com/watch?v=xU_
165.
by Gehinnn 6y ago
I'm curious if my debug visualizer extension for VS Code could be helpful for solving this kind of puzzles ( https://github.com/hediet/vscode-debug-visualizer/blob/maste... ). Might be one of the few use c
166.
by Gehinnn 6y ago
Worth to mention ripgrep-all here ( https://github.com/phiresky/ripgrep-all ). It's a regular expression search engine built on ripgrep that can search in virtually anything (pdf files, zip archives, movie subtitles
167.
by Gehinnn 6y ago
A vs code extension could be nice, if you use vscode already to write latex.
168.
by Gehinnn 6y ago
CSS is not turing-complete - it is as turing-complete as a simple TXT file. Deciding whether some sequence of bytes resembles a CSS file is very possible. Deciding whether a stylesheet can be successfully applied to a website is also decida
169.
by Gehinnn 6y ago
It is very hard to detect self-referential statements and restricting yourself to "non-self-referential statements" might be quite severe. Given a set of "domino" tiles - each having a top and a bottom. Each top and bott
170.
by Gehinnn 6y ago
I guess they have the metadata - if you click on the work [1], you get only the tracks that are part of it [2]. Idagio seems to be a company located in Berlin! [3] [1] https://i.imgur.com/hAe8ZSk.png [2] https://
171.
by Gehinnn 6y ago
That is very cool. Now I'm missing the feature to compare recordings at a given bar! And to see the score from imslp :D edit: Just applied there for a job. I'm curious what they will say.
172.
by Gehinnn 6y ago
Wow open opus is what I have been looking for for a long time! Thanks! This is what I once tried to build, but stopped as I encountered too many unknowns: https://www.reddit.com/r/classicalmusic/comments/fxsg8
173.
by Gehinnn 6y ago
It's great to see modern software engineers dealing with classical music! It would be amazing if spotify could put some more love into their gigantic collection of classical recordings. Their autoplay feature often changes the piece in
174.
by Gehinnn 6y ago
The thing is that if infinite cores each perform 1 distinct step, the entire computer does infinitely many steps in one step. You cannot simulate this with a turing machine in finitely many steps. The problem is though, that even if each co
175.
by Gehinnn 6y ago
Infinity can solve many problems. An infinite state machine can solve the halting problem! But I see the problem in my thoughts. If there are infinitely many cores with each core having a different id, after a finite amount of time only fin
176.
by Gehinnn 6y ago
With infinitely many cores that are all connected to the same bus while each core has a unique id, you actually can solve the halting problem. You can basically brute force infinitely many inputs at once.
177.
by Gehinnn 6y ago
> So how do we make this barely not Turing complete? We make a list/array type a first class citizen in the VM itself and then we only add operations that know the bounds that they are to operate on based on that list or some other
178.
by Gehinnn 6y ago
This video is one of my most favourite visualizations of a hard problem. The technical proof of the halting problem is somewhat difficult to understand, even for students in their second semester. This video resembles the same proof, but pr
179.
Easy Proof That Computers Can't Do Everything – The Halting Problem (2013)(youtube.com)
1 points by Gehinnn 6y ago|1 comments
180.
by Gehinnn 6y ago
I cannot recommend it. It has a bug on sqlite that swaps the arguments randomly. This is super bad. For my next project, I will check out Mikro-Orm.

More ›