TomasHubelbauer on Hacker News
https://patents.google.com/patent/US20160021148A1 (see the "grant" status line)
I think it should not have been granted there being prior art, but for it to be turned over, I think it would have to be challenged in court. That's my limited understanding as a non-US person without any experience with patents whatsoever.
I am also surprised to see @nilknarf has done that in 2014! (As per their comment.) Don't know how I didn't come across his post during my research into this, but checking it now, someone in the comments posted a link to a patent which captures this idea.
http://www.freepatentsonline.com/20160021148.pdf
The patent must be invalid, because it's from 2016 and there is clearly prior art, but it kind of sucks, because it basically means polishing something like e.g. @phiresky has done with the remote pen just means if you succeed in bringing down the time to connect and make it something usable enough for users, you're opening yourself up to a claim if you decide to package it up into an app.
https://github.com/TomasHubelbauer/scrape-github-invoices/tr...Hey HN, I was frustrated with downloading GitHub invoices for my org by hand so I figured I'd use the GitHub API to download them instead.…not so fast! The GitHub API doesn't allow one to do that. So I decided to stretch my Puppeteer muscle as I've been enjoying it more and more since I first looked into it and scrape the licenses...
https://github.com/TomasHubelbauer/modern-office-git-diffHey everyone, I made this tool which allows one to use it as a Git hook which will then extract modern Office files (ZIP archives of XML files) to directories named by them and take advantage of GitHub/GitLab/Whatever's online diff when inspecting PRs and commits to a repository.Diffing Office files was not an unsolved problem before, I...
https://github.com/TomasHubelbauer/webrtc-data-channel-demoHi! I made this GitHub repo to try and show WebRTC data channels and the connection establishment flow in a different way from what I was able to find online.My aim with this repository is to make WebRTC data channels accessible to any web developer by showcasing offerer and answerer separately for total novices (makes it much clearer...