tom_mellior

117 ms·

1111.
by tom_mellior 7y ago
The compiler could generate both vectorized and non-vectorized variants and decide dynamically which one to use based on a simple aliasing check. That's an approach that would be more usual for JIT compilers than AOT compilers, but hab
1112.
by tom_mellior 7y ago
On the other hand, Swedish fast food chain Max has a pretty good "plant beef" burger made of wheat and soy protein, and it costs the same as the meat version. I guess with Beyond and Impossible you pay a hefty price for their mark
1113.
by tom_mellior 7y ago
Where can you buy them? I remember seeing their container in Paris two years ago and checking out their website. At that time it said they were trying to figure out how to distribute them. That's what their FAQ still say. I see no indi
1114.
by tom_mellior 7y ago
One would hope that the "vertical" thing would take care of part of the land costs. Especially if you can stick your setup right on top of an existing building in a city.
1115.
by tom_mellior 7y ago
This reads a bit like having (maybe unconsciously) picked Rust first and then coming up with arguments to rationalize that choice. Which is completely fine, especially for a small personal project. It's just weird that the article spen
1116.
by tom_mellior 7y ago
Mail-in means you can be coerced to vote a certain way by someone in your household. It also means someone might be able to get a hold of your ballot papers and vote in your name (there are Austrian politicians who have been convicted for d
1117.
by tom_mellior 7y ago
I think encoding audio/video is much more demanding than decoding them, and even if it weren't, conferencing is two-way so you should expect your machine to work at least twice as hard as for one-way video. Anyway, I also work rem
1118.
by tom_mellior 7y ago
People using battery-powered devices but not charging them has nothing to do with remote work. That's only about working with highly unprofessional people. Working with them on premises would not be any better.
1119.
by tom_mellior 7y ago
Thanks. I misremembered C's rules as only unsigned char having this special property (as well as plain char if it's unsigned), but not signed char.
1120.
by tom_mellior 7y ago
Did you read to the end? The final results show that in the end the computation on the vectors with 8-bit elements is 4x as fast (per element) as the computation on the vectors with 32-bit elements. EDIT ignore the following, I was mistaken
1121.
by tom_mellior 7y ago
Good point about the difficulty of finding incremental changes. Maybe it's better the other way round: Pick an arbitrary commit and only roll back the changes it introduces to one proof. This would model the situation where a programme
1122.
by tom_mellior 7y ago
> Interestingly though, Clang doesn't bridge the gap. That might be due to differences in the code, but it might just as well be due to differences in the flags that rustc and Clang pass to the backend by default. It's not even
1123.
by tom_mellior 7y ago
Can you explain what parts of the TLA+ stuff you can express in Prolog and why you think that might be better (or equally good)? It's true that modeling languages all have something in common with Prolog, but do you think that proofs a
1124.
by tom_mellior 7y ago
Idea for getting "almost correct" proofs: Take a big Coq project like CompCert or whatever. Search the version control history for commits with small changes to definitions. These very likely come with corresponding changes to pro
1125.
by tom_mellior 7y ago
Also, the policy described was a lot more than "let's try mildly negative interest rates". And the oil crisis was probably not Switzerland's fault. The headline is scaremongering.
1126.
by tom_mellior 7y ago
I deliberately didn't write UBI since this would be one-off or at least very irregular, and not necessarily an amount high enough to deserve the name UBI. This means that voters could decide differently than on UBI. Especially if these
1127.
by tom_mellior 7y ago
Besides the above, my main issues with Jira: 1. When I just open the main page, it opens to whatever my last search was, which is almost always what I'm least interested in. Open issues assigned to me would be more useful, for example.
1128.
by tom_mellior 7y ago
Pay it out to residents unconditionally, or especially to poorer ones.
1129.
by tom_mellior 7y ago
For whatever it's worth, here are Prolog implementations of these examples (the second one is specific to SWI-Prolog, there is no standardized file system library, I believe). Programming in pure Prolog is a bit like programming only
1130.
by tom_mellior 7y ago
Yeah, I realized that later. It's still more obscure than the version with the list comprehension. In particular, the place where x is introduced is at the very beginning, but the values it can be bound to are at the end of the expre
1131.
by tom_mellior 7y ago
To get multiple variables you "just" have to nest lambdas. In Haskell, for instance: Prelude> concatMap (\x -> concatMap (\y -> [x * y]) [0..x]) [0..5] [0,0,1,0,2,4,0,3,6,9,0,4,8,12,16,0,5,10,15,20,25] Prel
1132.
by tom_mellior 7y ago
Yeah, I saw the condensation in the column, but since that's where the salt water comes in I figured it would be related to that. The article talks about "steam that builds up on the disc", which I understood to mean its uppe
1133.
by tom_mellior 7y ago
Do I understand it correctly that this doesn't actually produce liquid water but only somewhat more humid air in the general area above the device? I wonder how much additional effort it takes to actually get the water into a container
1134.
by tom_mellior 7y ago
> Can we hide the actual memory layout without big overhead using C++ inline/template functions/classes? This seems to claim to do it: https://github.com/crosetto/SoAvsAoS Found that while looking for this
1135.
by tom_mellior 7y ago
Cloning it still runs code they don't want to run on their servers.
1136.
by tom_mellior 7y ago
> 1. if we always had them. Probably not, I can't remember seeing that many in my childhood Growing up in Austria we regularly got shots for tick-borne encephalitis ( https://en.wikipedia.org/wiki/Tick-borne_ence
1137.
by tom_mellior 7y ago
People are arguing against you because what you claim is not as obvious as you claim.
1138.
by tom_mellior 7y ago
My knowledge here is limited, but I have noticed that some language families tend to get simplified over time versus their common ancestor. For example, Italian and French (and all other Romance languages, I believe) have lost Latin's
1139.
by tom_mellior 7y ago
There are some attempts at Pan-Germanic listed at https://en.wikipedia.org/wiki/Pan-Germanic_language Of the two that have their own Wikipedia pages linked from there (Tutonish and Folkspraak) I can just about understa
1140.
by tom_mellior 7y ago
I'm not an expert, but I expect that a lot of that seemingly free space to the sides of runways is kept deliberately clear in case of emergency landings and whatnot. Cluttering it with solar panels would probably be a no-go; imagine a

More ›