Live data from Hacker News

Viewing profile — _jyty

_jyty

HN member
Joined
Fri, Jul 14, 2023, 6:08 AM UTC
HN karma
34
Public activity
15 items

About _jyty

No profile information was provided.

Recent public activity

  1. comment
  2. comment
    Comment #36821598

    [flagged]

  3. comment
  4. comment
  5. 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…

  6. 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…

  7. comment
  8. 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…

  9. 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 …

  10. 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 …

  11. 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…

  12. comment
  13. 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…

  14. 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…

  15. 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…