maweki

12 ms·

31.
by maweki 1y ago
I don't think they questioned the reason for bombing civilians. They questioned the utility.
32.
by maweki 2y ago
> I don't think Spotify makes much, if any, money per their financial statements, about 150Mio in operating profits per quarter. Gross profit of 1.000Mio per quarter. I'd like to have that kind of "not much money"
33.
by maweki 2y ago
besides altitude: you'd just need to know the time which the GPS signals give you. From there it's just calculating rotations.
34.
by maweki 2y ago
rewriting rules are more like function/predicate definitions in FP or LP and not like axioms. Term rewriting does have its own axioms, like ZFC does. What you're saying is akin to "not all functions are interesting". Wel
35.
by maweki 2y ago
> we have consensus It's decidable whether a TRS is confluent, i.e. if a fixpoint exists, exactly one fixpoint exists. Or what do you mean?
36.
by maweki 2y ago
There are many useful things that are not turing complete and still considered programming. Regular Excel formulas are always terminating and therefore not computationally complete. SQL without recursive CTEs is always terminating and there
37.
by maweki 2y ago
You might be surprised to hear that most compilers and static analysis tools in general do not inspect (string and other) literals, while they do indeed inspect all the other parts and structure of the abstract syntax tree.
38.
by maweki 2y ago
Embedding functionality into strings prevents any kind of static analysis. The same issue as embedding plain SQL, plain regexes, etc.. I am always in favor of declarative approaches where applicable. But whenever they are embedded in this w
39.
by maweki 2y ago
> seems like owning stock Shadow Equity usually doesn't pay dividends. So if the stock devalues due to payed out dividends (and the shadow stock has no voting power), it's the creators paying out the investors from their share.
40.
by maweki 2y ago
As I only play a single media file every time the script waits for the player going from "playing" to "stopped".
41.
by maweki 2y ago
I play the single media file. Once the player is in "idle" or "stopped" instead of "playing" or "paused" the TV is turned off.
42.
by maweki 2y ago
So whenever the card is held to the reader a script starts and plays the media and shuts down the TV after the episode has run. It's easy enough to measure the accumulated script runtime and disable the reader once a daily allowance ha
43.
by maweki 2y ago
I have an extremely similar setup for my 3yr old. He has his NFC cards and select from stuff we find suitable. The TV comes on, one episode runs, TV goes off. He's not fighting over the remote and he has agency. And he's certainly
44.
by maweki 2y ago
True is the identity of that particular monoid. In other words: if you want all(a++b) == all(a) and all(b) to be true for all lists a,b, then then all([]) needs to be true. Vice versa for any/or/False
45.
by maweki 2y ago
An open API to replicate and automate the app functionality for backup locally is not incredibly much to ask for. Nobody is asking for a free sync server.
46.
by maweki 2y ago
I don't really understand the downvote, as cancelled trains do indeed not count towards the delay. So often trains are cut short and do not reach their final destination, which is arguably even more inconvenient for the customers.
47.
by maweki 2y ago
They could make the timestamp conversion very Server-Side or create a very unwieldy API where it's difficult to collect all ad segments via timestamp sampling.
48.
by maweki 2y ago
As the article hints, youtube does know how long and at what positions the injected ads are. So they could use this information to skip to user-supplied timestamps correctly. The question then becomes, whether Adblockers could use this in
49.
by maweki 2y ago
> which in my mind would have no problems skipping whatever "injected" ads show up since this is already what that application does SponsorBlock contributors tag certain parts of the video where the video creators talk about sp
50.
by maweki 2y ago
10 years ago I implemented a brainfuck interpreter that had as output an animated povray scene description with a visualisation of the brainfuck abstract machine. https://www.youtube.com/watch?v=6PIZTFrkl0w
51.
by maweki 2y ago
> load the entire game tree, and walk randomly through it Can't you just multiply all the percentages and just get an expected value for each field? Why the random walk? Can't you just calculate this exhaustively?
52.
by maweki 2y ago
> a service that provides you with a stable id I think there's the important point. Is your key actually natural or is it someone else's surrogate key anyway? Going back to the vehicle identification number: that's alrea
53.
by maweki 2y ago
> I challenge you to come up with a single plausible example So I come from academia, but generally if you use a natural key as PK in a foreign key constraint it may be possible to express additional consistency criteria as CHECK-constra
54.
by maweki 2y ago
As I see it, we haven't really made any progress in terms of impedance mismatch. Otherwise, jooq is a fine addition to the Java world, as it generates a type-safe DSL from your ddl file where every statically correct jooq/Java sta
55.
by maweki 2y ago
This implicit JOIN feature is already present in HQL and also in Jooq. It's very convenient, especially when you use a star-like table structure where the important data table is basically just IDs and references. https://ww
56.
by maweki 2y ago
I am sorry. I was under the impression that, at least for some features, Stirling PDF also uses pdfjam or similar, instead of wholly delegating to PDFBox. I think the point still stands, that there are powerful cli tools and I wouldn't
57.
by maweki 2y ago
I host this at home. I don't use it myself, I can use the linux CLI tools that its based on. But I prefer my wife to use this to convert/split/etc. her pdf files this way instead of using some random website or app (that uses
58.
by maweki 2y ago
One of the main problems in programming is, that a self-referential structure may be cyclic and a cyclic structure combined with eager evaluation leads to a infinitely looping program. As Haskell is lazy, this self-referencing is quite nice
59.
by maweki 2y ago
It's not weirdly overloaded. 'a'*3 == 'a'+'a'+'a'
60.
by maweki 3y ago
> Using * on a sequence wouldn't get past code review On a mutable sequence. Or anything mutable. [] being a sequence is not the issue here. If you work with immutable stuff, * is really not an issue.

More ›