KolenCh

5 ms·

31.
by KolenCh 11mo ago
Interesting. I worry about its ergonomics though as RSI might develops over time after long term usage of that design. I've been designing my own one-handed keyboard for 3 years. My main problem is that both of my wrist suffers from RS
32.
by KolenCh 11mo ago
Big claim but not much substance. They should try to really understand linear algebra first, and also linguistics a bit. Semantic domain (from linguistics) is a better way to describe it, where using sets (from math) might better convey wha
33.
by KolenCh 11mo ago
This is referring to the fact that overall phase is not real (no observable difference) but relative phase has. The word “except” is not downplaying its importance, but to emphasize the fact that overall phase isn’t physical.
34.
by KolenCh 1y ago
Are you sure you are really talking about Physics? Are you talking about actual research in physics, or physicists applying their way of thinking in other things?
35.
by KolenCh 1y ago
But Apple enforces code-signing, and that prevents them to ship those binaries under GPLv3 in the OS. The users can always compile them on their own (or via their favorite package manager) but Apple just can't ship it (without changing
36.
by KolenCh 1y ago
That’s related to anti-tivolization in GPLv3 and basically Apple is forced to stop shipping things that’s updated to GPLv3. That’s not just about scared, assuming being scared means they are irrational and they could have adopted it if they
37.
by KolenCh 1y ago
My wife is doing a freelance project where basically humans are evaluating how good an LLM-generated prompt is, and if there’s any problem to be fixed. Some times the humans are amazed and can’t believe they are written by LLMs (other times
38.
Models Can Prompt Now(simonwillison.net)
6 points by KolenCh 1y ago|3 comments
39.
by KolenCh 1y ago
It really hurts to see this happening. CMB-S4, stands for stage 4, is a huge collaborative effort that units many CMB scientists and experiments, in a sense that stage 1 to 3 experiments are “converging” towards this. To put that in context
40.
by KolenCh 1y ago
May I suggest stop eating cats and the joy will come back.
41.
by KolenCh 1y ago
I have custom scripts to bootstrap my macOS as many others here, and I can testify that migrating to nix-darwin greatly simplified my scripts. P.S. I don’t use home manager though as I also need to bootstrap systems without nix.
42.
by KolenCh 1y ago
Interesting! Do you know how to convert com.local.KeyRemapping.plist to the JSON format you used for remapping keys?
43.
by KolenCh 1y ago
I see that you mentioned it is inspired by duti. I think may be adding a comparison on how it solves what it couldn’t would be beneficial. From quick skim and memory it seems a notable one is url scheme association. One problem I had with d
44.
by KolenCh 1y ago
To those who downvote, care to explain? Homebrew community is notorious in how they treat users on their GitHub Issues and I wonder why anyone is downvoting without showing how that situation have changed.
45.
by KolenCh 1y ago
I think you mean “the hell I got from the team”. I wonder if anything changed substantially over the years to make you say that?
46.
by KolenCh 1y ago
From an actual email from Mark Zuckerberg on February 28th 2012: > Integrating their products with ours to improve the service is also a factor. But in reality, we already know these companies’ social mechanics, and we will integrate the
47.
by KolenCh 2y ago
I thought it is an April fool joke about having Tom Holland as moderator. My bad.
48.
by KolenCh 2y ago
ie is abbreviated Latin and usually written as i.e. I know that mobile and auto correct can make it difficult, but IE must be deliberate upper cased. It is the worst because no matter how ancient it is, it still stands for internet explorer
49.
by KolenCh 2y ago
There are two kinds of Christians, the Bible studying kind, and the one who hearsay. Philosophical arguments like this are handled extensively in the field of (Christian) theology. There are many things many Christians claim nowadays are no
50.
by KolenCh 2y ago
Search through the whole documentation, not just current page.
51.
by KolenCh 2y ago
Looks great. Switching from wezterm and kitty before that, and the native feel on macOS is indeed better than those emulated tabs. Also it is really quite zero config where to me it seems only one line of color theme is needed, together wit
52.
by KolenCh 2y ago
Interesting. I’m looking forward to your future posts. One question I have in mind when dealing with PyPI vs conda is that why wouldn’t conda already solved all the problems with PyPI. My own answers to that includes 1) PyPI is still the de
53.
by KolenCh 2y ago
There’s a chain of stuffs happening regarding packaging and the first step in the chain using PyPI limits what one can do to fix it. Conda starts with a different design in how to build a package and also how to bundle it. It specifically h
54.
by KolenCh 2y ago
Ok, thank you. It’s a pity for me as I think having a resource that explain the big picture of both would be great. But I don’t have enough of a big picture to write about it yet. The thing about conda is that it is not just a tool, it is a
55.
by KolenCh 2y ago
Will your series at some point incorporate conda in the picture?
56.
by KolenCh 2y ago
How home manager users handle the case of setting up the home directory on a system they have no control over, and therefore nix is not usually available?
57.
by KolenCh 2y ago
But they are talking about gzipping base64 encoded data though.
58.
by KolenCh 2y ago
As far as the solver is concerned, there should be no difference as it has been streamed. But I personally can’t see a reason to go back, as mamba is supposed to be a drop in replacement of conda. I default to use mamba and switch to conda
59.
by KolenCh 2y ago
Good point. Not to mention the circulation will be all wrong had the radiator been cool instead of warm. (The primary means of heating by radiator actually comes from convection rather than radiation.)
60.
by KolenCh 2y ago
In this sense I personally prefer pixi because of this. It is pixi like but resolves using conda channels like conda, and similar to conda it supports PyPI packages via uv. With a background in scientific computing where many of the depende

More ›