corank

5 ms·

1.
Disabling Git over HTTPS for Now(inbox.sourceware.org)
2 points by corank 9mo ago|0 comments
2.
by corank 10mo ago
If you want automatic tiling, there are Kwin scripts for that eg https://github.com/anametologin/krohnkite/ Essentially turning kwin into a tiling WM
3.
by corank 1y ago
As I understand it this is precisely why in Haskell and OCaml standard libraries we get lots of things like map : (a -> b) -> a list -> b list instead of map : a list -> (a -> b) -> b list The main argument
4.
by corank 1y ago
I see. My understanding is that Rust doesn't have _automatic_ reference counting as in Swift only because it has an alternative (move), which requires the programmer to specify their intent. The principle is nevertheless the same: ensu
5.
by corank 1y ago
I was actually talking about automatic reference counting. I think both Rc and Arc count as automatic reference counting? It's just that the term (which was apparently coined by Apple?) is not commonly used outside Apple's languag
6.
by corank 1y ago
The point about Rust is to avoid any extra runtime cost by statically enforcing a set of rules (borrow checking) on reference use that are sufficient to guarantee memory safety. It also has ARC but it's reserved only for cases where th
7.
by corank 1y ago
I think I saw them sharing it on Reddit earlier
8.
by corank 1y ago
I'd love to learn more about how AMT works. How would a doubly linked list work in this language for example? Does the conversion happen during run-time? Isn't that going to be super expensive?
9.
by corank 1y ago
There are different types of harmonicas. For 10-hole/blues harmonicas bending is a fairly common technique. It's less common or easy to do on other types of harmonicas, eg chromatic harmonicas. Maybe you tried one of those as a ki
10.
by corank 1y ago
What are some safety guarantees for CSS?
11.
by corank 1y ago
> It forces functions to be memory pure (pure with respect to memory), even if they aren't. What if the unsafe code is not supposed to be pure but mutates some memory? For example, does this allow implementing a doubly-linked list?
12.
by corank 1y ago
I own a Kindle Oasis 2. Amazon stopped software updates for it so I just jailbroke it and loaded KOReader. It's way better than the official software, probably the most feature-rich and customisable document viewer I've ever seen.
13.
by corank 1y ago
I wouldn't call it an entirely new distro. It's just an Fedora image bundled with the necessary changes to create the UX. It doesn't provide its own software repositories. It's more like an unofficial Fedora Spin.
14.
by corank 1y ago
It seems to me that the part about unsafe operations is pretty much still unspecified. It's currently just a short paragraph saying it may cause undefined behaviour and a list of high-level descriptions of those unsafe operations. But
15.
by corank 1y ago
> if a process were to expose a mechanism for other processes to essentially proxy keychain queries through it, that can undermine the security of the whole system. This looks like a case of confused deputy problem: https://en
16.
by corank 2y ago
Perhaps these 1. Stress relief 2. Makes boring work a bit more interesting 3. Rubber duck debugging 4. A small amount of distraction might actually boost productivity by allowing us to jump out of a local optimum?
17.
by corank 2y ago
I think as long as the code sticks to the discipline of never actually doing I/O but only manipulating functions that perform them it would basically be doing the same thing as IO monads in Haskell. So print(s) returns a function that
18.
by corank 2y ago
Is there evidence showing that such things do boost productivity? Or any research on how they affect the way people work?
19.
by corank 2y ago
It likely doesn't have performance that's good enough for production use. Doesn't look like there's JIT so it's all instruction by instruction interpreting.
20.
by corank 2y ago
Have you tried using Google in China? Or post anything that the government/party doesn't like online?
21.
by corank 2y ago
Pretty confident that it's not covered at all.
22.
by corank 2y ago
I think an important difference between how I use vim and how I use a web browser is that in vim I need to type frequently. Though I may spend most time in normal mode in vim, I still need to switch to insert mode to make edits very frequen
23.
by corank 2y ago
That's indeed a nice use case. In general keeping to the keyboard can be helpful in the context of typing, but if I'm just reading news or blog posts or watching videos I'd go with a mouse.
24.
by corank 2y ago
For text editors or IDEs, basically contexts where we expect a lot of typing, I get why sticking to the keyboard is desirable. I don't get how it's better to browse the web without using the mouse. Most of the time on the web I ju
25.
by corank 2y ago
An interesting idea! Sending signals to all processes sounds expensive as hell though. All that work just to make a system call again to flush a buffer. Maybe a mechanism can be added to make the kernel aware of the user space buffer so it
26.
by corank 2y ago
My hypothesis is that the PDF format bears much blame here. The results might be very different if the material is in a reflowable format like an epub or a web page. If you think about it, the notion of a page exists only because of the phy