Viewing profile — _jyty
_jyty
HN member- Joined
- Fri, Jul 14, 2023, 6:08 AM UTC
- HN karma
- 34
- Public activity
- 15 items
- HN profile
- View on Hacker News ↗
About _jyty
No profile information was provided.
Recent public activity
- comment
-
comment
Comment #36821598
[flagged]
- comment
- comment
-
comment
Comment #36803877
As someone who isn't in academia, I've heard of this being a problem before, but in the context of research related to computer science, it seems like private research at companies…
-
comment
Comment #36794362
This article about async in Python helped me understand it pretty well, since it explains them in terms of coroutines, which are very intuitive for me: https://mleue.com/posts/yiel…
- comment
-
comment
Comment #36793091
That's what I mean; it's often easier to use a font that doesn't have ligatures (like the NL variant) than to use a font with ligatures and hope your editor lets you disable ligatu…
-
comment
Comment #36791752
If you have a lot of different symbols, it makes sense that ligatures would help to distinguish them more easily. So, ligatures for Haskell symbols also probably help, since there …
-
comment
Comment #36791473
However, not all IDEs, text editors, and terminal emulators support disabling the use of ligatures, so it's often easiest to just switch to a font that doesn't include them if you …
-
comment
Comment #36736871
>"Rust is so hard to learn that the AI doesn’t get it" is a bad place to be for rust. I don't think this is really a big point against Rust; in my experience, ChatGPT doesn't write…
- comment
-
comment
Comment #36729878
I'm using a Dell laptop, but I'm running vanilla GNOME on EndeavourOS (took out the distro-specific customizations in the installer), and its trackpad support seems perfect on mine…
-
comment
Comment #36724879
Compared side-by-side, Aptos looks rounder and less square, and it has more natural looking curves. The problem is that differences in fonts are kind of subtle when their goals are…
-
comment
Comment #36724693
When they refer to Swisss typography, they're likely referring to the International Typographic Style, which is also known as the Swiss Style (it's on Wikipedia). It's a style of g…