maweki

32 ms·

331.
by maweki 6y ago
> This [...] has already led to some women [...] getting harassed when they said they were working on Coq. What's wrong with people?
332.
by maweki 6y ago
But the snapshot-model also doesn't really make a lot of sense for merges. It's a snapshot of what then? A merge of all parent trees? What's a merge of two files then? Defining this merge-operation on trees is at least as men
333.
by maweki 6y ago
I think we're running into a naming issue here. It's usefult to think of a single commit in itself as a diff. The DAG is a useful model for an accumulation of changes. The question is, what changes and operations make up a node in
334.
by maweki 6y ago
In a sphere where we usually choose our names and expect other people to use them, instead of what's written in some official document, I don't see how chosen pronouns are any different. Honestly, it's not hard to call people
335.
by maweki 6y ago
Here in Germany we have stores that are literally named "Asia Markt" (Markt is German for Market) or "Asia Bistro". Usually you can buy food from Japan, Korea, China, and India.
336.
by maweki 6y ago
A few years ago there was this atlas obscura article about all the deaths in one region in britain over the course of a year. Quite a lot of people died after tripping and either being cut by their knives or just acquiring an open wound in
337.
by maweki 6y ago
In my research group we're sometimes benchmarking parallel systems (databases with parallelizable queries). Whenever there's a student thesis, I force them to explain Amdahl's Law in their thesis, and contextualize their work
338.
by maweki 6y ago
There are physical limitations. An electron trap will have a minimum size. New ways for leaps and bounds need to be discovered. I think it's not reasonable to assume that both magnetic and electric storage have the same maximum density
339.
by maweki 6y ago
The "drug crimes per interaction" rate doesn't work for this case either, if the number of interactions is just too low. And if you look at real numbers, in the US, for example, we're talking a difference in the order of
340.
by maweki 6y ago
That doesn't add up though. If you guess that black people are more likely to have guns and you search them far more often, more evidence will turn up, even if they are/were as likely to have a gun than any other group. If you nev
341.
by maweki 6y ago
Highly depends on the Aldi. Mine does indeed start with bread but has Veg at the end of the first aisle across the refridgerated goods. I would guess that the position of the bread depends on the infrastructure, specifically where the bakin
342.
by maweki 6y ago
I think what the author is missing is the word "scalar". I do understand the sentiment that in general multiplication is not repeated addition. But multiplication with a scalar is. In the usual curriculum you do the unit analysis
343.
by maweki 6y ago
Functional Python for me breaks down with the lazyness of generators. Sure, map returns a generator and that's fine. But you can't pass the result to multiple consumers as the generator has an internal state. It's like a weir
344.
by maweki 6y ago
The first Final Destination movie starts with a ground observer scene of about that distance of a plane crashing right after takeoff. I don't know whether your age fits, but maybe you saw this and recalled it in your sleep every so oft
345.
by maweki 6y ago
Of course, the correct way would be to write down all the steps, operationalise them, and then implements parts and then the whole as a shell script. The question I would ask is, whether this should be necessary to pin the version of some p
346.
by maweki 6y ago
And then you always forget what you need to do after you didn't do it for months. I have a blog project (written with pelican) where I submodule the whole pelican-plugins project which is, basically, again a compendium of submodules. N
347.
by maweki 6y ago
I think any new plain-text based tool needs a comprehensive section (and support the workflow) on how to synchronize across devices using git or syncthing. I tried noteKit and zettlr and so many more and I am willing to give this one a try,
348.
by maweki 6y ago
I think the efficiency then hinges on the distribution of your slowness. Is there a slow mapping step for some elements? Then it should be fine having them all near each other. All fast-mapped values before and after can be reduced in the t
349.
by maweki 6y ago
You could, for example, host the whole dev environment for a project in a container and still develop on the code in home.
350.
by maweki 6y ago
One very interesting piece of tech coming from it, is toolbox ( https://github.com/containers/toolbox ). Basically throwaway (or keeparound) rootless containers with their own root directory but shared HOME. Install hund
351.
by maweki 6y ago
None, True, False are singletons and are never constructed again after initilization of the interpreter (and have been keywords in python2). That's why "is" is always safe. Small integers, as they are kept around, probably ar
352.
by maweki 6y ago
> but IMO `+=` is the wrong way to spell it. Again, operator overloading. __iadd__ just calls append. Many a library might do something much better. But as it looks like the in-place version of +, even for lists it seems fine (although I
353.
by maweki 6y ago
It's a design decision to allow it to behave differently, as you can implement += with a more efficient in-place version, instead of a copying one where the lvalue might be different/new and you have to keep the old a. I even thin
354.
by maweki 6y ago
Because in terms of game engines, new engines that get much more publicity, like godot engine, exist. And as Haxe supported Flash when I played with it, I as well thought it was superceded by newer engines. Half a decade is a lot in human y
355.
by maweki 6y ago
That would highly depend on what you select. If the query could be answered by index only, like COUNT(*), it would probably use the index. You are right if you want to query any data from that row that's not in the index.
356.
by maweki 6y ago
Yeah. One wonders why this product being vegetarian is not advertised that way.
357.
by maweki 6y ago
> Targeted advertising needs to be [...] banned across the board You say that like an absolute that is enforceable. Advertising has been targeted since advertising exists. Advertisers have been choosing radio or billboard-slots for well
358.
by maweki 6y ago
Not being able to pronounce or hear the words is a problem. Associating the words just with the symbols seems very taxing to the visual parts of the brain. Also using the voice/vocal/speaking parts of the brain seems advantageous.
359.
by maweki 6y ago
Isn't the "homebrew" result at the end exactly the state machine from the DFA? It has been a while, but I remember KMP calculating a prefix table of some sort beforehand, to skip the repeated checking on yet-unclear partial m
360.
by maweki 6y ago
This is exactly my point. In every somewhat lisp-like language, or even just considering operator overloading by any means (interfaces, for example), the concept of a step becomes unclear. Say instead of the for-loop the author would use so

More ›