pornel

15 ms·

301.
by pornel 1y ago
See "A plea for lean software" by Wirth. It's from 1995 and laments that computers need megabytes of memory for what used to work in kilobytes.
302.
by pornel 1y ago
In prehistoric Rust, variance used to be named more explicitly. However, the terminology of covariant and contravariant subtyping of lifetimes is a language theory jargon. This is the right perspective for language design, but programmers u
303.
by pornel 1y ago
It's possible to cast the lifetime away. It's also easy to wrap it in a safe API: https://docs.rs/recycle_vec/latest/src/recycle_vec/lib.rs.ht... (libstd will likely add something like this). H
304.
by pornel 1y ago
W3C was way too optimistic about XML namespaces leading to creation of infinitely extensible vocabularies (XHTML2 was DOA, and even XHTML1 couldn't break past tagsoup-compatible minimum). This was the alternative – simpler, focused, fu
305.
by pornel 1y ago
The git protocol is more complex and harder to scale. It's especially wasteful if people are going to redownload all packages every time their amnesiac CI runs. Single-file archives are much easier to distribute. Digests and signatures
306.
by pornel 1y ago
In the RPG analogy, why waste your skill points on maxing out "checking code for UB", when you can get +10 bonus on UB checks from having Rust, and put the skill points into other things.
307.
by pornel 1y ago
Unless lack of social media presence will be taken as a signal that you have something to hide, you terrorist/bot.
308.
by pornel 1y ago
That's a rare exception, and just a design choice of this particular library function. It had to intentionally implement a workaround integrated with the async runtime to survive normal cancellation. (BTW, the anti-cancellation workaro
309.
by pornel 1y ago
By that criteria there's no meaningful C++ compiler/spec.
310.
by pornel 1y ago
"Cancel correctness" makes a lot of sense, because it puts the cancellation in some context. I don't like the "cancel safety" term. Not only it's unrelated to the Rust's concept of safety, it's also u
311.
by pornel 1y ago
Another aspect is that the majority of projects that keep using C, do it specifically to maximize performance or low-level control (codecs, game engines, drivers, kernels, embedded). For such projects, a GC runtime goes against the reason w
312.
by pornel 1y ago
This has been recognised as the next important milestone for Rust and there's work towards making it happen. The details are uncertain yet, because move constructors are a big change for Rust (it promised that address of owned objects
313.
by pornel 1y ago
Carbon devs explicitly say use Rust if you can. Non-trivial C++ programs depend on OOP design patterns, webs of shared-mutable objects, and other features which Rust doesn't want to support (Rust's safety also comes from not hav
314.
by pornel 1y ago
In Cloudflare's case, Rust is much more productive. Rust modules can handle any traffic themselves, instead of a split between native code and Lua that is too slow to do more than config (Lua is relatively fast for a scripting language
315.
by pornel 1y ago
In this case I agree. Small, short-running programs that don't need to change much are the easy case for C, and they had plenty of time to iron out bugs and handle edge cases. Any difficulties that C may have caused are a sunk cost. Ru
316.
by pornel 1y ago
This is more nuanced in Rust's case. Rust is trying to systemically improve safety and reliability of programs, so the degree to which it succeeds is Rust's problem. OTOH we also have people interpreting it as if Rust was supposed
317.
by pornel 1y ago
People in Europe don't have the automatic anti-regulation sentiment that US has. Regulations, at least from consumer perspective, seem to be working pretty well in the EU. - My mobile operator wanted to charge me $6/MB for data ro
318.
by pornel 1y ago
> How do we boost innovation and deliver cutting-edge products to Europe while navigating complex and untested new rules? Ask your lawyers? They can parkour through the most complex laws when you need European tax loopholes.
319.
by pornel 1y ago
All of the differences are attributable to the language. The Apache runtime isn't sent over the network every time it's used, but JS in the browser is. JS ecosystem has got several fix-everything-at-once libraries. However, JS is
320.
by pornel 1y ago
It's hard to find good data sources for this, especially that StackOverflow is in decline[1]. IEEE's methodology[2] is sensible given what's possible, but the data sources are all flawed in some ways (that don't necessar
321.
by pornel 1y ago
The sad thing is that Apple seemed more inviting to developers before they got high on the App Store cut. Every boxed Mac OS X came with a second disc containing the SDK (Xcode has always been an unstable cow, tho). They used to publish tec
322.
by pornel 1y ago
Properties of a language shape the tooling and culture that develops around it. JS has exploded in popularity when Internet Explorer was still around, before ES6 cleanup of the language. JS had lots of gotchas where seemingly obvious code w
323.
by pornel 1y ago
The press release doesn't give any concrete numbers, but if it doubles efficiency of Peltier coolers, it's still 3-5× less efficient than heat pumps. Thermoelectric cooling is notable for not having any moving parts and ability to
324.
by pornel 1y ago
You're describing cases in which static analyzers/model checkers give up, and can't provide a definitive answer. To me this isn't side-stepping the undecidability problem, this is hitting the problem. C's semantics
325.
by pornel 1y ago
Rust is over 10 years old now. It has a track record of delivering what it promises, and a very satisfied growing userbase. OTOH static analyzers for C have been around for longer than Rust, and we're still waiting for them to disprov
326.
by pornel 1y ago
Checking of whole-program invariants can be accurate and done basically for free if the language has suitable semantics. For example, if a language has non-nullable types, then you get this information locally for free everywhere, even from
327.
by pornel 1y ago
People innately admire difficult skills, regardless of their usefulness. Acrobatic skateboarding is impressive, even when it would be faster and safer to go in a straight line or use a different mode of transport. To me skill and effort is
328.
by pornel 1y ago
It seems likely that C++ will end up in a similar place as COBOL or Fortran, but I don't see that as a good future for a language. These languages are not among the top contenders for new projects. They're a legacy problem, and ar
329.
by pornel 1y ago
Apple got spooked by GPL v3 anti-tivoization clauses and stopped updating GNU tools in 2007. macOS still has a bunch of GNU tools, but they appear to be incompatible with GNU tools used everywhere else, because they're so outdated.
330.
by pornel 1y ago
The rexif crate supports editing, so you can apply rotation when resizing, and then remove the rotation tag from the EXIF data. Keeping EXIF isn't necessary for small thumbnails, but could be desirable for larger versions of the image.

More ›