ryukafalz

7 ms·

31.
by ryukafalz 1y ago
In addition to all the issues mentioned in the article, this seems to mean that UK citizens will effectively be forced to accept the terms of service of one of two US companies (Apple or Google). If you must have either an Android or iOS de
32.
The UK announces mandatory digital ID plans(theverge.com)
8 points by ryukafalz 1y ago|2 comments
33.
by ryukafalz 1y ago
Careful, this often ends up with cities and towns building isolated pilot bike lanes that go nowhere and then ripping them out when nobody uses them. The value of a bike lane isn't in the lane in isolation, in the same way that the val
34.
by ryukafalz 1y ago
> None of it will help you when you're executing the binaries you built Lavamoat would, if you get to the point of running your program with lavamoat-node or built with the lavamoat webpack plugin: https://lavamoat.github
35.
by ryukafalz 1y ago
Thanks, this was a good overview of some of the challenges involved with designing a capability language. I think I need to read up more on how to deal with (avoiding) changes to your public APIs when doing dependency injection, because tha
36.
by ryukafalz 1y ago
Probably! I just have more experience with Guix than Nix so I don't know what it feels like in practice on the latter.
37.
by ryukafalz 1y ago
This is one of the reasons I like Guix so much: its packaging system treats source builds as the normal case, with binary packages available via caching. So if you go to install a package and there's no cached binary, Guix will happily
38.
by ryukafalz 1y ago
This is one of the longstanding issues with Android, yeah. Pixel 5 went EOL in 2023, though did get some extra (probably security) updates last year. OEMs and SoC manufacturers have been getting better about upstreaming stuff recently from
39.
by ryukafalz 1y ago
As ever, I think the answer to "how do we sandbox arbitrary code while still letting it do useful things?", whether human-written or machine-written, is with object capabilities. Run the generated code in a sandbox, but pass in ca
40.
by ryukafalz 1y ago
There's secure enclave chips and there's the software you actually run on them, and convincing those who can provide you with tokens to do so with your own hardware/firmware. I'm sure this involves a lot of compliance wo
41.
by ryukafalz 1y ago
Checking the time and specific notifications without getting distracted by apps :)
42.
by ryukafalz 1y ago
Guix as well. It's very good.
43.
by ryukafalz 1y ago
If someone else can remotely disable a device that you own, you don't really own it. This kind of thing is why we need full control of our devices as device owners.
44.
by ryukafalz 1y ago
Yes, Flatpak portals are an implementation of the powerbox pattern. They're still underutilized, though there are more portals specified than I realized at least: https://docs.flatpak.org/en/latest/portal-api-
45.
by ryukafalz 1y ago
Yeah, agreed that that's a nice use case. And given a sufficiently flexible phone, it'd be nice to have a mode selector pop up when you plug into a new display. Pick between screen mirroring, desktop mode, and a media center, and
46.
by ryukafalz 1y ago
I used to use Ubuntu Touch on my OnePlus One for quite a while and it was very nice! I had to switch away because it didn't really support group MMS (still doesn't from what I can tell), and then later US carriers started requirin
47.
by ryukafalz 1y ago
If phones consistently gave you a useful desktop environment when you plugged them into a monitor, I imagine that might change. I think offices are the most likely places to have something like this, though. My company has monitors with USB
48.
by ryukafalz 1y ago
I don't particularly want to be required to have an Apple or Google device (and to accept their EULAs) to use social media either! If we're going to do age verification (and if we must, doing it in a privacy-preserving way would b
49.
by ryukafalz 1y ago
I agree, but specifically LFP cells rather then NMC. Less likely to get angry. (My laptop uses these and I appreciate it all the time.)
50.
by ryukafalz 1y ago
But also for the first time in human history, it's possible to do large-scale surveillance without large-scale human effort. The power of the network goes both ways. Phone wiretapping (until recently I suppose) and mail inspection requ
51.
by ryukafalz 1y ago
Right, exactly. Game companies don't advertise when you buy a game that its single-player features will only work as long as the servers stay up. I'm sure they don't want to. But if players aren't made aware of that fact
52.
by ryukafalz 1y ago
I use a Fairphone 5 and plan to stick with it for a while (after all, that's the point!) but this does look very nice. I do wish they would sell them in the US and had more US band support. I got mine on a trip to Europe and it works
53.
by ryukafalz 1y ago
This is very cool! Love to see the Commodore 64 style of keyboard computer come back. I got the Viture Pro recently and this would be fun to add to that. Ultimately I think this is a very nice form factor both for portable use with XR glass
54.
by ryukafalz 1y ago
> Now my LG TV runs WebOS, which I assume is the name with no shared code, but who knows. Pretty sure it is based on a derivative of the original WebOS code! I think the LuneOS folks use some WebOS OSE code: https://en.m.wikip
55.
by ryukafalz 1y ago
I'm not convinced that symbolic processing doesn't still have a place in AI though. My feeling about language models is that, while they can be eerily good at solving problems, they're still not as capable of maintaining logi
56.
by ryukafalz 1y ago
There is a bit of a transition period; you have a lot more choice about what classes you're going to take in college than prior to that for example, and you're to a large degree choosing your own path there. But graduating is stil
57.
by ryukafalz 1y ago
As do Scheme and most other Lisps I'm familiar with, and integers/floats are typically specified to be distinct. I think we'd all be better off if that were true of JSON as well. I'd be happy to use s-expressions instead
58.
by ryukafalz 1y ago
Ah, thanks for the reference! Yes, there are a lot of very old capability systems in computing history. I've got a copy of Capability-Based Computer Systems on my shelf that I've been meaning to read for a while, and it covers t
59.
by ryukafalz 1y ago
Capabilities themselves can certainly be implemented at a very low level; you might implement them as an array of capabilities associated with each process: https://en.wikipedia.org/wiki/C-list_%28computer_security%29
60.
by ryukafalz 1y ago
That's still an important skill! You might think that everything that can be digitized has been and is easily available online, but that's not the case. Especially so for more obscure books and publications that are mostly relevan

More ›