hibbelig

7 ms·

31.
by hibbelig 3y ago
The relationship between thoughts and proofs is analogous to the relationship between noise and music. It’s a subset kind of relationship. There is also the social aspect: people have to agree on it. Noise becomes music, and thoughts become
32.
by hibbelig 3y ago
I think you need to go down the conditionals in order anyway, if cond* it’s like cond in that it evaluates the conditions top to bottom. So keeping track of “all the bindings so far” makes intuitive sense to me. I also see a parallel to if&
33.
by hibbelig 3y ago
Maybe I should read the article again but I thought the grandfather died in April but the excuse was for November.
34.
by hibbelig 3y ago
I don't quite understand what the problem is with asking the developers to download the tool using curl. The developers could add their username and password to the command line...
35.
by hibbelig 3y ago
My understanding is that the goal is as follows: 1. New team member gets new fresh Mac 2. New team member downloads the tool and runs it 3. New fresh Mac is now set up with a development environment suitable for the company, including a wor
36.
by hibbelig 3y ago
Well, GP compared the rules against real life and decided that they are different from real life, so they shouldn't be followed. Chess rules are also different from real life, but people don't have any issues following them. The q
37.
by hibbelig 3y ago
> I don't agree with that condition, and ignored it. Fascinating. It’s a game! No Knight moves one square to the right and two up, but it seems chess players have no problem with it.
38.
by hibbelig 3y ago
So fish comes with nice defaults. It could happen that you have a complicated zsh setup, then migrate to fish and you find the defaults are fine. The fish scripting language is nicer (more logical) than the zsh one. That's because zs
39.
by hibbelig 3y ago
Oh yes, I need to remember to show diffs using difftastic.
40.
by hibbelig 3y ago
Thank you; I have configured histogram and we will see.
41.
by hibbelig 3y ago
> Agreed, that's my point why the diff model isn't helpful at all to think about. Similar to the particle-wave duality in physics, a commit is both a snapshot and a diff, and similar to physics, which way to look at it depend
42.
by hibbelig 3y ago
> Which is not the same as what you may have actually done to change old file into new one. I’ve seen this with methods: I add a method, so I expect to see the whole new method in the diff. But actually the diff looks as if I’ve inserted
43.
by hibbelig 3y ago
Several comments about && and ||. But where does == go?
44.
by hibbelig 3y ago
I just did a quick experiment, that's all.
45.
by hibbelig 3y ago
> Smooth scrolling in VS Code is primarily about animating scroll events such that scrolling with a mouse wheel doesn't just scroll an increment immediately but over a fixed time, updating at a high refresh rate. This is supported
46.
by hibbelig 3y ago
I wasn't able to get smooth scrolling on Terminal.app nor iTerm2. But I would love to.
47.
by hibbelig 3y ago
Very interesting. I expected smooth scroll in VSCode to do like the video does. But no, it does not affect single-line scrolling. It affects scrolling a page! For Firefox, smooth scrolling behaves exactly as I expect, but it affects scro
48.
by hibbelig 3y ago
I see. Thank you, I missed that aspect. Of course, adding a symlink “~/f” that points to “funstuff” would work around the limitation, at the expense of typing two more characters. Four more if you count the leading “~/”.
49.
by hibbelig 3y ago
The other option was to put them into CDPATH instead... 6,000 of them? (I guess you are using an alternative to CDPATH, but you haven't said.)
50.
by hibbelig 3y ago
Is there a time traveling debugging solution for Java?
51.
by hibbelig 3y ago
I vaguely remember that the program and built-in could not always do the same, eg the program might not have supported -e. But it’s possible that ksh was used to get -e. Does anyone remember better than I?
52.
by hibbelig 3y ago
Are norg and ungron similar to wobble and wibble?
53.
by hibbelig 3y ago
Amazing! I've been writing shell scripts since the 90s and now I still learn something new. Thank you!
54.
by hibbelig 3y ago
I have recently written if some_command 1>/dev/null 2>/dev/null; then : # A-OK else here_is_the_code_i_actually_needed fi And it leaves me wondering if there is a way to “negate” th
55.
by hibbelig 3y ago
I've come across articles like this and they usually tell you to make use of an LLM. Is it possible to kind of compute a language model (maybe not that large) based on a given corpus?
56.
by hibbelig 3y ago
The author literally tried to use 107 as a command. The author did not try to use literally 107 as a command.
57.
by hibbelig 3y ago
In German, you have to ask the customer whether they want to be addressed in the formal way “Sehr geehrter Herr Schmidt” (esteemed Mr. Schmidt might be an approximate translation, of course this sounds totally off in English) or the informa
58.
by hibbelig 3y ago
Your parent suggested to make changes to TS so that TS is no longer compatible with JS (in the sense you described). Once that happens, compiling to WASM instead of transpiling to JS is a very valid design choice.
59.
by hibbelig 3y ago
I understood it as: better_time = estimated_time * 3; better_cost = estimated_cost * 10;
60.
by hibbelig 3y ago
I used to love tiling window managers. But I found out that UI heavy applications (those with a lot of extra things around the data itself, eg an IDE with toolbars and stuff around the actual editor) don’t seem to fit well into half a scree

More ›