josephg

55 ms·

961.
by josephg 1y ago
End user license agreements are a huge part of the problem. Ideally users could sue if our data is leaked - and the threat of being sued would put pressure on companies to take security more seriously. Ie, it would become a business concern
962.
by josephg 1y ago
Yes. I really hope someone builds a nice, usable OS with SeL4 as a base. If SeL4 is like the linux kernel, we need a userland (GNU). And a distribution that's simple to install and make use of. I'd love to work on this. It'd
963.
by josephg 1y ago
Eh. Emulators are often tiny in comparison to the programs they emulate. Especially when performance isn't so much of a concern - like when you're emulating software written for computers from many decades ago. A good emulator can
964.
by josephg 1y ago
One of my friends recently did some logistics work with a bunch of pacific islanders, to organise them all to come to a conference in Australia. In the local language of one of the countries, they say the family name first. For example, &qu
965.
by josephg 1y ago
I know and I agree. But politics are more often driven by perception than reality.
966.
by josephg 1y ago
Yes, think of all the paper wasted printing the US constitution. It would have been much more environmentally friendly if they stored it in a blockchain! polite coughs
967.
by josephg 1y ago
Yeah; you need an enforcement system too. And some way to amend rules and adjudicate. But we could implement all that if we actually wanted to. Eg, have broad rules to refuse to peer with anyone who doesn’t agree with the rules of the inter
968.
by josephg 1y ago
Personally I hate both surveillance systems. I hate the American big tech surveillance system - under which companies like imgur sell the personal data of its users to anyone who comes knocking. And I hate the European chat control proposal
969.
by josephg 1y ago
Yeah. We had a chance to invent our own governance on the internet. But we abdicated, and made the internet a free for all. As a result, national governments have stepped in to provide the governance we didn’t program in. And they do it - o
970.
by josephg 1y ago
> IMHO, this policy is a transparent effort to forcefully alter the content policy of US companies. I don’t see it that way. US companies have an atrocious record wrt user privacy and security. The Europeans don’t want their citizens dat
971.
by josephg 1y ago
Most sales aren’t that complicated. Usually UK law targets anything sold to people who are physically in the UK, paying in GBP. Which from the sounds of things, was something imgur did. Does it also count for people in the UK using a vpn? W
972.
by josephg 1y ago
95% of the layout? Trivial. The last 5%? Much harder. They’ve invested in their very specific latex template. We probably could have done it but my coauthor is great with latex and figured converting the whole thing was probably easier than
973.
by josephg 1y ago
> Almost nobody wants to learn something new when they already know something similar. Yeah, I wrote a paper using typst - which was much more pleasant to draft. But for the final version submitted to the journal, we ended up converting
974.
by josephg 1y ago
8. Programming with it is lovely. Its got a little interpreted language built in, with helper functions like json("some_file.json"). I wrote a paper in it, and used that extensively to populate all my result tables. (Benchmark scr
975.
by josephg 1y ago
> So buy packs made with quality cells and ensure that whoever makes the pack has proper welding gear and QA in place to avoid surprises. Never ever use cells without a BMS unless they are in a 1S configuration. How do you put that advic
976.
by josephg 1y ago
Yeah. I wish there was a way to turn off full indexing of content. Content search always shows me pages and pages of junk. "Oh, looking for your todo list? That word showed up in this 1gb video file! And all these C header files. And .
977.
by josephg 1y ago
I make a habit of turning off spotlight almost entirely. Search never returns what I want anyway, and the juice isn’t worth the squeeze. Go into preferences, spotlight and you can add folders to exclude from indexing. I add my home director
978.
by josephg 1y ago
Yep I second this. I have a K1 (I think) with blue switches. The switches are the most important choice - since that controls the entire feel of using the keyboard. When I first got mine, I got red switches. But red switches don’t give you
979.
by josephg 1y ago
What a weird choice! An FTP client implementation is tiny. I guess they figure FTP uploads are mostly used for professional sports photography, and they don't think people will buy the a6700 for that. (Or they don't want people bu
980.
by josephg 1y ago
Nice work! I've wanted something like this while shooting, since people want to see what the photos I'm taking look like and all the software I've tried seems kinda bad. Does this work better than the built-in FTP client soft
981.
by josephg 1y ago
Sometimes four out of five doesn't cut it. Thats like claiming my car is an electric car because "they both have batteries and motors". Or like saying C is a functional programming language because its a programming language
982.
by josephg 1y ago
Matt Weindner is a really smart guy, but I really disagree with his reasoning with that one. I implemented his fuguemax crdt in just 250 lines of code or so. It’s small, simple and fast. In that blog post he proposes a different approach th
983.
by josephg 1y ago
> Technically an algorithm that lets the last writer win is a CRDT because there is no conflict. Yes. It’s called a LWW register in the literature. Usually a MV (multi value) register is more useful. When there is a conflict, MV register
984.
by josephg 1y ago
I tried using the C library recently but was turned off by the lack of bounds checking. I’m not sure how anyone could reasonably accept packets over the wire which allow arbitrary memory access. Am I misunderstanding? Any hope this can be f
985.
by josephg 1y ago
There’s no way you could implement this in 10kb of rust. It takes massive advantage of javascript’s dynamism to work. Also, I’m pretty sure ts / js are vastly more popular languages than rust. I suspect this will get a lot more use be
986.
by josephg 1y ago
I love this about sel4. Sel4 defines a capability based API between processes, and the invoking functions have both synchronous and asynchronous variants. (Ie, send, sendAsync, recv, recvAsync, etc). How you want to use any remote function
987.
by josephg 1y ago
You don’t need containers. Just hermetic builds. Ideally every byte read during the compilation process comes from a file under your control, that you version and you test. That includes the compiler, glibc, and all of your dependencies. Am
988.
by josephg 1y ago
You can put your apple photos library on an external / network attached drive. Thats what I do, since my photo library has grown to ~300gb. And I'd much rather buy a hard drive than rent one from apple. There's also the excel
989.
by josephg 1y ago
Photography is the same way. Most SLR / DSLR / mirrorless cameras have a mechanical shutter which is expected to last around 200k-1m activations. I've had a camera for a bit over a year. I've used it quite heavily, and m
990.
by josephg 1y ago
I'm not talking about npm. I'm talking about the 3.1 million libraries hosted on npm. And the ~150k libraries available in rust's cargo, 187k ruby gems, 667k pip packages, and so on. For every React ("brought to you by f

More ›