dwenzek

8 ms·

1.
by dwenzek 3mo ago
I have been convinced by the sales pitch https://evmar.github.io/jjtut/pitch/ I will give a try to jj!
2.
by dwenzek 3mo ago
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] " https://existentialtype.wordpress.com&
3.
Beyond Objects(arxiv.org)
4 points by dwenzek 3mo ago|1 comments
4.
by dwenzek 3mo ago
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 context and opening a future for more modular soft
5.
TinySystems course: Write your own tiny programming systems [video](youtube.com)
5 points by dwenzek 11mo ago|1 comments
6.
by dwenzek 11mo ago
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 systems.
7.
by dwenzek 11mo ago
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 interactive as for redis where you even have an example use cas
8.
by dwenzek 1y ago
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.
9.
Rel: A Programming Language for Relational Data(arxiv.org)
3 points by dwenzek 1y ago|1 comments
10.
by dwenzek 1y ago
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 the language using libraries [2], say for linear algebra or g
11.
Hexagonal Architecture (Alistair Cockburn) [video](youtube.com)
2 points by dwenzek 2y ago|1 comments
12.
by dwenzek 2y ago
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 way of writing specs and even thinking about user-softw
13.
by dwenzek 2y ago
Just got a quick look, and found a gem: https://github.com/maaslalani/slides Easy to use, neat and powerful!
14.
by dwenzek 2y ago
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.
15.
by dwenzek 2y ago
There is also the counterpoint: Compiling without continuations (2017) [1] [1] https://www.microsoft.com/en-us/research/wp-content/uploads/...
16.
by dwenzek 2y ago
Beside the rational, what's really great is the list of such blogs: https://lists.eatonphil.com/blogs.html
17.
by dwenzek 3y ago
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 significantly shaped the way Maxwell's equations are
18.
by dwenzek 3y ago
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 refreshing to read well explained design decisions. Th
19.
by dwenzek 3y ago
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 and the condition to be true, or b true and the condition
20.
by dwenzek 3y ago
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 work in the field of programming formalization , in his es
21.
by dwenzek 4y ago
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 to read more.
22.
What if mass storage were free? (1980)(dl.acm.org)
51 points by dwenzek 4y ago|48 comments
23.
by dwenzek 4y ago
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 of is on "The design and implementation of a log-struct
24.
TigerBeetle: Magical Memory Tour (Joran Dirk Greef) (CMU Database Group)(youtube.com)
3 points by dwenzek 4y ago|1 comments
25.
by dwenzek 4y ago
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, viewstamped replication, no dynamic memory allocation, st
26.
by dwenzek 4y ago
Really nice! I like the design choices of Datalog for the query language and Relations for the data model. This contrasts with the typical choices made for graph databases where the word graph seems to make links a mandatory query and rep
27.
by dwenzek 4y ago
What a refreshing post! So many good points are highlighted: embrace as many as possible ideas without apriori triage, look for ideas in many places, with diverse people, make unexpected connections, add but also subtract, put things into a
28.
Fluent APIs in Functional Languages(arxiv.org)
2 points by dwenzek 4y ago|1 comments
29.
by dwenzek 4y ago
I love this kind of functional design that demonstrates how cascading functions is powerful! The HTML DSL provided as an example is really elegant. It's so amazing to realize these HTML elements are glorified functions.
30.
by dwenzek 4y ago
Thank you for the link! I love this kind of comprehensive blog posts that open a door to a new world. It's worth the time to read those.

More ›