dwenzek

13 ms·

91.
by dwenzek 7y ago
Thanks for the two links. I will have a look.
92.
by dwenzek 7y ago
A really interesting proposal to unify stream processing and relational querying and to extend SQL with a semantics over time-varying relations. In particular, the authors (from the Apache Beam/Flink/Calcite projects) stress on th
93.
One SQL to Rule Them All: Management of Streams and Tables(arxiv.org)
260 points by dwenzek 7y ago|35 comments
94.
by dwenzek 7y ago
Here are 3 resources ordered by read-time length: The Lambda Calculus for Absolute Dummies (like myself) : http://palmstroem.blogspot.com/2012/05/lambda-calculus-for-a... A short introduction to the Lambda Calculu
95.
by dwenzek 8y ago
I like how Paul Chiusano answered the main question: "If Haskell (or XYZ) is so great, why hasn’t it taken over?" "The simplest explanation is probably that Haskell is not that much better than, say, Java,"
96.
by dwenzek 8y ago
Pretty cool! I found impressive the way Max refactor a bunch of code using extend selection (16 mn 45).
97.
by dwenzek 8y ago
Definitely a positive attitude that helps others grow and oneself discover new ideas. I like the following post, cited by one of the comment, which gives a clear path for constructive feedbacks https://www.lifehack.org/64659
98.
by dwenzek 8y ago
In this post, Bertrand Meyer made a similar claim taking the airplane industry as a reference. "When Will We Learn? Every major software incident requires a thorough and public analysis." https://cacm.acm.org/blogs
99.
by dwenzek 8y ago
I like the tone of the discussions in this post and the whole website http://tidelift.com . The explored questions are fully justified: making money from hard work, paying the bills, balancing innovation and maintenance... and th
100.
by dwenzek 8y ago
Here is a very smart blog about "Incremental Regular expressions" which is based on this relationship with monoids. http://jkff.info/articles/ire/#f7
101.
Why strong consistency matters with event-driven architectures(blog.fauna.com)
3 points by dwenzek 8y ago|0 comments
102.
by dwenzek 9y ago
I find this post a bit wordy but interesting. It notably points out well how the two approaches to deal with the state of a system, using versions or overwriting it, are in competition since a long time and in various domain of computer sci
103.
by dwenzek 9y ago
Curious to see such effective code, I looked for the source code, but found nothing. The more approaching code base I found is https://github.com/ucbrise/LatticeFlow . Is the Anna source repository public ?
104.
by dwenzek 9y ago
While Bloom was indeed coded in ruby, they use C++ for Anna: > We get this rich consistency in Anna with a very clean codebase, by porting design patterns of monotone lattice composition from Bloom to C++. In the paper: > The Anna act
105.
by dwenzek 9y ago
An interesting and well-written paper. The authors not only advocate remarkably well their approach for protocol-aware recovery of distributed systems, they also give a broad overview of storage faults, their adverse impacts on consensus pr
106.
CASPaxos: Replicated State Machines Without Logs(arxiv.org)
2 points by dwenzek 9y ago|0 comments
107.
330 Ivy League courses you can take online right now for free(medium.freecodecamp.org)
3 points by dwenzek 9y ago|0 comments
108.
Just-Right Consistency: reconciling availability and safety(arxiv.org)
2 points by dwenzek 9y ago|0 comments
109.
Multistroke gesture recognizer(erratique.ch)
1 points by dwenzek 9y ago|0 comments
110.
by dwenzek 9y ago
You can go directly to https://mythryl.org/index3.html and bypass the first two billboards.
111.
by dwenzek 9y ago
Here is a nice investigation on how such curious javascript behaviors can have an impact on a real code base. http://stedolan.net/incomparable/
112.
by dwenzek 9y ago
I had a glance the engineering diary http://bitfunnel.org/ I find really interesting for a code repository to have such a companion.
113.
by dwenzek 9y ago
Indeed I reacted a bit too quickly ! You are right. You were even going straight to the point when saying that "These are two sides of the data-flow coin."
114.
by dwenzek 9y ago
As you, I like the focus on data-flow, but I disagree when you said that: > Making all dependencies explicit will force you into writing immutable code. We have the opposite: Writing immutable code will force you into making all dependen
115.
by dwenzek 9y ago
Yet another tool which uses machine learning to ease software engineering. A very appealing approach ! Yesterday, there was that post [ https://news.ycombinator.com/item?id=15125621 ] about a tool which explores a target sys
116.
Supervised Learning: Localizing Novice Type Errors with Data-Driven Diagnosis(arxiv.org)
1 points by dwenzek 9y ago|1 comments
117.
by dwenzek 9y ago
I like a lot the general idea: use the machine to explore the design space. Here the authors start with a seed program, which exchanges data with a target server; and let the machine explore the core functionality of this server with system
118.
by dwenzek 9y ago
The website [1] is worth reading too. I like the idea of an automated prover and an SMT solver running concurrently, one looking for a proof and the other for a counter example. [1] http://cosette.cs.washington.edu/
119.
The Gamma: Tools for open data-driven storytelling(thegamma.net)
2 points by dwenzek 9y ago|0 comments
120.
by dwenzek 9y ago
The inaugural post is worth reading: http://bair.berkeley.edu/blog/2017/06/20/learning-to-reason-... It explores a combination of neural networks and structured parsing to solve challenges at the interse

More ›