ergl

26 ms·

241.
by ergl 10y ago
Same, I've only seen two ads since they started rolling them out. The first time, you could report them as spam, so I did so. The second time, months after that, I reported it as offensive. It might not make any difference, but I can s
242.
by ergl 10y ago
Thanks for opening it up! I'll give it a look as soon as I get the time.
243.
by ergl 10y ago
Sounds great! looking forward to it
244.
by ergl 10y ago
Ah, yeah, I suspected it could be fixed with your first approach, but the second one also sounds plausible. But if you go with the first option, then you can end up locking the entire database, as you pointed out with `write(read(A), _)`. W
245.
by ergl 10y ago
You can issue writes depending on reads, but are they performed in the same transaction? If I do `if(read(A) = 0) then write(B, 1) else write(C, 2)`, would that be executed in 1 or 2 transactions?
246.
by ergl 10y ago
Yes, it has to do with the way Calvin handles transactions, which are required to declare their read and write sets before executing. These kind of transactions are also called static, and are normally of the type "I have this read&#x2
247.
by ergl 10y ago
>"What has the author done that is equivalent?" Remember your words the next time you complain about the food in a restaurant.
248.
by ergl 10y ago
I had a similar realization when I read on STM performance[1], where almost all benchmarks showed considerable slowdowns for the parallel+stm implementations when compared against sequential solutions. [1]: http://queue.acm.org&#
249.
by ergl 10y ago
Spark already does this. It classifies emails into "personal", "newsletters" and a few others — it will only notify you of personal emails.
250.
by ergl 10y ago
Look into Pony's reference capabilities. To put it shortly, the compiler will guarantee that there are no data races through this system, and therefore the runtime is able to use shared memory and pointers for efficiency.
251.
by ergl 10y ago
The performance of such a system really depends on what you can expect from it. If your system is distributed without full replication (and no overlap between nodes), then having offline nodes is easy - you just access to your local data, a
252.
by ergl 10y ago
Those reasons are a bit outdated, you can certainly have add-and-remove crdts with or-sets, and you can do so with almost no garbage. One of the Tomtom engineers explained one approach at Strangeloop last month: https://www.youtu
253.
by ergl 10y ago
That's exactly what Pony ( http://www.ponylang.org/ ) does. It has a gc, with all the actors in the system communicating through shared memory. It uses the concept of 'capabilities' to check the owner of any gi
254.
by ergl 10y ago
It's spanish, so 'lee-breh'
255.
by ergl 10y ago
Yes, afaik F* uses Z3 internally. I don't have any links, but I know a guy working on formalizing the translation from F* to Z3
256.
by ergl 10y ago
About garbage collection, there is some research done in that direction: Logoot [0] is a collaborative text editor that doesn't depend on tombstones. [0]: https://hal.archives-ouvertes.fr/inria-00336191/
257.
by ergl 10y ago
This happened to me a few years ago. I was minding my own business taking pictures, when a police car stopped over and an officer asked me what I was doing. Apparently, I was near an official building, and they told me not to photograph in
258.
by ergl 10y ago
It's always good to hear about IOT companies using CRDTs because it seems like the perfect fit for it, yet you don't hear very much about it. Also interesting hearing you mention you were using plumtree for your replication backen
259.
by ergl 10y ago
You could also use mixfix notation for this: _to_do_ n to m do f = x := n ...
260.
by ergl 10y ago
You can hack together multiple expressions chaining them with and http://sigusr2.net/one-line-echo-server-using-let-python.htm...
261.
by ergl 10y ago
Yes, although I'm not sure that bucklescript is anything more than the compiler. js_of_ocaml comes with library that lets you interact with the DOM and most of the browser APIs
262.
by ergl 10y ago
If you aren't tied to .NET, you could always use OCaml and js_of_ocaml, a compiler that targets javascript. Plus, you get a lot of functionality from the library too https://github.com/ocsigen/js_of_ocaml The docu
263.
by ergl 10y ago
Provia 400x :(
264.
by ergl 10y ago
I know this too well. Some pages will tell me that my name or address is 'invalid' because it contains spaces or forbidden characters. I'm sorry, but 'ñ', apostrophes and accent marks are not forbidden, and no name
265.
by ergl 10y ago
Images and videos are stored on their server for a fixed amount of time, and deleted afterwards. (So you just send an url and the client transforms it into a thumbnail). You can test this by trying to download an image for the first time af
266.
by ergl 11y ago
If you have a mac and an iphone, you could try vox loop, where you upload your own music (any quality) and then streams it back at the same quality (works with wav / flac). Only bad thing about it is that you have to upload your own mu
267.
by ergl 11y ago
> Here we're talking about mapping data into a high dimensional space, then trying to project that down to the minimum dimension space that can preserve the relevant information. Isn't this what M/PCA is all about? https:
268.
by ergl 11y ago
Yes, I know my example isn't perfect, but I've found is a good way of explaining the general concept to people not familiar with ML's module system. Thanks for your explanation though!
269.
by ergl 11y ago
Hmm, I found functors a bit confusing on my first encounter with the language, but I wouldn't call them 'academic'. If you've ever used Haskell typeclasses, they serve almost the same purpose. In OO land, they're ju
270.
by ergl 11y ago
You can get rid of Safari though. In Settings > General > Restrictions you can enable / disable Safari, Camera, iTunes Store etc. You can also block certain sites in Restrictions > Websites. I use this feature to block news si

More ›