dwenzek

9 ms·

61.
by dwenzek 6y ago
With a cyclic definition, one simply fall back precisely to the starting point, while with recursion one applies a similar process process again and again but each time on a smaller scope up to a point the response is known.
62.
by dwenzek 6y ago
Thank you. This is the article I remember. And yes, I have been fooled. This is a lesson to only cite (and even remember) carefully read articles!
63.
by dwenzek 6y ago
What is really amazing is that this paper has been rejected in the first place (among others). http://www.fang.ece.ufl.edu/reject.html I once read this story in either ACM or IEEE but failed to find the exact reference. It
64.
Thesis: Partial State in Dataflow-Based Materialized Views(youtube.com)
2 points by dwenzek 6y ago|1 comments
65.
by dwenzek 6y ago
This has already been posted [1], but I do think that this video deserves a better audience. Jon Gjengset presents his work [2] on materialized views, cache maintenance, and incremental updates, in the context of web databases. His main con
66.
by dwenzek 6y ago
I find really impressive the contrast between the simplicity of the approach and its effectiveness. * The idea is to generate tests by picking a random row in a database and by crafting random queries which are expected to return that row.
67.
Testing Database Engines via Pivoted Query Synthesis [pdf](usenix.org)
7 points by dwenzek 6y ago|1 comments
68.
by dwenzek 6y ago
There is also that video [0] discussing object algebras as a solution to the expression problem. [0] "Who's Afraid of Object Algebras?" https://www.infoq.com/presentations/object-algebras/
69.
Bubble barriers: a smart solution to plastic pollution in rivers(thegreatbubblebarrier.com)
323 points by dwenzek 6y ago|140 comments
70.
by dwenzek 6y ago
Indeed, Irmin is a library to implement data stores which can be freely cloned, updated and merged along a model similar to git. It separates the content from the actual store. So it can run as well on a file-system, on a git repository, in
71.
by dwenzek 6y ago
> CRDT's are about sharing data, whereas this CALM theory is only talking about making a local decision. Both CRDT and CALM are about sharing data to make a local decision which is globally consistent. Both use an order relation ove
72.
by dwenzek 6y ago
I fully agree that this "stream-table duality" is misleading or at least quite vague. The diagram juxtaposing a chess board (the table) and a sequence of moves (the stream) seems enlightening but actually hides several issues. * A
73.
by dwenzek 6y ago
> Kafka is a message broker. It’s not a database and it’s not close to being a database. Kafka is somehow a database, even if specialized on logs of events. For a similar discussion, I would refer to Jim Gray "Queues Are Databases&q
74.
by dwenzek 6y ago
On the contrary, I really found this article insightful. Yes, there are few concrete pieces of advice to tackle the "internal triggers" of distraction. These are to be found in ourself and any tricks, like turning off all of the n
75.
by dwenzek 6y ago
The https://saltpack.org/ web-site links to a insightful post about authenticated encryption with associated data (AEAD) and the shortcomings addressed by saltpack: https://www.imperialviolet.org/2015/0
76.
by dwenzek 6y ago
It's refreshing to see new approaches for memory management exploring notably the power of static analysis at compile time. I will take the time to read this dissertation! Just a question. It reminds me previous works on static inferen
77.
by dwenzek 6y ago
Great list! I specifically agree that the triple (transformation between data representations + ability to define where the code should execute + built-in profiling) can be a game-changer. It would help to solve the tension between clarity
78.
The Fascinating Influence of Cyclone (2019)(pling.jondgoodwin.com)
1 points by dwenzek 6y ago|0 comments
79.
by dwenzek 7y ago
Reading the sections 2.2.3 (about joins) and 3.5 (about code comprehension) took me aback! I came with a positive a priori for dataframes, but changed my mind. SQL is far to be perfect, but at least there are sound foundations!
80.
by dwenzek 7y ago
Unison ( https://www.unisonweb.org/ ) is a new programming language designed around a really neat idea that removes the necessity of builds. Unison’s core idea is that code is immutable and identified by its content . A func
81.
by dwenzek 7y ago
Here is also the article which makes me discover that impressive atlas: "Global hydro-environmental sub-basin and river reach characteristics at high spatial resolution" ( https://www.nature.com/articles/s41597
82.
Hydro SHEDS: open geo-data of rivers, lakes and watersheds(hydrosheds.org)
3 points by dwenzek 7y ago|1 comments
83.
by dwenzek 7y ago
This is definitely a decision which requires a long term support, as any solution regarding storage. This is not a technical debt unless you see it as a temporary solution, waiting for a better time to replace it. You highlight the "ne
84.
by dwenzek 7y ago
I like how the strengths of Rust are summarized by 3 points: * Algebraic data types * Resource acquisition is initialization * Aliasable XOR mutable I think it can help not only to design a Smaller Rust as discussed here, but also to grasp
85.
by dwenzek 7y ago
This post makes me discover "zines". This is an efficient way to share some knowledge on a tool like strace [ https://jvns.ca/debugging-zine.pdf ]. Having this applied to academic papers and ideas is really a cute i
86.
My students made zines, and so can you(rs)(composition.al)
61 points by dwenzek 7y ago|7 comments
87.
by dwenzek 7y ago
It's nice to see such a comprehensive documentation with 101 materials, white papers and design documents. https://developers.libra.org/docs/welcome-to-libra
88.
by dwenzek 7y ago
The author claims that the number of tests required are only those tests that are necessary to describe the correct behavior of the system and that this is true whatever the programming language is dynamic or statically typed. But with th
89.
by dwenzek 7y ago
Having a standard SQL extension definitely eases adoption and ability to migrate from one tool to another. But rather than adding and adding features to SQL; we maybe need a simpler way to extend/compose features. On that point, I see
90.
by dwenzek 7y ago
Sure, SQL is powerful and I agree that any alternative would also bring its own complexity. However, my concerns are more about encapsulation rather than expressiveness and conciseness. Even if a watermark is used the same way in different

More ›