pornel

35 ms·

751.
by pornel 2y ago
JS and Python are still old enough to have been created when Unicode was in its infancy, so they have their own share of problems from using UCS-2 (such as indexing strings by what is now a UTF-16 code unit, rather than by a codepoint or a
752.
by pornel 2y ago
Being developed in, and having to stay compatible with , ancient times is a real problem of C++. The now-invalid assumptions couldn't have been avoided 50 years ago. Fixing them now in C++ is difficult or impossible, but still, the en
753.
by pornel 2y ago
I hope you're calling the `backup` command in sqlite. A simple copy can leave sqlite db files in an inconsistent state from which sqlite can't recover.
754.
by pornel 2y ago
They probably plan for the game to be on sale for a long time, so they don't want the game to look dated too soon, and aimed for future hardware. The specs won't seem so high in a few years. Games are long overdue to use the full
755.
by pornel 2y ago
This is already the reality in most of EU and the UK. There are 300kW charging stations all over the place, and a decent EV can recharge in 20 minutes. I actually prefer this over refuelling, because filling up takes 5+ minutes of my time
756.
by pornel 2y ago
I agree there's a value in forcing exploits to be weirder and more complex, since that helps spotting them in code reviews. But beyond that, if you don't review the code, then the rest matters very little. Sandboxed build.rs can s
757.
by pornel 2y ago
Rust can't prevent crates from doing anything. It's not a sandbox language, and can't be made into one without losing its systems programming power and compatibility with C/C++ way of working. There are countless obscure
758.
by pornel 2y ago
People have a finite amount of time and effort they can spend on making the code correct. When the language is full of traps, spec gotchas, antiquated misfeatures, gratuitous platform differences, fragmented build systems, then a lot of eff
759.
by pornel 2y ago
About invariants generally: Rust wants to know when memory behind each pointer is immutable, or mutable by Rust only, or could be mutated by something else while Rust has a pointer to it. Rust also encodes which types can't be moved to
760.
by pornel 2y ago
It's possible to get slightly better compression by losslessly rearranging data in a JPEG (DC components are compressed row by row, and prefer fewer horizontal color changes). However, here the author seems to accidentally fully recomp
761.
by pornel 2y ago
And every CVSS score is 9.8, because it's designed to never underestimate potential risk, no matter how absurdly unlikely, rather than be realistic about the actual risk.
762.
by pornel 2y ago
When you have a connected grid, it needs to ensure the entire grid operates on the same frequency. Production and consumption affect the frequency, so they have to be perfectly balanced. This is a hard problem when it needs to be done at sc
763.
by pornel 2y ago
You have an invalid assumption that extra power is spent on better compression or decompression. It generally takes less energy to decompress a better -compressed file, because the decompression work is mostly proportional to the file si
764.
by pornel 2y ago
You'd use lossless blocks for really simple pixel art that the GIF was made for. For GIFs made from video clips, you can apply regular video compression and decimate their size.
765.
by pornel 2y ago
This proposal is much simpler — it encodes slices of the image with filters and zlib block boundaries that make them naturally independent and obviously correct, and just adds a chunk saying "yeah, it's safe to use that". The
766.
by pornel 2y ago
Animated AVIF is widely supported, and can represent GIFs losslessly. BTW, Chrome vetoed the idea of supporting muted video files in `<img>` like Safari does, so we've got this silly animated AVIF that is a video format that has
767.
by pornel 2y ago
JPEG XL is pretty cheap to decompress. Advancements in compression algorithms also came with advancements in decompression speed. New algorithms like tANS are both compressing well, and have very fast implementations. And generally smaller
768.
by pornel 2y ago
You wouldn't want 24MB files with GPS and face detection metadata served raw on the Web anyway.
769.
by pornel 2y ago
The system should require multiple identical copies uploaded independently. The "independently" part is hard, could require some kind of web of trust.
770.
by pornel 2y ago
Tesla's cars and Superchargers in the EU all use the CCS2 standard (similar to CCS1 in the US, but the plug doesn't have a latch sticking out). NACS is really only a North American thing.
771.
by pornel 2y ago
The EU charging infrastructure is pretty good now. Tesla has no advantage here, except maybe good car navigation integration. Most Tesla Superchargers are still 400V v2 which are slower than 300kW/800V Ionity and Fastned chargers.
772.
by pornel 2y ago
The hash is sent separately from the file. For it to change in the HTML and other places linking to it, there has to be some mechanism to update the links, and that is the part that can get out of sync or bitrot.
773.
by pornel 2y ago
On macOS, when I run a long script I add at the end: say done
774.
by pornel 2y ago
New Maps features launch only in Bay Area. CarPlay EV integration works only with Porsche Taycan. Are they implementing things just for Tim?
775.
by pornel 2y ago
Apart from tracking, the other concern is reliability — the server may lose or change the file, and this may not be noticed when clients use the hash, until the hash stops being popular, and you're left with a broken site.
776.
by pornel 2y ago
It is, although "nobody's going to rewrite millions lines of code" applies to C++ too, not only Rust. You won't be able to just slap `#pragma safe` on top of every file and have the problem solved. It does require use of
777.
by pornel 2y ago
This is based on circle, which looks very Rust-like, and is probably the most sound design of all the contenders for the next C++. It has an actual safe-only mode, with strict aliasing, no uninit memory, and loans tracked via control-flow g
778.
by pornel 2y ago
NACS uses the CCS protocol, which makes dumb adapters possible.
779.
by pornel 2y ago
This shows values per person in Ireland, but AFAIK the tax is from all European income, Apple has just channelled that through Irish subsidiary. Isle of Man is probably even richer in per capita money they've never seen.
780.
by pornel 2y ago
All the retrofits I've seen only have AC charging. Is there a reason why they don't support DC charging, even at lower power if necessary?

More ›