maweki

6 ms·

1.
by maweki 2mo ago
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 same sentiment as "the typing itself is not the is
2.
by maweki 4mo ago
> 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 for a lot of people.
3.
by maweki 7mo ago
> it is inherently resistant to false positives By Rice's Theorem, I somehow doubt that.
4.
by maweki 8mo ago
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 was also missing mentioning "sideways informati
5.
by maweki 8mo ago
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 insert 1 after C: store D, overwrite D with 1, store E, ove
6.
by maweki 8mo ago
What do you like to call Hungarian notation?
7.
by maweki 8mo ago
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 in their algorithm without having thought what theories they
8.
by maweki 9mo ago
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 granularily enough.
9.
by maweki 11mo ago
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 Haskell and in some cases the implementation was the sp
10.
by maweki 11mo ago
Incremental automatic grounding to SAT works fine for ASP.
11.
by maweki 11mo ago
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.
12.
by maweki 1y ago
> 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 what people actually took away from school. In an ideal wo
13.
by maweki 1y ago
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. It's very readable with a text editor. And then we jus
14.
by maweki 1y ago
Who doesn't own the third edition of the LaTeX Companion book?
15.
by maweki 1y ago
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 solution is bikes, the other is mass transit. What self-d
16.
by maweki 1y ago
Isn't the author just proposing GraphQL?
17.
by maweki 1y ago
Splitting the presentation into multiple fragments makes it more difficult to generate/alter a presentation using xslt.
18.
by maweki 1y ago
Cisco is incredibly (in)famous for having hardcoded backdoor accounts in their products.
19.
by maweki 1y ago
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/concepts from the real world with uri
20.
by maweki 1y ago
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 chef on an international sanction list should make us
21.
by maweki 1y ago
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 killing software the audit trail might be faster than t
22.
by maweki 1y ago
Slow killing software can be made more secure by adding the possibility for human review. Fast killing software is too fast for that.
23.
by maweki 1y ago
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-25 case, the killing was quite immediate and it would have h
24.
by maweki 1y ago
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 substitutions are applied to the rest of the rule and th
25.
by maweki 1y ago
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 am amazed at those wo fought or even flourished through that.
26.
by maweki 1y ago
The horizon post office scandal is the first thing I taught in my "database design" course, to show that we're not creating self-serving academic exercises. We are creating systems that affect people's lives. I try to gi
27.
by maweki 1y ago
They didn't just click a link. They contacted the supposed authors for comment. That would be a reason for not checking all of them.
28.
by maweki 1y ago
I don't really understand what the difference is to syncthing (or value over syncthing, as it is very mature and also works across the Internet). You share folders and other devices are discovered locally and you decide which devices t
29.
by maweki 1y ago
Why didn't toolbox fit your needs? I found toolbox to be a very reasonable way to install development dependencies on a per project basis while not managing multiple hidden filesystems.
30.
by maweki 1y ago
It is nice to see a core group of Datalog enthusiasts persist, even though the current Datalog revival seems to be on the decline. The recent Datalog 2.0 conference was quite small compared to previous years and the second HYTRADBOI confere

More ›