HNHacker News
TopNewBestAskShowJobs

Erlangen

591 karma · joined May 27, 2020

submissionscomments
Erlangen··on Ask HN: Why Is Everything in Chinese?
I had similar issues with Hotmail more than five years ago , albeit none right now. I happened to set the default language/Locale to Simplified Chinese for once, and changed it back to English shortly afterwards. Somehow Hotmail insisted on showing everything in Chinese, its email interface, service agreement etc. So I had to go to the settings and changed it every now and then. Anyway I slowly drifted to using Linux desktop full time on my machine, and the issue disappeared magically.
Erlangen··on Java 16
It's the same story in C++, co_await, co_yield. The sole purpose is not to break other people's code.
Erlangen··on Fish Shell 3.2
> If anyone is reading this and is using vi mode with bash or zsh, give fish a try, it's so much better!

Great to hear that. I am using vi key bindings wherever it's possible, for example, text editing, Firefox(vimium) and file manager(ranger). But I have never been able to figure out how to use vi mode effectively in the shell prompt. The last time since I tried vi mode in shell was at least 5 years ago. I could roughly remember that vi mode bindings conflicted with certain oh-my-fish plugins I had installed. Even worse factor was that, I didn't know how to do certain things in vi mode, for example "M-." key to yank last argument from previous command. So I gave it up in the end.

Would you mind sharing what plugins do you use? And how do you work efficiently with vi mode? Thanks ahead.

Erlangen··on Coq 8.13
You can listen here for the difference, https://www.linguee.fr/francais-anglais/search?source=auto&q....

with French pronunciation on top, English beneath.

Erlangen··on Rust Foundation: Hello, World
Well, hw is the top contributor to linux kernel in 5.10. https://lwn.net/Articles/839772/. I remember it was discussed in HN before.
Erlangen··on Element (Matrix chat app) suspended from the Google Play Store
I don't see the difference. "Sync for reddit" a custom client for reddit. It was suspended for "hate speech". Then why isn't the official reddit app not suspended?
Erlangen··on Famed Chinese immunologist cleared of plagiarism and fraud
More background on this case, https://forbetterscience.com/2021/01/21/communist-party-give...

Thanks to Dr Elisabeth Bik(@MicrobiomDigest). She is a hero.

Erlangen··on Rust for Windows
I kind of expect it to be called "Windows for Rust".
Erlangen··on Crossword.el – download and play crossword puzzles in Emacs
Is there a online library of puz files?
Erlangen··on Apple fails to overturn VirnetX patent verdict, could owe over $1.1B
The patent system is crazy. It reminds me this, "patent lawsuit against GNOME",

https://news.ycombinator.com/item?id=21071699

Erlangen··on Reading Manpages Like a Pro (2018)
I find it convenient reading man pages in emacs (doom emacs in my case). The output is colorized, and the pages are linked.
Erlangen··on AWS Cognito is having issues and health dashboards are still green
Is this the reason I have seen connection errors in duolingo,

> upstream connect error or disconnect/reset before headers. reset reason: overflow

Erlangen··on Calibre 5.0
It's a big shame that whenever anything related to Calibre is posted, top comments will often be how arrogant is author is. I used to think the same. But when I read his comments history in GitHub, he doesn't seem a dick to me at all. So I googled his name, and end up in a forum. It completely changed my mind.

Contrary to what people believe, Dovid Goyal is the most friendly programmer to his users. He spent lots of time answering questions in the forum https://www.mobileread.com/forums/forumdisplay.php?f=166. His answers include where is a menu located, how to convert a book from one format to another, helping the user to debug the exact the problem with Calibre. He has been doing this daily and is very responsive. You can expect an answer to your question in the same day. (The forum used to allow you to read user's comments history anonymously, but now you need a account to do so)

Erlangen··on Org-mode 9.4 is out. Can you help?
I hope more project maintainers would call for help if it's needed. I am using org mode everyday, but I don't know org needs more contributors. That being said, I am definitely willing to help occasionally.

Thanks for bring the message out, bzg.

Erlangen··on Using Vim for C++ Development
Agree with everything except the beautiful wallpaper:) That's my setup.
Erlangen··on Ubuntu Snap auto updates broke my development setup, can't turn them off
I guess Ubuntu will provide a enterprise edition of Snap in future. It will allow users to suspend updates.
Erlangen··on Hair weaves from Chinese prison camps seized
> suspected to be made out of human hair taken from people locked inside a Chinese internment camp.

Is it possible to do a genetic analysis to find out the origin of the hair product?

Erlangen··on FreeBSD Renames “Master Boot Record” to “Main Boot Record”
Haven't change handbook yet. https://www.freebsd.org/doc/en_US.ISO8859-1/books/arch-handb...
Erlangen··on Pain Points of Haskell
Sorry I miss your reply. I create opam switches to have different versions of compiler, or allow libraries that conflict to live at different branches.

1. Dune is a relative new build system for Ocaml. You just write a configuration file, and dune will handle switches automatically. "It also supports multi-context builds, such as building against several opam roots/switches simultaneously. This helps maintaining packages across several versions of OCaml and gives cross-compilation for free." See https://opam.ocaml.org/packages/dune/

2. Yes. You can can multiple versions library at different switch.

3. I am not sure.

Erlangen··on China behind major cyber attack on Australian governments and businesses
> While Mr Morrison said the Government would not take the formal step of publicly naming which state, senior sources confirmed China is believed to be behind the malicious attacks.

What senior sources?

Erlangen··on Rav1e, an AV1 encoder written in Rust and assembly
> The fastest and safest AV1 encoder.

Is it faster than dav1d?

Erlangen··on Pakistan requiring registering VPNs with the Government
I thought China banned vpn, even for foreign business. This was popped up in HN 8 month ago. https://news.ycombinator.com/item?id=21241712
Erlangen··on Pain Points of Haskell
Packages are not installed globally in opam by default nowadays. `opam switch` "enables the user to have several installations on disk, each with their own prefix, set of installed packages, compiler version, etc". https://opam.ocaml.org/doc/Usage.html#opam-switch
Erlangen··on Amazon.com was down
Cannot log into aws console at the moment.
Erlangen··on The PEPs of Python 3.9
Slicing in Python always create a new object. You can test it with a list of integers..
Erlangen··on Is infinity times zero = zero?
I haven't touched analytical mathematics for a very long time, so my understanding is quite rough now. Though the solution seems obvious, I hope the proof gives more explanation.

1. Is it OK to replace 0 with a function that approaches 0 at infinity? What rules are in place for substitution?

2. Is lim f(x) * lim g(x) equal to lim f(x)*g(x) ?

← PreviousPage 3 of 3