Viewing profile — maweki

I think the intent is clear. We could just enumerate all strings in size and lexicographical order. Then the task is only to filter, which strings are programs we desire. It's the …

> Society doesn't owe me over $500k/year No it doesn't. But as a human being, you and everybody still deserves a decent living. And our current system clearly does not provide that…

> it is inherently resistant to false positives By Rice's Theorem, I somehow doubt that.

In light of that, I am wondering why the article opted to go for "However, determining the optimal join order is far from trivial.", when there are hard results in literature. I wa…

While tedious, you can do the rewrite block-wise from the insertion point and only store a an additional block's worth of the rest (or twice as much as you inserted) ABCDE, to inse…

What do you like to call Hungarian notation?

I had a lot of contact with computer science students coming from the other side, meaning they used Z3 or other (SMT) solvers as blackboxes which they just use at a certain point i…

I'm not a rust or systems programmer but I think it meant that as an ABI or foreign function interface bitfields are not stable or not intuitive to use, as they can't be declared g…

I think core of the problem in property-based testing that the property/specification needs to be quite simple compared to the implementation. I did some property-based testing in …

Incremental automatic grounding to SAT works fine for ASP.

The range can be a product type, as can the domain. Most languages are expressive enough that you can create the product type (struct). You're right on point.

> valuing where papers are published over what they contribute And who is the arbiter of that? This is an imperfect but easy shorthand. Like valuing grades and degrees instead of w…

We found yaml to be a great exchange format for electronic exam data. It allows us to put student submitted answers and source code into a yaml file and there is no weird escaping.…

Who doesn't own the third edition of the LaTeX Companion book?

pods (i guess 2 to 4 passengers) simply do not scale. It doesn't matter whether you put them underground or not. The only solution is for people to not use them. One part of the so…

Isn't the author just proposing GraphQL?

Splitting the presentation into multiple fragments makes it more difficult to generate/alter a presentation using xslt.

Cisco is incredibly (in)famous for having hardcoded backdoor accounts in their products.

It's nice to see more semantic web experiments. I always wanted to do more reasoning with ontologies, etc., and it's such an amazing idea, to reference objects/persons/locations/co…

It's just a course about database design and in the first seminar we look at different news stories that have something to do with databases, like trump putting some random Italian…

I teach the horizon post office scandal in my database courses. And my takeaway is, that software fails. And if people's lives are involved, an audit trail is paramount. In slowly …

Slow killing software can be made more secure by adding the possibility for human review. Fast killing software is too fast for that.

But there is still a difference here. Provenance and proper traceability would have allowed the subpostmasters to show their innocence and prove the system failable. In the Therac-…

Datalog does not need/do unification for rule evaluation, as it is just matching variables to values in a single direction. Body literals are matched against the database and the s…

I am about finished with my CS PhD and I taught databases at the university during covid. I, personally, would have failed in the remote learning environment we were providing. I a…