ctenb

11 ms·

151.
by ctenb 2y ago
Can you quantify this and link to the implementation?
152.
by ctenb 2y ago
More general than the toss keyword even. If you're interested in concrete examples, you might have a look at the koka documentation
153.
by ctenb 2y ago
I tried to use alacritty in the past, but moved to wezterm eventually, because of it's superior customizability and features.
154.
by ctenb 2y ago
I think the peak of windows was when they introduced WSL, making windows the ultimate crossplatform dev OS.
155.
by ctenb 2y ago
https://web.archive.org/web/20240512232147/https://blog.plov...
156.
by ctenb 2y ago
You mean the different sub fonts? The whole idea is that they are tightly connected in that they can be used in tandem.
157.
by ctenb 2y ago
I stopped after the first 3 slides, since the information density is too low and the animation too slow.
158.
by ctenb 3y ago
I don't understand the submission and what it has to do with complex data. Can someone give me a hint?
159.
by ctenb 3y ago
Are there any other comparable (but more ethical) platforms out there that I can switch to?
160.
by ctenb 3y ago
> Perhaps some of these dark UX patterns work in the short term. Maybe you get a couple extra email signups or some paid memberships. But longer term, I have to imagine this catches up with you It's at least mentioned. I think this
161.
by ctenb 3y ago
3, via Hans Bodlaender
162.
by ctenb 3y ago
Funny name, assuming it refers to the magician who does not speak
163.
Koka v3 Released(github.com)
3 points by ctenb 3y ago|1 comments
164.
by ctenb 3y ago
Most notable changes: initial support for locally qualified names and implicit parameters (see the samples/syntax).
165.
by ctenb 3y ago
I'm not 100% sure what you mean with your second point. There are several kinds of handler types: `fun`, `ctl`, `final ctl`, `raw ctl`. The implementor of the handlers is restricted to what these handler types allow. You can implement
166.
by ctenb 3y ago
The first yield is just the effect name. There is a shorthand syntax for effects with only one function, such that you only define the name once: effect ctl yield( i : int ) : bool See bottom of this section https://koka-lang.git
167.
by ctenb 3y ago
Clever and clear formulation. Why isn't this seen as a rebuttal of the ontological argument?
168.
by ctenb 3y ago
Wezterm allows this fully
169.
by ctenb 3y ago
Listened to this episode the other day. I can recommend, its funny and gives a fresh perspective, even if I don't agree with everything
170.
by ctenb 3y ago
"Design" here means user interface design for software, rather than design in general.
171.
by ctenb 3y ago
Python does not have a lot in common with Perl language-wise, so this seems an odd statement.
172.
by ctenb 3y ago
What's the answer?
173.
by ctenb 3y ago
Found it: https://www.bol.com/nl/nl/p/mmobiel-usb-c-naar-3-5-mm-jack-a...
174.
by ctenb 3y ago
I have to be honest, and the first one I bought was outright broken. For the second one I paid more attention to reviews and it was also slightly more expensive. Let me check if I can find the brand
175.
by ctenb 3y ago
I bought an adapter cable, works okay! :)
176.
by ctenb 3y ago
I own an FP 4 since it aired. No complaints so far. I mainly use it for browsing. I haven't needed any repairs yet, but I like the idea of that being an easy feat. Of course everyone hopes that they can make their phones more modular a
177.
The Evolution of Effects [video](youtube.com)
1 points by ctenb 3y ago|0 comments
178.
by ctenb 3y ago
You can also pass a flag to git grep to ignore the index (--no-index), which makes it search untracked files as well
179.
by ctenb 3y ago
No, git grep can recurse, if you pass the flag, just like all other git commands. --recurse-submodules
180.
by ctenb 3y ago
Thanks for clarifying! I use `git grep -IPn --color=always --recurse-submodules` many times a day, every day. I hasn't yet let me down, but I don't search for unicode when working on source code. I do use regex though, using the -

More ›