dwenzek

31 ms·

121.
by dwenzek 9y ago
angstrom - OCaml parser combinators built for speed and memory efficiency https://github.com/inhabitedtype/angstrom
122.
by dwenzek 9y ago
And this startup aims to replace concrete by a wood based material. https://woodoo.fr/home/
123.
Malfunction: high-performance, low-level untyped program representation(github.com)
1 points by dwenzek 10y ago|0 comments
124.
by dwenzek 10y ago
This sounds really promising: simpler, superior accuracy, more robust operations. Here is an implementation: https://github.com/libcg/bfp
125.
by dwenzek 10y ago
This has to be compared to the Myers' Diff Algorithm http://xmailserver.org/diff2.pdf
126.
by dwenzek 10y ago
Here it is: https://github.com/didier-wenzek/poc-calvin-transactions
127.
by dwenzek 10y ago
The prototype is unfortunately tied to a more global project, which I'm not ready to make open. This is a POC implemented in OCaml using Kafka. I'll take a few hours to see what I can open.
128.
by dwenzek 10y ago
It should be executed in a single transaction. But the query may be scheduled more than once. According to the Calvin paper, there are two strategies here: * Either, the write set of the query is considered to be {B,C}. * Or the query if re
129.
by dwenzek 10y ago
Thanks! I was aware of the feature but not of its author. https://blogs.msdn.microsoft.com/andrewkennedy/ https://channel9.msdn.com/Blogs/Charles/Andrew-Kennedy-F-Uni...
130.
by dwenzek 10y ago
> Someone with less understanding of how a product actually works is often better equipped to communicate what it does than someone stuck in the weeds. This is so true! Yet, it took me a lot of time to understand this. Maybe because this
131.
Global asset tracking with Spot’it, GPS-free geolocation service(sigfox.com)
1 points by dwenzek 10y ago|0 comments
132.
by dwenzek 10y ago
When I hear "fake news", I understand "news about fake facts" and not "opinions which may be erroneous". The issue is to favor the true debates, with different points of view, and to remove the noise which proh
133.
by dwenzek 10y ago
The list is really interesting; But it lacks titles or subjects that would help to search the list and choose a blog or another
134.
by dwenzek 10y ago
> The tombstone problem described is due to misuse. My concerns with Cassandra are precisely here: this is easy to misuse it. There are a lot of constraints on the schema (more specifically on the design of partition & clustering key
135.
Weld: A common runtime for high performance data analytics(blog.acolyer.org)
2 points by dwenzek 10y ago|0 comments
136.
Lift: Functional Data-Parallel IR for High-Performance GPU Code Generation(lift-project.org)
1 points by dwenzek 10y ago|0 comments
137.
Presenting Mathematical Analysis Using Functional Programming(arxiv.org)
2 points by dwenzek 10y ago|0 comments
138.
by dwenzek 10y ago
I agree. The post's tone is a bit harsh and could be more respectful. After all, there is no consensus for type classes, [ML's modules being an alternative]( https://existentialtype.wordpres
139.
by dwenzek 10y ago
> both versions ignore an elephant in the room: defensively dealing with `entry` being absent from the list. Indeed, both versions really have a poor taste. Both are code snippets which can only work under very restrictive assumptions. T
140.
Automating big-data analysis(news.mit.edu)
2 points by dwenzek 10y ago|0 comments
141.
Thinking Spatial(wp.sigmod.org)
1 points by dwenzek 10y ago|0 comments
142.
by dwenzek 10y ago
MirageOS arguments its choice of OCaml in these terms: "the module system is among the most powerful in a general-purpose programming language in terms of permitting flexible and safe code reuse and refactoring" https:/&#x2F
143.
by dwenzek 10y ago
Thanks. Nice, simple and useful !
144.
by dwenzek 10y ago
I recommend http://elm-lang.org which is statically typed and designed for web development.
145.
StreamScope: Continuous reliable distributed processing of big data streams(blog.acolyer.org)
3 points by dwenzek 10y ago|0 comments
146.
by dwenzek 11y ago
Before any proof, the debate would benefit from more precise definitions. For instance, the issue around the usage of fencing tokens to reject any late usage of a lock is unclear just because the protected resource and its access are themse
147.
The Beckman Report on Database Research(cacm.acm.org)
2 points by dwenzek 11y ago|0 comments
148.
by dwenzek 11y ago
The editor of the post, Ravenbrook, maintains a very well written Memory Management Reference: http://www.memorymanagement.org/
149.
by dwenzek 11y ago
Indeed, here is a post which elaborates the connection : https://news.ycombinator.com/item?id=8904182
150.
by dwenzek 11y ago
I'm puzzled by your mention of consumer offsets. Indeed, either Siberite is a queue system which purpose is to dispatch each message to one and only one consumer for further processing and which requires the consumers to acknowledge fu

More ›