maweki

34 ms·

301.
by maweki 5y ago
Usually (using differential dataflow, for example) you have input relations (EDB) and you have some output relations (subset of IDB). You would loop over the output relation using your host-language to call some effectful functions using th
302.
by maweki 5y ago
As I said, one can easily use differential dataflow with some plumbing code. And this is fine and no worse than the eve language shown above. The DDlog-project and its applications are a nice example for that. Where I think this approach fa
303.
by maweki 5y ago
The approach is an iterative deduction with strict call-conventions. In some cases I compile the rules as-is into a C-Program, but if the used memory is provably bounded, I compile to a finite state machine + some registers. Had to ditch th
304.
by maweki 5y ago
> Have you come across Eve? Apparently that link was already marked as "visited" in my browser history and it seems familiar. There seems to be a strong connection between reactive programming (especially the functional-reactiv
305.
by maweki 5y ago
As a real database language with ad-hoc-queries you're fine with SQL. Data-intensive graph analysis (the reason soufflé, souffle-lang.org, was developed) where you have a fixed set of deduction rules and change the database instance is
306.
by maweki 5y ago
In Germany I have never been offered a discount in that manner. Coupons are the only way to do this here.
307.
by maweki 5y ago
Considering the people who would give out their zip-code in the supermarket at checkout, I would hazard the guess that the less technical crowd would opt in and that their feedback or telemetry on what makes a simple UI is more valuable.
308.
by maweki 5y ago
That's exactly what I wondered about. How one parachute and two crew can lead everybody uninjured.
309.
by maweki 5y ago
I was wondering whether there was a mix-up in the crew count, as one pilot with a parachute saves two people and a one-person crew lands the plane. This mostly clears it up.
310.
by maweki 5y ago
Either your decision/deduction procedure terminates on all inputs. Then the property you're going after is trivial. Or it doesn't and then the property you're going after is generally undecidable. If you can symbolically
311.
by maweki 5y ago
> Due to Python's dynamic nature, static code analyzers like Vulture are likely to miss some dead code. Also, code that is only called implicitly may be reported as unused. Note that this problem is generally undecidable, so no tool
312.
by maweki 5y ago
> My favourite one-liner is "open .", to open the current directory in Finder. For linux one can use `xdg-open .` to use the associated application. Works with pdf, image files, videos, etc. I have the alias x=xdg-open in my .b
313.
by maweki 5y ago
For github this is not an automated process, nor is the policy based on a presumption of guilt: https://docs.github.com/en/github/site-policy/dmca-takedown-...
314.
by maweki 5y ago
I understand that that is what was claimed. I said that two actual and copyrightable performances of the same melody are arguably indistinguishable. Edit: How would an automated system know, that you did not just non-transformatively alter
315.
by maweki 5y ago
> Every single one was for a work in the public domain. While the sheet music is, the performance by other artists - as your own performance - is not. That's the issue the algorithm is having here (not defending). The automated syst
316.
by maweki 5y ago
People are mad at google for _automatic_ takedowns, as they enable bad actors and are arguably not in the spirit of the law. In this case here, github does not employ an overzealous automated system. This is a manual DMCA claim and the issu
317.
by maweki 5y ago
I am a theorist and I would say, that the bottom - as it is the foundation - is mathematical logic. And you start from there. Baffingly enough: All this theory is easily understood with 7th-grade math. Approaching from some specific piece o
318.
by maweki 6y ago
"researchers appear to have been experimenting on people," Nice of the Kernel community to spell this out in no uncertain terms. The original apology did not acknowledge this fact.
319.
by maweki 6y ago
I also found the apology lacking in that they did not specifically acknowledge that they were indeed experimenting on people.
320.
by maweki 6y ago
I always thought the Excel computational model was elegant and useful as it didn't allow for non-termination. Now they lose termination for the use case where someone knows how to program but can't or won't program in some &q
321.
by maweki 6y ago
In Europe there are minor (regional) leagues all the way down to the city level. Most cost maybe 2 to 5 euro to attend. But they are all within the same football governing body and you can climb these leagues up to the Bundesliga or premier
322.
by maweki 6y ago
I think zoom proctoring in combination with some increases in communication overhead are quite practical. We recently did this. Giving students different exams (selections of slightly and subtly different tasks from a task pool), not showin
323.
by maweki 6y ago
Even if parallel construction wouldn't exist, in Germany, for example, illegally obtained evidence is still valid in court.
324.
by maweki 6y ago
But the question is not whether their infinite extensions or limit are equal, but whether at each finite combination some property about the stream progress holds.
325.
by maweki 6y ago
Now you have to talk about what a specification is. If it is a relation from some function input to its output, that would be one step. And of course, functions are composable that way. But say you have a system behaviour that is a stream o
326.
by maweki 6y ago
As I understand the main idea, that information propagation through space and time can be described by a computational model like cellular automatons. So instead of describing the movement of particles via a wave function or field equations
327.
by maweki 6y ago
That's unsubstantiated, as we have at least second-hand evidence of people getting harassed over using the name Coq, while we don't have evidence for something similar for git. And if you were really affected by the word git, you
328.
by maweki 6y ago
I know you argue in bad faith, but that issue has indeed been addressed since at least 2012 and the general consensus is, that the name is not a problem. In terms of Coq, it's the developers addressing the issue, not even a third perso
329.
by maweki 6y ago
They pronounce it correctly and its pronounciation is the same as "cock" (or close enough for people to understand it so). And that's the problem. Edit: Literally the first two sentences: > The name Coq comes from the Fren
330.
by maweki 6y ago
One would suggest reading at least the first paragraph.

More ›