HNHacker News
TopNewBestAskShowJobs

quchen

1,486 karma · joined April 30, 2013

Freenode: quchen https://github.com/quchen

Encryption: [ my public key: https://keybase.io/quchen; my proof: https://keybase.io/quchen/sigs/wFLn8V9VLr7GdojgPvbUt_UhfePTJoOYC2MQPmuAEMI ]

submissionscomments
quchen··on How strong is the strong interaction?
The weak force is weak in two ways. One is as you mention the massive-ness of the W/Z resulting in exponential decrease of force over distance, but there's also the fact that at our usual energy scales, creating a (virtual/off-shell) W/Z is close to impossible - so it's not only weak over distance, but also very rare.
quchen··on Turbo Haskell
Part of the name was a joke about people often mishearing Haskell as Pascal, Ed told me a couple of years ago. I think it might have been at ZuriHac back when it was at Google Zurich, so 2016-ish?
quchen··on Mind-altering drugs played key role in rise of Andean civilization
Or take DMT as a crystalline, naturally produced substance. As far as I know, there's no Methamphetamine in nature, although I've become very careful with the terms none/all in biology.
quchen··on Mind-altering drugs played key role in rise of Andean civilization
Depending on your definition of poison of course, but at least for LSD and magic mushrooms, all that's known is a lower bound for their biological toxicity. For LSD IIRC it's somewhere in the 30mg (!) range, for mushrooms it's more than can comfortably fit a stomach. I'm afraid I don't have sources handy though.

That said, the state of mind must be so wild that "is it poisonous in this specific/usual sense" is probably not the right thing to discuss.

quchen··on Why some US restaurants are banning tips
On the other hand, lots of people have the liberating experience of discovering that "no tip" is a sensible default to press, and from then on we're out of the tipping game. Bots don't guilt trip me anymore, hooray!
quchen··on Golang proposal: container/: generic collection types
I'd say it's quite the opposite, Google is the only thing that made Go become somewhat popular.
quchen··on Splinter Cell veteran says realistic modern lighting has screwed up stealth game
"Check it out, a licence plate" still rings in my head. It's a random sentence at the very end of the demo. 10-ish me must have played that first short level dozens of times. But as you said, the framerate was ok, and the final game being much more open and effectful it lagged my computer to death. Good times.
quchen··on Not all elementary functions can be expressed with exp-minus-log
Algebraic too.

There's also the opposite in physics though, "modern" means from the 60s with square roots drawn in manually.

quchen··on Phone-free bars and restaurants on the rise across the U.S.
There are a couple of communities that have almost no phone presence. Certain kinds of music festivals are an example, and it's really quite nice not having to worry about being filmed.
quchen··on Why I love NixOS
The idea is so good it’s as close to platonic as it gets. The user experience of writing your own nix expressions is so bad that it makes me angry every time I try. Not only that, but at some point the beginner help (!) meta became »use flakes, don’t do what the existing tutorials tell you, yes flakes are unstable beta and there are no tutorials but use it I beg you«. No, please, let me choose my own way to learn!

I haven’t given it a shot in the LLM age yet though, and trying out NixOS in a VM is not only easy, it is practical – in the sense that when you’re happy, you can simply boot that same config/OS anywhere else by just installing that config. And I’ll never forget that one time where I completely borked my everything in the VM, did a kernel rollback with like 3 command line args and a reboot, and the OS was, well, rolled back. As I said, almost platonic.

What I can recommend is using nix-the-package-manager. Whenever I need the newest version of something, `nix-env -i <whatever>` and it’s there and works. If it doesn’t, roll back. If I need a different version, that’s on nixpkgs as well, with the same negligible amount of friction.

quchen··on Afroman found not liable in defamation case
Do you have a link? There are plenty of snippets that are easy to find, is there one canonical full video?
quchen··on Death to Scroll Fade
I used to use WikiTok [1] on my phone at times, but now they’ve introduced »words appear word by word« on the mobile version. Baffles me, why one would hide and gradually reveal any sort of content. It’s nauseating!

[1]: https://www.wikitok.io/

quchen··on Slicing Bezier Surfaces
Bezier curve are just nested lerps! A bezier curve of degree 1 is lerp, what we usually call "bezier curve" is of degree 3.

It's a mathematical property that bezier curves (degree n) can be split exactly into two bezier curves (degree n), which is known as deCasteljau's algorithm:

https://en.wikipedia.org/wiki/De_Casteljau%27s_algorithm

That page also features some pretty animations on the "lerpy" part - Bezier curves are really simple, it's just that for some reason they are often presented with lots of math jargon that's completely over the top.

This is also used to efficiently draw bezier curves: subdivide them until they're visually straight lines, then plot those.

quchen··on Is particle physics dead, dying, or just hard?
(Note the post you’ve replied to mentioned electrons and _protons_, not positrons.)
quchen··on PCs refuse to shut down after Microsoft patch
In my recent experience, a new culture of "I switched to Linux and it's fine" is establishing itself. It's on HN, sometimes on YouTube, sometimes my friends are unhappy with ads in their OS. It takes a very good reason to switch OS (most workflows break, after all), and I think the reasons are piling up into mainstream unhappiness.
quchen··on Xfce is great
You can configure a window resize hotkey. I use Win+(drag the window with right mouse) and it resizes it i the way you expect, moving the corner closest to the cursor. Left click would move the window instead of resizing.

This is by far my favorite way to resize and I don't know why it's not an industry standard.

quchen··on Never Use Pixelation to Hide Sensitive Text (2014)
Flameshot (a screenshot tool) in its newer versions (!!) uses random noise for pixelation, and colors it based on the un-noised surroundings so it blends in reasonably.

It's a nice mix if optically unobtrusive, algorithmically secure, and pleasant to look at.

quchen··on A Century of Noether's Theorem
Noether is one of my heroes. Rising through the ranks to one of the greatest minds we've known, recognized in spite of being a woman in a time where that was unthinkable in science, all odds against her. And yet here she is, the name of one of the most basic, and most beautiful, concepts in physics. The inventor of abstract algebra too (which I hear is as significant, it's just not my domain).

So many great minds have had to fight an uphill battle, but few had it as steep and even fewer were as successful as her doing so.

It really is a shame that she's not as recognized as the Bohrs and Feynmans and Paulis and so on, but at least everyone with a passing interest in theoretical physics ought to know about her.

quchen··on Mozilla appoints new CEO Anthony Enzor-Demeo
To expand on Firefox mobile: if you haven’t tried it, give it a shot. uBlock Origin works just like on desktop. I have seen maybe five ads on my phone browser (including Youtube!) since buying it in 2019.
quchen··on Microsoft has a problem: lack of demand for its AI products
Which is what?
quchen··on What's the deal with Euler's identity?
Any hints towards the answers? I've spent a lot of time with complex numbers, and my answers would be

Quaternions: not profound, C is complete, quirky but useful representation of SO(3)

Inverses: fun fact coincidence

1+i/1-i: not sure what to experiment with here

i^i: gateway to riemann surfaces.

Adding angles: comes out like this, that's the point of exp(i phi)

Unit circle: roots of unity?

Riemann sphere: cool stuff!

Quantum stuff: mathematical physicist here, no need to sell this one!

quchen··on Löb and Möb: Loops in Haskell (2013)
I did not expect this to surface after all these years, but here we are! o:-)
quchen··on Affinity Studio now free
One of the reasons I stopped doing photography was that I realized I’m locked to using Lightroom where all my previous pictures are, and without a subscription it’s such a hassle to gain access to them again. I miss the days when I just bought Lightroom and that was it. :-(
quchen··on MAML – A new configuration language
I love that in the end, everything still comes down to using bash (and env vars), because for all its footguns and strings, it's still the most reasonable choice when giving up on the zoo of newer formats. I expect it to outlive us all, like our unergonomic keyboards, and having to deal with null values.
quchen··on Type Theory and Functional Programming (1999) [pdf]
TAPL, I meant TAPL (Types and Programming languages by Pierce)! This would not have happened with a well-typed comment section. I mixed up OP's book (which is nice as well!) and the abbreviation. Sorry!
quchen··on Type Theory and Functional Programming (1999) [pdf]
TTOP is the standard work on the topic. Some parts I would say fell out of fashion (using Miranda for example), but many parts are either timeless or still just as relevant.

That said, the book is very dense; for me it was just too much the first time I tried to read it. After circling back to it after a while it gets much easier, because you know what parts you really need (which is a common pattern for me at least with everything academic).

quchen··on Windows 10 resists its end: usage share climbs while Windows 11's falls
My gaming PC is a very unloved Windows machine, if not for that I'd be long gone (everything else is Linux). Come to think of it, gaming is why I used windows in the first place, starting with 95. With the Steam Deck and its push for Linux compat I don't see the next generation being so windows focused either.
quchen··on The elegance of movement in Silksong
I’m curious about those traps. I used to hate Soulslikes, Elden Ring made it click, and I binged them all on PC. Traps became part of some twisted humor, I started waiting for the (literal) punchline. I missed traps, or as I started calling them, »FromSoft bullshit«, when there weren’t any for a while. I’m super careful and alert in all games now.

I wonder whether Silksong’s traps scratch that itch, or whether they’re just annoying.

quchen··on The elegance of movement in Silksong
I aborted my 3 Hollow Knight attempts because of boss runbacks. Is there a mod that, I don’t know, adds benches before bosses or something? Then I might finally finish the game. I do enjoy hard-but-fair boss fights after all.
quchen··on The elegance of movement in Silksong
The shade also makes the places you died in actively harder. It’s a baffling design decision. Compare it to Dark Souls, where souls aren’t even that valuable (because you level up often enough, and single levels aren’t important). Plus, when you die twice, everything is gone, and you get total freedom. It hurt the first three times, then I realized souls are cheap and stopped worrying. I never finished Hollow Knight for such reasons. Loved the first half, then decided runbacks aren’t what I want to spend my limited time on.
Page 1 of 14Next →