HNHacker News
TopNewBestAskShowJobs

Gehinnn

1,104 karma · joined June 2, 2017

twitter: hediet_dev Working at Microsoft on VS Code in Zurich
submissionscomments
Gehinnn··on Cellular Automata (1983) [pdf]
2D cellular automata can also be used to recognize formal languages: Every character of a word forms an (initial) state. Finitely many additional non-character states are allowed. A word w is accepted iff the first cell indicates "yes" after |w|-1 iterations.

It is an open problem if there is a language that can be recognized after 2|w|-1 iterations, but not after |w|-1 iterations. Afaik, it is even unknown if there is any language in NP that cannot be recognized after |w|-1 steps (obviously P!=NP would imply this). I'm surprised how far math has come, but how little we know about computational complexity.

Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
Still, you don't have the reverse mapping. Given a slide, how do you find the commentary?

The primary goal of this tool is to find the reverse mapping and to provide a simple tool to play the video from a given slide. This is very useful for going back to or skipping slides.

If the slide is not visible at all in the video, such mapping cannot be computed automatically.

Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
The tool does not work very well on very low quality videos (maybe ORB is not the best feature extractor for that). However, theoretically, it should work. The tool already calculates a projection of the pdf slide into the video frame to compare the similarity. It should be relatively easy to dump all those updated frames into a new video.

Detecting laser/mouse pointers is a different story though.

Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
It finds all matchings, but the UI only displays the first one. It should be very easy to extend that.

https://github.com/hediet/slideo/blob/master/webview/src/vie...

Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
Thanks! I guess your product is https://typestudio.co/? Looks nice!
Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
I made this tool to prepare for exams more efficiently. It is written in rust and uses OpenCV to detect and match features in slides (provided as PDF) and video frames. The matching algorithm is described in [1].

The PDF pages can appear anywhere in the video frames, in any order. Rotation, translation, scaling and obstruction is fully supported due to the feature extractor (ORB) being rotation/scale/transformation invariant.

[1] https://github.com/hediet/slideo/blob/master/BACKGROUND.md

Gehinnn··on There Are No Good Arguments for Intellectual Property (2010)
How can ordinary people challenge patent registrations in a fair way? It is easy to claim that a solution is trivial, but it is almost impossible to prove that if you know the solution already.

Feel free to adapt the sums I listed, that would not change the procedure. I do think that there should be a decent financial burden to protect an idea though. If your idea is good, you can still borrow money (or split patent revenue with investors).

Gehinnn··on There Are No Good Arguments for Intellectual Property (2010)
The approval of a patent registration request should work like this:

The issuer provides a public description of the problem the patent solves and a secret description of the solution. They pay $10k in advance to request a patent registration.

The patent institution then publishes the public problem description. External challengers can submit additional solutions for $100. After some time (e.g. a month) submission closes and independent judges need to identify the solution proposed by the patent issuer out of all submitted solutions. If they succeed, the patent will be registered. Otherwise, the submitter of the identified solution gets a split of the patent registration fee (e.g. $2k) and registration is denied.

The institution manages hundreds of possible judges, only a few are selected randomly by a trusted computer. If a selected judge correctly identifies the solution of the patent, they will get a bonus (more than challengers would get, e.g. $3k). Non-selected judges can submit challenging solutions.

This should be robust against bribery and prevent low effort bullshit patents!?

If a company wants to bribe judges, they need to identify the selected judges, otherwise they help not-selected judges to submit challenging solutions. This can be made very hard.

Also, the solution of the patent should solve a hard problem (i.e. a problem that is hard to find solutions for). Otherwise, challengers can easily come up with solutions of equivalent quality.

If the problem is "A mechanism to visually indicate progress", it should not be too hard to come up with the progress bar.

Gehinnn··on Show HN: Slideo – Synchronize Slides with Video Using Computer Vision (OpenCV)
I made this tool to prepare for exams more efficiently.

It is written in rust and uses OpenCV to detect and match features in slides (provided as PDF) and video frames. The matching algorithm is described in [1].

The PDF pages can appear anywhere in the video frames, in any order. Rotation, translation, scaling and obstruction is fully supported.

[1] https://github.com/hediet/slideo/blob/master/BACKGROUND.md

Gehinnn··on You Don't Need a GUI
I like powershell, but I find its Syntax very hard to learn for casual usage. -eq is just cruel if you are used to proper programming languages. I'd love to see a sane script language ala typescript established as general purpose shell/shell scripting language!

TypeScript is not yet expressive enough for direct shell usage, but not much is missing imo (most importantantly a pipe operator).

Gehinnn··on You Don't Need a GUI
I think CLIs should be able to provide a very generic UI from their command definitions like this:

https://github.com/hediet/ts-cli/blob/master/cli/README.md

Gehinnn··on Why keyboard shortcuts don't work on non-US layouts and how devs could fix it
KeyCombiner looks very interesting. I once worked on a keyboard visualizer for vscode (https://hediet.github.io/visual-keyboard), but I was never really happy with it.

It would be nice if keyboard shortcuts were a matter of the OS and applications would expose a list of all available commands with default shortcuts...

Gehinnn··on Show HN: PDFs from HTML
Usually, if you have reflow, you can disable it. However, if you don't have reflow, you cannot usually enable it!
Gehinnn··on Show HN: I built a VS Code Theme Creator – easily make VS Code themes in browser
It would be so cool if you could change the colors directly in VS Code by just pointing to the pixel that you want to change. A color picker would pop up and the change would be applied immediately. (It would not only change the selected pixel but the entire color key)

Maybe with some machine learning the easy-to-compute function from colors -> VS Code UI Screenshots could be inversed, so that you know which color keys influence a certain pixel.

Sadly the color space is finite, otherwise the color key could be easily encoded in the color without changing the color much. Looking forward to high DPI CSS colors ;)

Gehinnn··on Police warn students to avoid Sci-Hub
I wonder if sci hub (and potentially even abandoning certain copyright laws) leads to less publications due to less financial incentives.

I can imagine that nobody is going to write books professionally anymore if copyright laws to protect intellectual property were abandoned.

Gehinnn··on SN10 (Starship) High-Altitude Flight Test
This inspires me.
Gehinnn··on Rethinking the IDE for the 2020s
I disagree that VS Code is just a "downgrade" of the IDE level experience offered by IntelliJ. Certainly, a lot of functionalities are missing in VS Code, but they are compensated with speed and depending on your needs this compromise is more than worth it. If you are using web-technology (like TypeScript), IntelliJ does not even offer much more than VS Code.
Gehinnn··on Formalising Mathematics: An Introduction
Lean allows for third party type checkers. There are relatively small alternative type checkers for Lean (e.g. a scala implementation [1]).

Lean's power lies in its elaborator that breaks down complex tactic-based proofs to a core proof language. This elaboration process can be extended with custom tactics and custom syntax, making it way more powerful than metamath.

[1] https://github.com/gebner/trepplein/tree/master/src/main/sca...

Gehinnn··on Mining Bitcoin with pencil and paper: 0.67 hashes per day (2014)
I think this is due to some kind of muscle memory.

You only start hearing certain patterns in complex music, e.g. Mahler symphonies, if you listen often enough to it. At some point you recognize stuff unconsciously.

Gehinnn··on 26 Years of Delphi
The killing feature was not .Net for me, but the free and fully featured IDE. I hated to type out every public declaration twice in the Delphi 5 IDE I got from school.

I remember that I hated the startup time of Visual Studio though. In Delphi 5, I typed invalid syntax to create a temporary bookmark: When I pressed F5 to compile the project, I immediately jumped to it. This was entirely impossible for C# programs.

Gehinnn··on 26 Years of Delphi
I remember when I turned 16 and all I wanted as birthday present was a license for Delphi 2009. If I remember correctly, it costed more than €1k at that time. Obviously I got something else.

When I learned about the free Visual Studio Express, I switched to .Net development and never used Delphi again.

This experience shaped me and all tools I will ever create will be available for free to students and kids.

Gehinnn··on Interactive Data Visualisation with Rust
It would be nice if data visualization would become more independent from the technology that produces the data.

I tried to create some abstraction layer in [1] (see playground at [2]), it powers my open source debug visualizer extension for vscode. It basically bundles a few popular libraries and establishes a common data format that abstracts from both the visualization and the data source.

I feel like data visualization reinvents itself too often. The table in the authors article is nothing compared to what perspective js offers with advanced filters/group options etc. [3]. There is also SandDance [4] which offers a lot of advanced visualizations.

I would love to see something like the language service protocol for visualizations!

[1] https://github.com/hediet/visualization [2] https://hediet.github.io/visualization/?darkTheme=1 [3] https://perspective.finos.org/ [4] https://marketplace.visualstudio.com/items?itemName=msrvida....

Gehinnn··on On navigating a large codebase
If you read/scan 10 lines a second, you still need over 24 hours non-stop to read a 1M+ code base. I doubt a random file ordering is helpful! Especially if you lose code navigation features like "go to definition".
Gehinnn··on Dependency Confusion: How I Hacked Into Apple, Microsoft and Other Companies
What about reviews and review certificates then? If you review a the package foo@1.0 you could publicly certify that it is not malicious and maybe earn some money with it. In turn, you back your claim with a financial security that you pay in case the package actually contains malicious code.
Gehinnn··on Github1s – One second to read GitHub code with VS Code
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!
Gehinnn··on Github1s – One second to read GitHub code with VS Code
That is a cool project, thanks for sharing!
Gehinnn··on Github1s – One second to read GitHub code with VS Code
I never used Trello, what would make this great there? Shouldn't be too hard to implement!
Gehinnn··on Github1s – One second to read GitHub code with VS Code
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://github.com/hediet/browser-ext-github-monaco

Gehinnn··on Github1s – One second to read GitHub code with VS Code
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".
Gehinnn··on Github1s – One second to read GitHub code with VS Code
Afaik raw.githubusercontent.com was third party as well and lived for a very long time.
← PreviousPage 5 of 11Next →