arnsholt

6 ms·

31.
by arnsholt 1y ago
Ownership serves another important purpose: it determines when a value is freed.
32.
by arnsholt 1y ago
I worked on an application implemented in SmallTalk for about two and a half years, and having the IDE be in the application was honestly a huge force multiplier, at least for the kind of complicated desktop application we were making. Basi
33.
by arnsholt 1y ago
In my jurisdiction, damages from car crashes are strict liability, so you would in fact be legally liable. Limited to ~10 million USD for damages to objects, no limit for damages to persons. Of course the manufacturing defect would give you
34.
by arnsholt 1y ago
Pseudo coordination is a fun phenomenon in Scandinavian. Lots of detail in NALS: https://tekstlab.uio.no/nals#/chapter/65 but an important difference with English is that the Scandinavian construction occurs with
35.
by arnsholt 1y ago
Apparently salmon was considered dubious in Japan as sushi. I forget the details, but I think something about freshwater fish being inappropriate for sushi due to the possibility of a parasite in the meat that only lived in fresh water, not
36.
by arnsholt 1y ago
You can encode travelling salesman as an ILP problem, so it’s a pretty tricky problem.
37.
by arnsholt 1y ago
The marks could be scouring marks from the wind, I think. From the description in the article, these fossils have basically been sandblasted out of their sandstone matrix over time, so if there's a dominant wind direction small irregul
38.
by arnsholt 1y ago
Semi-relatedly, this is why I'm quite liberal about throwing errors while developing programs. During development it makes sure I'm reminded of my slipups when I inevitably forget some invariant that needed to be upheld, and then
39.
by arnsholt 1y ago
Many people, when they say math, mean continuous math. At work, my colleagues are almost entirely statisticians and actuaries, and I sometimes joke that my only math course at university was Calculus 1. I have of course done lots more math,
40.
by arnsholt 1y ago
It’s been ages since I did Sanskrit last, but wouldn’t sam-cika typically have the m realized as an anusvara rather than ñ?
41.
by arnsholt 1y ago
I haven't used PBT much, but I did once get a lot of mileage out of it, which was when I was implementing a fairly gnarly edit-distance algorithm. In that case, I used PBT to check that the required properties of metric functions (d(x,
42.
by arnsholt 1y ago
I don’t think it’s a minor delay. In other places where gauge changes are necessary, I think it typically takes on the order of an hour or a few hours, so if you need a big logistics operation across the border from Sweden into Finland, tha
43.
by arnsholt 1y ago
In GIS parlance, elevation is typically z coordinate. Which of x and y correspond to east-west and north-south varies from coordinate system to coordinate system, and is a bountiful source of stupid bugs (at least for me). But yeah, in 3D g
44.
by arnsholt 1y ago
And the continuum has two big groups: High and Low German (High and Low here being z-coordinates, High German dialects because they come from the more mountainous Southern areas and Low German from the lower-lying Northern parts). Modern da
45.
by arnsholt 1y ago
So these are kind of fun to compare. At the high level they clearly all have the same purpose: in some cases it's socially useful to have the punishment for a crime simply be a statement of "person X did this thing". But the
46.
by arnsholt 1y ago
Another example, not involving compound nouns: Norwegian criminal process distinguishes two levels of suspicion. The first level «mistenkt» (suspect) is basically the investigation noting down in their log «we think this guy might have done
47.
by arnsholt 1y ago
An example from my work: in Norwegian criminal law, the prosecutor can in some cases hand out what is called a «påtaleunnlatelse», which means something like «decision to not prosecute». This is a legal punishment in the sense that it goes
48.
by arnsholt 1y ago
I worked on a case management system for a few years that dealt with Norwegian criminal law, and we did the same. Technical terms and conventional parts of method identifiers (like getFoo, setFoo, isFoo and such) were in English while the d
49.
by arnsholt 1y ago
That's the tyranny of Gödel incompleteness (or maybe Rice's theorem, or even both): useful formal systems can be either sound or complete. Rust makes the choice of being sound, with the price of course being that some valid operat
50.
by arnsholt 1y ago
The way I think about it is more or less in terms of how a C program would work: if you assume a heap allocated data structure, the owner is the piece of code that is responsible for freeing the allocation at the appropriate time. And a ref
51.
by arnsholt 1y ago
Oh, but English does have a sarcasm marker! It's just not a word, instead it's typically marked by using non-standard pronunciation like creaky voice or lengthening vowels. The problem is of course that this stuff doesn't hav
52.
by arnsholt 1y ago
Classical Greek is well outside my field, but one of the things I love about SpecGram when it deals with things I do know, the jokes also have a kernel of truth to them. And in other classical languages I'm more familiar with, there
53.
by arnsholt 1y ago
The Speculative Granmarian is the premier journal of satirical linguistics, so that’s probably intentional. =)
54.
by arnsholt 1y ago
To take an example from the post: in some cases a value was computed that could overflow, but it was not used because of a later overflow check. I think the optimizer would be fully within its rights to delete the code inside the overflow c
55.
by arnsholt 1y ago
Another big plus in my book is that rST has a much more well defined model for extensions than Markdown.
56.
by arnsholt 1y ago
Single ownership and memory not being flat are separate points. And I guess I'm imprecise saying pointers where I mean borrowed values, but my point is that a borrow is just a pointer with additional type checking. More formally: C poi
57.
by arnsholt 1y ago
I can think of three things off the top of my head: - Rust doesn’t let you pretend that memory is a flat array of bytes - Single ownership of data can be annoying in some cases - The borrow checker pointing out that you’re trying to do some
58.
by arnsholt 2y ago
Both are fine, IMO. In a context where array indexing is pointer plus offset, zero indexing makes a lot of sense, but in a higher level language either is fine. I worked in SmallTalk for a while, which is one indexed, and sometimes it made
59.
by arnsholt 2y ago
In 2014 John Regehr and colleagues suggested what he called Friendly C[0], in an attempt to salvage C from UB. About bit more than a year later, he concluded that the project wasn't really feasible because people couldn't agree on
60.
by arnsholt 2y ago
I don't know how it worked in Sweden, but in Norway I know that one of the most common conventions was for the surname to be the farm where you were born (so my great grandfather had a different surname from his younger siblings, becau

More ›