maweki

11 ms·

91.
by maweki 3y ago
The Deutschland Ticket is only for local and regional transport. You can't use it with anything "bookable". But your point still stands. Germany needs to invest a lot. Most of the money goes to the Autobahn.
92.
by maweki 3y ago
It shows that, however improbable, people do win the lottery. It's good to be reminded of that, if you've been trained for years, not to play the lottery because you personally won't ever win. In this case, the Cloud vendor i
93.
by maweki 3y ago
> if you really hate someone, teach them to recognize bad kerning. The city I'm living in was once famous for its printing history and there's a whole part of town full of old printworks that have slowly been converted to high
94.
by maweki 3y ago
I found it. It was then known as project Zeitgeist. The initial imaginations were quite wild and cool.
95.
by maweki 3y ago
This is a stark reminder that our personal devices are still very dumb. The article points out multiple times that all this data is readily available and it's still not combined in a way that enriches or simplifies our lives. Reminds m
96.
by maweki 3y ago
I think in one direction, i.e. templating, it works fine. Have data, have declarative syntax on how to iterate over data and generate fresh code from that. The bidirectional case is already difficult where your changes in the generated sour
97.
by maweki 3y ago
> so maybe that is simply impossible or impossibly expensive Sorry for swearing, but I too can't believe that there's a problem in setting this thing to auto-dive 3 or 4 kilometers and then pulling it up via an f-ing tether. I
98.
by maweki 3y ago
From a bird's eye view we would like to give the database hints on how to package tuples into pages. That's easier if the rows can not grow arbitrarily in width. In practice that means (and I think, MySQL did that) that arbitrary
99.
by maweki 3y ago
For these two programs it's easy to check that they are not equivalent. The magic words are "in general" and in general, program equivalence, as well as all other interesting program properties, are in general undecidable (Ri
100.
by maweki 3y ago
> it's an undecidable problem In what sense? People often use SMT (Satisfiability modulo theories) but don't state _which_ theories. I often SMT-solve with decidable theories, like Presburger Arithmetic.
101.
by maweki 3y ago
> Yes, but it's an ID, not a value. In normalization theory and relational algebra an ID is just a value. DBMSs make no difference between this column and any other primary key column(s) and they make no difference between PK indexe
102.
by maweki 3y ago
Even if there were a separate Departments table, who is to say that the Department Name is not its primary key? The Department name certainly is A key.
103.
by maweki 3y ago
> The value (department name) is repeating and should be extracted Then the id would be repeating. Furthermore, the department name would make a fine primary or alternate key for the new relation you're proposing. Also, that's
104.
by maweki 3y ago
That has no bearing on normalization.
105.
by maweki 3y ago
"(easy CS students, I know it's not normalized…)" Sure it is. As long as you're not storing any other information on the department in the employee table.
106.
by maweki 3y ago
A good villian is the hero of their own story. Forbin is the hero at least by virtue of the movie following him.
107.
by maweki 3y ago
When I was a CS student 10 years ago I screened this movie during our institute's bi-semesterly movie night. The other students were quite baffled that the movie just ... ends. Without a happy end. Forbin just loses. It's not unco
108.
by maweki 3y ago
For things in the past, Zulu is fine. But you won't know Zulu for a date in the future, because Timezone changes may happen. So Zulu for the past, datetime+location for the future.
109.
by maweki 3y ago
You make it out like the fear of regulatory action does not exist.
110.
by maweki 3y ago
Or you're attributing malice when stupidity suffices. Hanlon's razor.
111.
by maweki 3y ago
> To clarify, ... sure, that's all true and most of that is part of my day-to-day research. But the post I replied to mentioned very specific problems where Prolog could be suitable at first glance but other models of computation &#
112.
by maweki 3y ago
You are correct. Though in my institution we do not get around to teaching that in that one semester of elective LP.
113.
by maweki 3y ago
Prolog being tied to this very specific execution model of SLD resolution is somewhat root to the problems you have described. The promise of declerative programming in general, and logic and constraint programming specifically is, that pro
114.
by maweki 4y ago
Your WiFi. They clearly stated that getting devices on the same network is non-trivial. Obviously, at a place where no network access exists anyways, neither local nor cloud solutions will work.
115.
by maweki 4y ago
In terms of the EV3 language you could spin up Lego motors in parallel just by drawing two lines from the previous command instead of a single line. Threading in a very literal sense. Scratch being event-driven is not bad in itself. But t
116.
by maweki 4y ago
I love alternative models of computation and the EV3 mindstorms language was very nice with a type system (including coercion rules) encoded in puzzle shapes, dataflow through "pipes", parallelism through diverging code paths. Wit
117.
by maweki 4y ago
That's a well hidden feature.
118.
by maweki 4y ago
As a computer science researcher, I have hundreds of LaTeX macros, basically a DSL for my specific field of research, where I more or less write out natural language and it comes out as formulae with all the specific symbols and stuff. I th
119.
by maweki 4y ago
> by using blacksmith's bellows Creating a pressure differential where air flows in immediately. As vacuum seemingly cannot be sustained without constant work, it seems that nature does indeed not like vacuums. > vacuum is trivia
120.
by maweki 4y ago
But it's very important to know what things you abstract over. At least as a rough outline. For example, if you have the abstraction of all days being 24 hours which is fine. You should know though how far you may be off with that abst

More ›