maweki

19 ms·

211.
by maweki 5y ago
But the programming language is token-oriented.
212.
by maweki 5y ago
It depends on the language. At least for me as a Haskell programmer, the arguments are not really valid. * The operators do indeed mean the mathematical symbols * Haskell does not support unicode in operators normally. The operators are asc
213.
by maweki 5y ago
In that sense, HAVING and WHERE being different is basically a "free" subquery without allowing subqueries. One inner σ (WHERE) and one outer σ (HAVING). If subqueries are allowed, then you don't need that.
214.
by maweki 5y ago
It's not redundant. As you point out: selecting rows _before_ aggregation and _after_ are different beasts. You can't exclude rows from aggregation with HAVING.
215.
by maweki 5y ago
Proper union types are really hard if you want to do anything more than check. Once you're into inference territory, this gets really hard. Look at Haskell's faux union Either. It should be true that Either a a = a but of course,
216.
by maweki 5y ago
Maybe you could periodically give some remote control command through one of the WebOSTV python libraries. Needs networking though. Alternatively, an Arduino/ESP that sends a useless IR signal.
217.
by maweki 5y ago
I'm pretty sure that SmallCheck also doesn't try out every constructor for Integer.
218.
by maweki 5y ago
QuickCheck generates its own test cases and possible shapes. More importantly, it tries all possible constructors of a type (or a reasonable number). So you're reasonably confident that you tried a lot of "shape-cases".
219.
by maweki 5y ago
As there are various degrees of "not normalized", this was a very valid question (and answer). SQL databases do indeed work with data not in Boyce-Codd-Normal-Form. :D
220.
by maweki 5y ago
That was not the point. There was a time where the PEP specified that "python" means "python2" and it was indeed possible to have no "python" but still a Python (3) installation.
221.
by maweki 5y ago
PEP 394 (which is now superseeded) clearly states that "python" shall invoke python2 and not python3 https://www.python.org/dev/peps/pep-0394/ "The python command should always invoke Python 2
222.
by maweki 5y ago
If you're living in limbo where "python" still means "python2", which isn't installed, as opposed to "python3", then this wouldn't work. Or theoretically also the other way around.
223.
by maweki 5y ago
Only if you want to teach that. An introduction to programming might very well skip over static typing checks.
224.
by maweki 5y ago
We use java in the database programming course with jdbc. We use eclipse and maven and I give a 5-minute introduction and a boilerplate, after the students used a web-based java ide in the previous year. I will not subject my students to ma
225.
by maweki 5y ago
> But to deny that anything is or can be true Where exactly did I deny that? I was merely noting that the an impartial encyclopedia (which is there to document everything in existence) is impossible, as there are indeed issues of controv
226.
by maweki 5y ago
There is no objective truth. Especially not for every author and every topic. Even when trying to represent controversy, the problem of false balance is quite real. Maybe we differ on the definition of "political alignment", but t
227.
by maweki 5y ago
What do you think happens with the money? It's not burned. Ideally, the project also employs people that use their money to exchange it for goods and services, which in turn might make some children not go hungry. Consumption is not ba
228.
by maweki 5y ago
The only thing you could discover is, that it's not indeed a natural RNG, but a PRNG.
229.
by maweki 5y ago
> you're also doubling the proportion of solid mass from 1% to 2%. And the final step is then, that the solid mass didn't change and therefore the liquid must be halved, instead of the solid doubled.
230.
by maweki 5y ago
No. They said the USPS lost x mil. Dollars. By the danke token, the military lost x tril. Dollars. This was my cynical suggestions for a consistent terminology.
231.
by maweki 5y ago
I believe the stark difference is, that a private company can spend what it earns , while the budget of government agencies or the military is basically arbitrary (committee-decided). Usually we would weigh agency spending against the value
232.
by maweki 5y ago
Don't forget, it's a service. It doesn't lose money, it costs money. Otherwise please always say "lost" instead of "costs" for all military spendings, and all other government agencies.
233.
by maweki 5y ago
I wonder how Tauprolog with all the JS jit-stuff compares.
234.
by maweki 5y ago
Working on the AST is quite an interesting idea, until your comments aren't in the AST and you want to commit a syntax error of work in progress. Not to mention changing ASTs (while maintaining concrete syntax) in different versions of
235.
by maweki 5y ago
Do you know of any work on this? I have a prototype implementation for a side-effects prolog library with a similar semantics and I'm working on the corresponding paper.
236.
by maweki 5y ago
Prolog and side-effects are a really unfortunate pairing. What I would love is when backtracking over a side-effect, that effect would be taken back. With transactions that might even be possible. As it stands, quering (pseudocode) "co
237.
by maweki 5y ago
With recursive common table expressions it is really straightforward. You just have to manually stratify your datalog program to find out the order for the CTE. And then you just write down all the rules. edit: As long as queries aren'
238.
by maweki 5y ago
A lot of German states don't have tuition and are not that overcrowded. So this can't be the whole story. Also: raising tuition to prevent poor people from getting educated is not a cool way to prevent overcrowded universities. Pr
239.
by maweki 5y ago
That's why I don't understand center-left people not voting left. As if any other party would be willing to implement the program of the social democrats. I truly believe that the outbreak of socialism within the first four years
240.
by maweki 5y ago
But aren't most people disappointed by the social democrats because they don't fight hard enough for their core issues? Or if they really just bring their core issues through, they seem to be surveillance and not social issues. If

More ›