burakemir

13 ms·

91.
by burakemir 4y ago
(Mangle was posted recently which I like so I am a bit biased) Datalog is a formalism like relational algebra but additionally supports recursion. So it can roughly play the role of SQL. Compiler writers have used it to query their symbol t
92.
by burakemir 4y ago
Mangle is used in an internal application. That application is a staffed project with internal usage. In mid 2021, I saw an opportunity to apply some ideas on query languages to support development of that particular application. That appli
93.
by burakemir 4y ago
RDFox using datalog underneath is definitely interesting. Maybe worth making a distinction between products/services and open source projects that can be used as building blocks for such products/services or whatever custom setup
94.
by burakemir 4y ago
Thanks for sharing Biscuit, I was collecting examples of authentication policy languages. Datalog is also the basis for Open Policy Agent https://www.openpolicyagent.org/docs/latest/ , more specifically it's
95.
by burakemir 4y ago
Yes, there are CTE and recursive queries, and various DBMS also offer views. There are even table-valued functions. These things are not widespread, and differ by implementation, and the way these are used by clients are copy-and-paste. Som
96.
by burakemir 4y ago
It was a conscious choice to stick the prolog-like syntax because there are numerous teaching resources (e.g. "foundations of databases") and also academic research papers available that all discuss datalog in this syntax. Like tm
97.
by burakemir 4y ago
This is my project! So soon ... I was considering a Show HN but wanted to wait until things like documentation are a bit more complete, but here we are. Ask me anything.
98.
Cyber Ontology Stamp Collection(blog.burakemir.ch)
3 points by burakemir 4y ago|0 comments
99.
by burakemir 4y ago
I heard SHACL helps with specifying structure (shape), and more so than OWL which is more about meaning (and where it may be acceptable to have an incomplete but "open" specification). Programming with these structures (triple&#x2
100.
by burakemir 4y ago
RDF comes with this whole set of W3C standards, and standardization seems to be a big point in favor if you need to care about interoperability. In terms of data model, RDF may be a bit too web centric to be approachable. Linked Data does n
101.
Dart: Patterns Feature Specification (in progress proposal)(github.com)
1 points by burakemir 5y ago|0 comments
102.
by burakemir 5y ago
The stack is real and reminded me of Data-Context-Interaction https://dci.github.io/ . Its inventor Trygve Reenskaug was arguing that this helps with building UIs and object models that are closer to how users think about th
103.
by burakemir 6y ago
Thank you so much for taking the time to reply. I now realized that I confused "syntactic" and "semantic" completeness. I agree on your points; my first up there was ignoring a bit of the context (it was late...) and not
104.
by burakemir 6y ago
Let me try to reconstruct what has been said. You seem to be reacting to points different from the one I tried to make. bjornsing: All of mathematics can in principle be derived from ZFC. morelisp: not all, there are independent statements.
105.
by burakemir 6y ago
The continuum hypothesis is an example of a statement that is independent of ZFC. About futility of theorem proving: I think a useful perspective on this is that the context of formal logic with respect to "all mathematics" used t
106.
by burakemir 6y ago
"Let's see how this essential complexity claim holds for a couple of things I did recently at work:" "For some queries, it's arguably zero — my work was necessary only because of some arbitrary quirk and there would
107.
by burakemir 6y ago
Typo: Hindley and Seldin ... silly phone autocorrect
108.
by burakemir 6y ago
The article is a deep dive into Moses Schönfinkel's life, and mentions how his work is picked up by Haskell Curry. It is very long, contains surprisingly few of the characteristic Wolfram promotion usually found in Wolfram texts, but b
109.
by burakemir 6y ago
(Googler here) The article is a good description of the tools, and I was not aware of the blaze clones plz and pants. One thing that is maybe not obvious: For an API author, code search in combination with a monorepo and the somewhat hermet
110.
by burakemir 6y ago
Nah: the article says the CAP narrative is based on very specific assumptions which make it unfit to talk about actual distributed systems. Gödel's incompleteness (that, by a diagonalization argument, formal systems of minimal expressi
111.
by burakemir 6y ago
This got me thinking about how "module" - a language concept - is about bringing in definitions (values, types...) into scope, but then there is deployment, something being "installed at a version". Modules, understood a
112.
Bringing free retail listings to Google Search(blog.google)
2 points by burakemir 6y ago|0 comments
113.
by burakemir 6y ago
This piece is intended as an accessible intro; it talks about the beginnings of formal logic, how intuitionism in the debate on foundations of mathematics led to intuitionistic logic, and Gentzen's natural deduction. It seems the only
114.
Intuitionistic propositional logic and natural deduction(blog.burakemir.ch)
1 points by burakemir 6y ago|1 comments
115.
by burakemir 6y ago
This looks like a nice project, and I will check on its progress. So far only two of the advertised steps are there. Reminds me, I started a RISC emulator project on a holiday - and then forgot about it when the holiday was over :o Not sure
116.
Higher-order logic and equality; multiple ways to use lambda calculus for logic(blog.burakemir.ch)
73 points by burakemir 7y ago|25 comments
117.
Epidemiology multi-agent model in NetLOGO(ccl.northwestern.edu)
2 points by burakemir 7y ago|0 comments
118.
by burakemir 7y ago
Covid-19 ist the disease. https://www.who.int/emergencies/diseases/novel-coronavirus-2... The virus itself is called SARS-CoV-2 and previously 2019-nCoV https://en.m.wikipedia.org/wiki/Severe
119.
by burakemir 7y ago
In Switzerland, health insurance may be private, but is mandatory and there is a large catalog that even the cheapest insurance must cover. On the other hand, the state (each canton) pours large amounts of money into hospitals and research.
120.
by burakemir 7y ago
Your statement is wrong, in the following sense: at runtime, the call to x.foo() would always start look at the runtime type (which in this case is Bar, or some subclass of it) - otherwise overriding methods would not work. https:/&#x

More ›