maweki

50 ms·

391.
by maweki 6y ago
I am usually programming in Haskell (the little programming I do besides research) and I try to do property based testing a lot. And of course, you have to come up with the properties to test for when generating test cases. With a proof dou
392.
by maweki 6y ago
If you're talking about boolean satisfiability, all you have as "memory locations" are bits and you describe their relationships. I guess the result you want is "unsat". Say you want location 1 not equal location 2,
393.
by maweki 6y ago
As it isn't yet mentioned: for these cases the Python standard library explicitly has https://docs.python.org/3.8/library/stdtypes.html#str.casefo... (str.casefold), which aggressively lowercase-normalizes st
394.
by maweki 6y ago
And we're still researching how aggregation should work. While Datalog is really cool and my PhD research is based on it, the fixpoint semantics really do not work well with aggregation, grouping, etc.
395.
by maweki 6y ago
> jOOQ and SQLAlchemy are libraries While it is true, they are specifically embedded DSLs, which is exactly what you said you needed. Having a (query) language (a DSL) that is not composed by string concatenation. Embedded DSL solve exac
396.
by maweki 6y ago
This problem would arise with every DSL. And it has been solved by using embedded DSLs. jOOQ or SQLAlchemy look like SQL (and you don't even have to squint your eyes very much) and solve the problems you mention.
397.
by maweki 6y ago
> the goal here is to create an abstraction for interfacing with the different tools from different EDA vendors I gathered as much. Again, the EDA-space is large. PyEDA was interfacing to severals SAT-Solvers, BDD-Libraries (even rolling
398.
by maweki 6y ago
The project readme seems to be lacking a good description of how powerful it is or which software and which workflows are supported (maybe with a list). I remember pyEDA ( https://pyeda.readthedocs.io/ ) interfacing with SAT
399.
by maweki 6y ago
Of course, in hindsight the rodentiometer is an obvious input for the computer. One wonders how long it would have taken somebody else to invent this, if English didn't exist. How "ripe" was the community for this idea to sur
400.
by maweki 6y ago
I was in Lissabon Last year at the SAT conference and that was my main takeway, though my field of research is only adjacent. One paper was about creating random sat instances where the probability of unsat ist 50/50 and as it turned o
401.
by maweki 6y ago
While it is true, if you follow current research, most people in the field seem to be on a great hunt for hard SAT instances where no known heuristic really helps. As of yet this hunt has not been successful.
402.
by maweki 6y ago
I think a better understanding between inline and block is, that inline-elements do not generate a block. The idea of a block breaks down for inline elements, especially when they go over multiple lines. It's not just a horizontal expa
403.
by maweki 6y ago
I would hazard the guess that enforcing a different naming policy doesn't hurt either.
404.
by maweki 6y ago
You missed the point where Canonical brought their own apt-get that just installs the snap anyways. So no, you can't install stuff through your traditional package manager.
405.
by maweki 6y ago
Why should at least the smartphone be non-kosher if it isn't charged and switched on/off physically during shabbat? I agree about the rest of the infrastructure though. But you have to agree on some standard what "work"
406.
by maweki 6y ago
So what works for cats (well-known), also works for humans. Good to know.
407.
by maweki 6y ago
But in a browser you'd had to enter the url yourse... oh, yeah, nevermind
408.
by maweki 6y ago
The EV3 can run Linux which allows interesting stuff. I've written a Prolog API which we used in University AI teaching (interleaving planning and action). I was hoping to write a purescript API but we lost funding. I wonder how limite
409.
by maweki 6y ago
Provocative title. The author argues - more or less - that quantitative and mathematical approaches do not lend themselves to questions of the humanities or social sciences. As an example they take a network analysis that was done on social
410.
by maweki 6y ago
I did some visualization of brainfuck quite a few years ago. I do an interpretation and generate a pov-ray script that generates frames that generate a video. Multiplication here: https://www.youtube.com/watch?v=6PIZTFrkl0w
411.
by maweki 7y ago
That is De Morgan if you expand the quantifiers.
412.
by maweki 7y ago
Thank you for this tip. This sounds horrendous in terms of maintainability but nice to see it's possible.
413.
by maweki 7y ago
Use it. I think you get stronger guarantees on correctness and performance. Not every of those path queries are easily implemented using recursive CTEs.
414.
by maweki 7y ago
An important limitation is that the reference to the recursive table is only a reference to the newly added tuples and you're only allowed to reference the single recursive table once. This forbids, for example, having a NOT IN of the
415.
by maweki 7y ago
The DeutscheBahn said it will refund all tickets originally purchased to travel to events cancelled due to coronavirus.
416.
by maweki 7y ago
"It would be extremely surprising, then, if running with N threads actually gave ×N performance." Basically impossible by Ahmdal's law.
417.
by maweki 7y ago
I did not completely understand to what graphs this applies. Certainly not generic ones, that can't be true. Is it only complete ones? It seems intuitively true that complete graphs can be tiled this way.
418.
by maweki 7y ago
I dabbled a bit in dogelang and the "great" thing is that it almost is Haskell but not. You can deconstruct tuples which looks like pattern matching but it isn't. You can use generator lazyness which looks like lazy and non-s
419.
by maweki 7y ago
Yeah, sorry, I was not clear on that one. I meant the downwritable ones. Of course, pi has no finite extension.
420.
by maweki 7y ago
That's the notion of kolmogorov complexity. The smallest program that can generate this output. Pi and I guess any other algebraic number, no matter how randomly distributed its digits are, are not that complex.

More ›