Viewing profile — dwenzek

I have been convinced by the sales pitch https://evmar.github.io/jjtut/pitch/ I will give a try to jj!

Exactly! A very nice explanation of what is and what is not a proof by contradiction is given by R. Harper in "Proofs by contradiction, versus contradiction proofs" [1] - [1] " htt…

It is always a pleasure to read Daniel Jackson [1]. In this paper, Daniel revisits the ideas developed in his book, "The essence of software" [2]. placing them in their historical …

Tomas Petricek introducing the online version of his course "Write your own tiny programming system(s)" at Charles University. A really appealing menu on interactive programming sy…

A proper doc definitely has to provide the details. However starting with an example or two is a nice way to a give the users a quick overview. Even better when this example is int…

A nice model solving a quite recurring problem. However this sounds a bit as over-engineering here, as two traits have exactly the same type signature.

I really enjoyed reading this well-written paper that introduces the Rel query language implemented at RelationalAI [1]. One main goal of Rel is to give users the ability to grow t…

Great to hear Alistair speaking about hexagonal architecture! Since long, I love Alistair's books which are extraordinary insightful. As an example, [1] has drastically changed my …

Just got a quick look, and found a gem: https://github.com/maaslalani/slides Easy to use, neat and powerful!

Actually, this document is direct to the point with the broad questions agile teams should address to repeatedly deliver the software their users are expecting.

There is also the counterpoint: Compiling without continuations (2017) [1] [1] https://www.microsoft.com/en-us/research/wp-content/uploads/...

Beside the rational, what's really great is the list of such blogs: https://lists.eatonphil.com/blogs.html

I'm just a bit surprised that this post says nothing about Heaviside who rewrote Maxwell's equations in the form commonly used today. According to wikipedia [1], Heaviside signific…

Thanks for these links! Austral rational documentation is indeed really interesting. My preference goes into another direction (notably toward expression-based languages), but it's…

I would not say this is incorrect as there is no definition of `a: condition`. As being declarative is about expectations, one translation could be: I expect that "either both a an…

This post assumes that there is consensus around a formal definition of being declarative . This is hardly the case as highlighted by Robert Harper, an academic recognized for his …

I only read the first section on monotone fixed points. A real pleasure. Nothing new, but the key ideas explained in simple yet precise terms and examples. It really makes me want …

I just found this quite old paper and it came as a surprise to me to discover that the idea of append-only storage is not 20 years old but more than 40! The older work I was aware …

It's amazing to see such a mix of ideas and tools, old and new, academic or not, all arranged in a software thoroughly optimized for accuracy and performance! Rethinking DB API, vi…