mmarx

8 ms·

31.
by mmarx 5y ago
True, but then there are also quite a few bots editing the Wikipedias. In the end, bots are still run by humans, and are subject to prior community approval.
32.
by mmarx 5y ago
Wikidata statements are not binary, and values are not untyped. However, there is the concept of “simple statements”, especially in conjunction with the RDF exports (although not untyped, these data usually look like binary relations). Inde
33.
by mmarx 5y ago
Unlike DBpedia, Wikidata is not structured content extracted by parsing Wikipedia articles, but instead a structured collection of factual knowledge created by human editors.
34.
by mmarx 5y ago
> A striking bit of trivia (but OT to SQL) is that in Turing's "On Computable Numbers" [1] he treats a Turing Machine that halts as having a problem, whereas in basically every popular treatment a machine that halts is one
35.
by mmarx 5y ago
Indeed multiple edges (with different labels) are quite useful, particularly when you want to represent RDF graphs. But since there is no restriction on the form of L, you can still represent those by, e.g., letting L be a set of sets of IR
36.
by mmarx 5y ago
Wikidata statements (which roughly correspond to the edges in the Knowledge Graph) have quite a bit of Metadata associated with them: they can have refer to sources that state this particular bit of knowledge, they have a so-called rank tha
37.
by mmarx 5y ago
Except that you can put in your cancellation notice early, even on the very first day.
38.
by mmarx 6y ago
> Lexi is another option, but apparently the brand name is not derived from the Latin term, so some lean towards Lexuses[2]. For what it's worth, Lexus as the plural form would even be consistent with Latin's fourth declension[
39.
by mmarx 6y ago
> I believe it uses Prolog rather than Datalog (I'd be interested to learn more about how they differ). Datalog is the positive, function-free fragment of Prolog, i.e., what Prolog offers over Datalog is negation and “value inventio
40.
by mmarx 6y ago
> My guess is someone added this tool for other tools to use. That's precisely what it's for; and there's a cdnjs mirror as well, for the same reason.
41.
by mmarx 6y ago
It's primarily _meant_ to be used locally, by all the other tools hosted on Wikimedia Toolforge, which just recently moved to toolforge.org, a service that allows community members to host their own tools for working with and editing W
42.
by mmarx 6y ago
> I'm not sure which alternative query language is sufficiently general to match SQL. A datalog implementation on top of Postgres (via libpq?) would be really interesting though. Datalog is already more general that SQL, though; eve
43.
by mmarx 6y ago
> The classic example of surprising optimization is perhaps matrix multiplication in Fortran: > At some point in history, when you wrote the straightforward, primitive three-nested-loops version of matrix multiplication your code ran
44.
by mmarx 6y ago
> Most structured data in Wikipedia articles is in either infoboxes or tables Most of the data in Wikidata does not end up in either Infoboxes or Tables in some Wikipedia, however, and, e.g., graph-like data such as family trees works qu
45.
by mmarx 6y ago
> It might even be easier than SQL since there are no joins. Every dot between Triple Patterns in a Basic Graph Pattern is actually a JOIN; you just don't need to worry about using them. As for the identifiers, you get used to them
46.
by mmarx 6y ago
> WikiData is a seemingly genius concept -- turn all those boxes of data into a queryable database! -- kneecapped by academic but impractical technology choices (RDF/SPARQL). If they had just dumped the data into a relational databa
47.
by mmarx 6y ago
> Neither is it possible to query for history of changes over the triples. And why should it? The triples (and hence the full RDF dump as well) are a “lossy” (there's actually two different translations, the “truthy” triples that th
48.
by mmarx 7y ago
For most queries, that might be true. However, the termination guarantees of Description Logic (OWL) reasoning and SPARQL (more precisely: the specific time complexity bounds) immediately imply that Prolog is more expressive. Even if we don
49.
by mmarx 7y ago
> I don't think it is technically possible yet to filter out just the current ones, so instead Wikipedia is manually overriding the addresses from Wikidata. Note that the historical ones are of “normal” rank, whereas the current one
50.
by mmarx 7y ago
Actually, “Zettelkästen” is the plural form; the singular would be simply “Zettelkasten.”
51.
by mmarx 7y ago
The MDMA lab was in a similar bunker discovered in 2002 (so not quite 18 years ago), see the Wikipedia link in this thread. The article is about another bunker which may or may not have been run by the same company.
52.
by mmarx 7y ago
> The thing with "Datalog" is that it is really a level of functionality that is implemented in various database query systems and not a well-defined language in and of itself. 15 years ago I remembered searching for papers abo
53.
by mmarx 8y ago
The paper is from 2002, all of the references in that Wikipedia article are younger (and indeed, reference [16] even cites the Tetris is Hard paper).
54.
by mmarx 8y ago
> If there is no recursion, it is just conjunctive queries and not datalog. SPARQL has negation (FILTER NOT EXISTS), though, making query answering PSpace-hard, whereas conjunctive query answering is NP-complete, so the two are very much
55.
by mmarx 8y ago
There's also dpkg --set-selections.
56.
by mmarx 8y ago
It's a Semi-Thue system[0], a particular form of term rewriting system that is almost 30 years older than tag systems; introduced over a hundred years ago to formalise word problems in finitely presented semigroups (that's where t
57.
by mmarx 8y ago
If you're just interested in a single value, using the SPARQL endpoint[0] is probably still more simple, since you don't have to filter out deprecated statements, for example. [0] http://tinyurl.com/ya957wem
58.
by mmarx 9y ago
> The article states internet was down for users at around 10pm (I expirenced it live). So they might have been on generators for two hours (speculation). More likely, the timestamp in the picture is UTC, which corresponds to 22:00 CEST,
59.
by mmarx 9y ago
It wasn't even an option on the older ones like my 2005 X41. But indeed the keyboard/trackpoint combination on the X201 was perfect.
60.
by mmarx 9y ago
> You lend me 1,000 USD and then demand it back 12 months later. Can I give you 1,000 euro or 1,000 swiss francs instead? I doubt it. Both EUR and CHF are currently worth more than USD, so that might not be the ideal example to make your

More ›