Live data from Hacker News

Viewing profile — darkkindness

darkkindness

HN member
Joined
Mon, Dec 05, 2016, 3:20 AM UTC
HN karma
310
Public activity
125 items

About darkkindness

current foci: programming language theory, education, mental wellness, compilers

past foci: functional programming, category theory/abstract math, quantum computation, number theory, journaling, software testing and verification, roguelikes, microcontrollers

I like to favorite comments that clearly express problems that people in this community have had. After all, it's hard to write what you mean when the problem is complex! I do this in the hopes that I can look back on them one day and see which ones I might tackle and which ones are no longer problems :)

https://news.ycombinator.com/favorites?id=darkkindness&comments=t

Recent public activity

  1. comment
    Comment #22662302

    Thanks for the link, I was wondering if Scott touched on this. Seems to be an adjacent topic but it's relevant nonetheless. my tldr of that post: in the context of ideological/poli…

  2. comment
    Comment #22662268

    I like this. Polarization is a pretty good characterization. People are just not treating neutral views as neutral anymore. Food for thought: perhaps people treating everything as …

  3. comment
    Comment #22662261

    Thanks for your viewpoint. As far as I understand, outrage culture is about shunning popular folks for their imperfect human morality. Could you (or someone else) elaborate on how …

  4. comment
    Comment #22661163

    meta: Over these past four years I've seen a growing number of people interpreting the most nuanced, neutral statements as 'apologist', 'biased', 'lobbying', 'spam', 'politically m…

  5. comment
    Comment #22632358

    If this was interesting, check out Eugene McDonnell's "1000 K idioms" (in k2): https://web.archive.org/web/20071230205056/http://kx.com/tec...

  6. comment
    Comment #22150412

    Just for fun and to make a point, I threw your reply into Talk to Transformer. > This is something so many people miss when trying test the limitations of GPT-2. It just doesn't ma…

  7. comment
    Comment #22150337

    I use Firefox on Android with NoScript and an adblocker. Yet I'm uniquely identifiable. One culprit is screen size putting me at Does that make defeating fingerprinting on mobile h…

  8. comment
    Comment #22150271

    Just to support your argument further, here is a related snippet from another comment[0] by knzhou: > Students can all recite Newton's third law, but immediately afterward claim th…

  9. comment
    Comment #22150194

    It's really weird to evaluate GPT-2 based on its ability to say things no reasonable person would ever say. If I were born in Cleveland I wouldn't be jumping to proclaim my fluency…

  10. comment
    Comment #22136000

    This is insightful. It also massively calls into question if economic models on prices (CPI?) could ever keep up with reality, if trends like shrinkflation didn't make that impossi…

  11. comment
    Comment #22086951

    After tetrominos, purely mathematical games with pentomino tiling at its core are definitely discovered games. It's doable but not always simple to build a given shape of size 5n w…

  12. comment
    Comment #22049710

    The conversation Bill's touching on -- the tradeoffs between different notations -- is really valuable but I think it misses something a lot of us desire in a syntax: compositional…

  13. comment
    Comment #22049149

    Agreed, I think the syntax used is not that common. (This is a problem, I think, with math notation -- everyone's notation means different things, google "substitution notation his…

  14. story
    Show HN: Calliagnosia – 50 lines of CSS to hide karma on HN and more

    https://pastebin.com/raw/4NJKDeZj I'm probably not the first one to do this. I wrote some CSS that hides all instances of popularity (i.e. karma and comment counts) on HN, lobste.r…

  15. comment
    Comment #22028426

    I think each one of us has a different idea what a "bullshit job" is. My favorite definition is this: > When it comes to garbage collectors, though, it’s different. Any way you loo…

  16. comment
    Comment #22024578

    Mangband also has a public server, so it doesn't take much to setup a game with a friend. (though the server does go down at times)

  17. comment
    Comment #22018137

    The article definitely a little confusing. It starts with an edit that gives new info about how to remove "Android/Trojan.HiddenAds.WRACT" which is auto-installed by the Settings a…

  18. comment
    Comment #21983004

    That's incredible, thanks for sharing! Here's the links for the lazy: https://nerves-project.org/ https://github.com/nerves-project/nerves

  19. comment
    Comment #21969931

    An immediate solution is to enable NoScript on all news sites. Disabling JS speeds up load times to instant and hides most of the cruft. It's working great so far for me (using Fir…

  20. comment
    Comment #21969860

    In other words, "our social networks" tend to have mostly like-minded people influence us, so increasing the diversity of these incoming opinions can counter bias. I'm a fan of thi…

  21. comment
    Comment #21949775

    This might interest you (and anyone reading this thread): AnyDSL is a language framework that separates the concerns for both viewpoints (designing for expressivity, designing for …

  22. comment
    Comment #21911141

    Nice! Isn't this exactly assert in C++? (the following is from https://en.cppreference.com/w/cpp/error/assert ) #ifdef NDEBUG #define assert(condition) ((void)0) #else #define asse…

  23. comment
    Comment #21910103

    This view might be conflating IP theft and plagiarism -- plagiarism has always had a strong regulatory regime in the form of peer review. Regulation of IP theft is a different stor…

  24. comment
    Comment #21908191

    Key insight IMO: > You can talk the talk like a champ, and be up with the latest buzz, but in some corner of your mind you may recognize that your basic skills are fundamentally la…

  25. comment
    Comment #21905124

    Thanks for the links! Those fully specified frankentypes are indeed atrocious, and no sane person should ever need to read them. That being said, isn't "Any" meant to act as a wild…