mherrmann

10 ms·

91.
by mherrmann 3y ago
winget.run is no longer updated. Try https://winstall.app
92.
by mherrmann 3y ago
So close!
93.
by mherrmann 3y ago
> the choice of a native Arm browser on Windows is effectively just Edge This is incorrect. Brave also has native Arm support, including Widevine.
94.
by mherrmann 3y ago
Thank you for the kind words and understanding. I'm happy to hear you liked it!
95.
by mherrmann 3y ago
I rephrased my comment to make it clearer that it's a GUI tool, thanks.
96.
by mherrmann 3y ago
Shameless plug for my more modern, GUI alternative to Midnight Commander, https://fman.io .
97.
by mherrmann 3y ago
TL; DR: ten years ago, Raspberry Pis and Android phones were a handful times faster. Nowadays, they are around 100 times faster. Pretty impressive, considering they fit in our pockets.
98.
by mherrmann 3y ago
It's in Table 3.
99.
by mherrmann 3y ago
The relevant data for the claim of the headline is in Table 3. On all the tasks with enough data, bots were both faster and more accurate than humans.
100.
How to fork Chromium(omaha-consulting.com)
2 points by mherrmann 3y ago|0 comments
101.
by mherrmann 3y ago
The CSS structure of a web site is an implementation detail and on a global average, CSS selectors break much more often than user-visible labels.
102.
by mherrmann 3y ago
I don't get why people still use XPaths, CSS selectors or HTML IDs to identify elements, even when they are "recorded". Please please please just use my https://github.com/mherrmann/selenium-python-helium
103.
I got a research grant to formalise Fermat's Last Theorem in Lean(twitter.com)
3 points by mherrmann 3y ago|0 comments
104.
by mherrmann 3y ago
1M Yuan is roughly 137,000 USD.
105.
by mherrmann 3y ago
Hi HN, this is my library, which I've been maintaining for years. Its high-level approach is extremely useful for automating the modern web. I hope you will find it useful too. Michael P.S.: Yes, it's still based on Selenium 3. I&
106.
Selenium-Python but Lighter: Helium(github.com)
1 points by mherrmann 3y ago|1 comments
107.
by mherrmann 3y ago
3, as in "omg".
108.
by mherrmann 3y ago
I view Brave as very healthy competition to Chrome and Edge. Yes, it's based on Chromium. But it disables the many egregious privacy violations, as well as other bad things.
109.
by mherrmann 3y ago
It sounds like most of the 26h downtime was spent restoring backups. Incidentally, this is exactly the reason why Tarsnap is unusable for me for production environments. Backup restoration (as a user) is excruciatingly slow. When my systems
110.
by mherrmann 3y ago
Check out (my) https://build-system.fman.io .
111.
by mherrmann 3y ago
Does someone know how long rendering these videos takes? Can it be done in real-time?
112.
by mherrmann 3y ago
Maybe that's the power of ChatGPT. That it is so adaptable to very individual use cases that people can apply to it to precisely their context.
113.
by mherrmann 3y ago
Mike Cook and Azalea Raad (mentioned in the acknowledgements) were in my undergrad class at Imperial College London. They're both very smart and were somewhere around the top of the class. It's funny and nice to see both of their
114.
by mherrmann 3y ago
I'd like to offer https://github.com/jamesob/desk as an alternative to direnv. It's useful for also jumping to the project directory and doing other things like opening an editor.
115.
by mherrmann 4y ago
Is it not sleazy that ad networks track us everywhere we go?
116.
by mherrmann 4y ago
I'd say the fact that brave has 50M users is a pretty strong sign that it is an improvement.
117.
by mherrmann 4y ago
s/to earn an extra dollar for yourself/to fund your project, in a privacy-preserving way, to make the internet a better place/.
118.
by mherrmann 4y ago
What to you is sketchy about the business model? The fact that it is also based on ads?
119.
by mherrmann 4y ago
1. Brave's ads are opt-in. So you don't see any by default. 2. They are not the same as other ads, because they preserve your privacy. 3. Brave is taking on Google, one of the most powerful companies in the world, so we get a bett
120.
Show HN: A ChatGPT command-line tool for fixing errors in your source code(github.com)
2 points by mherrmann 4y ago|0 comments

More ›