maweki

25 ms·

271.
by maweki 5y ago
That's the wrong part of the doc. You refer to the binary operators || and &&, etc. This is the correct part: https://docs.python.org/3/reference/expressions.html?highlig... Edit: you can't overr
272.
by maweki 5y ago
or None is not implied >>> repr(False and False) 'False' >>> repr(False and False or None) 'None' False is not None >>> False == None False
273.
by maweki 5y ago
If there is such a process as unbricking, then the title is right. If becoming a brick is irrecoverable, then you are right. If you can't log into a device, it is a paperweight.
274.
by maweki 5y ago
Did they touch a black monolith right after?
275.
by maweki 5y ago
And if you pay on hours from the previous month or deduct hours not worked in the previous month and not the current month (as it mostly is in Germany), this is sensible to not have it at 100%.
276.
by maweki 5y ago
I understand the sentiment for a problem where the instance size is quite known. SAT solvers have become incredibly fast. Just note that encoding terms of various shapes in SAT is very difficult. Encoding terms of unknown size doubly so. En
277.
by maweki 5y ago
https://github.com/ILIAS-eLearning/ILIAS It's a whole platform for e-learning. The exam system is ... usable. The fine arts, law, and social silences like it very much, because long form answers are readable. The
278.
by maweki 5y ago
In Germany we have multiple state-sponsored open-source e-learning platforms that basically all support examinations.
279.
by maweki 5y ago
We did this through the exam software (Browser-Based). Everything not checked automatically (multiple choice) was sorted by question in the backend. We (the examiners) had all the information. It was just hidden from the students.
280.
by maweki 5y ago
We employed the method of mixing the order of questions, not giving question titles, and having a pool of subtly different questions (a negation or a different constant slipped in) in order to vastly increase the amount of necessary communi
281.
by maweki 5y ago
> And SAT is rather easy to determine for this form. Gave me a chuckle, as that's quite an understatement, as the decision procedure is only: is there a single clause and is it just "False"? > The catch is that taking a
282.
by maweki 5y ago
Is Julia eager? In Haskell you can also do infinite lists [1..] This generates all the integers. The first example [ x^2 | x <- [1..5] ] Is basically already list comprehension within list comprehension. Are infinite li
283.
by maweki 5y ago
The output of Copilot may be not a derivative work, but the trained model surely is, right?
284.
by maweki 5y ago
Funnily enough, the Linux distribution GamerOS, which is basically a game-console-experience distribution based on the idea of SteamOS (booting directly into the game platform), just rebranded to ChimeraOS last week. I was immediately confu
285.
by maweki 5y ago
I'm sorry, but differential describes pretty good what's happening here. Given a Query Q and a database instance I, we calculate a Result R Q(I) = R And indeed we derive some function D for the differential and are given a set of
286.
by maweki 5y ago
1. This here project is based on the paper I mentioned. Therefore it is of utmost relevance. 2. Differential Relational Calculus is an even older theory https://doi.org/10.1109/69.683760 and is is a kind of derivative
287.
by maweki 5y ago
https://raw.githubusercontent.com/TimelyDataflow/differentia...
288.
by maweki 5y ago
Differential Dataflow is (and has been for ages) the name of calculating the result of a Datalog query and yielding delta-sets of the result given delta-sets of the database. The name "differential" is not exclusive to gradients o
289.
by maweki 5y ago
Both the discovery of Lambda Calculus and the Turing Machine as models of computation are quite important and immediately useful, I'd say. Though very formal, just a little bit of syntactic sugar and eye-squinting make for useful progr
290.
by maweki 5y ago
You have to define the notion of "backwards compatible" though, as this is the core of semver. To be strict, a bugfix is not backwards compatible. You explicitly change the behaviour of a function or interface. There's an int
291.
by maweki 5y ago
How does pass solve this problem? Surely entering "command `pass accountdata`" has the same problem that the secret shows up in ps as command's argument.
292.
by maweki 5y ago
I think they meant that not having to think about anything makes people not think about anything.
293.
by maweki 5y ago
Cheap is probably not the question. The synchronization and communication overhead is enormous. Would you check that every register assignment matches? Or every page write?
294.
by maweki 5y ago
It's a function object then.
295.
by maweki 5y ago
I always tell my students that computer science the special subset of math that that is coincidentally "easily" executable on a computer. This subsumes finite structures, parseable Problem descriptions, structured formulas, formal
296.
by maweki 5y ago
Since I've upgraded to Fedora 34 (been on Walyand before though) Firefox disconnects from Wayland and crashes whenever there's a bit of IO going on. Haven't had a tab crash in quite some time though.
297.
by maweki 5y ago
For one, memory management is much more difficult with term structures. But mainly Prolog semantics with side-effects are a whole different beast. This is a different thing I am researching, but basically the whole idea stems from robotics
298.
by maweki 5y ago
You can always interpret the extensional predicate p/1 as a call to a function without arguments and set-valued return. That's basically just a LOAD-instruction. But then you're back at square one considering your static anal
299.
by maweki 5y ago
For rewriting there is the general problem of "consumption". You consume a piece of information during a rewriting step to obtain new information. The old information is then gone. Say you have some edge in a graph and you want th
300.
by maweki 5y ago
Depends on your use case I would suggest soufflé ( https://souffle-lang.github.io/ ) if you're batching data through for static analysis. DDLog ( https://github.com/vmware/differential-datalog ) if yo

More ›