di4na

52 ms·

601.
by di4na 10y ago
How do you prove something that is undecidable ?
602.
by di4na 10y ago
Because typing errors and infinite timeout is really hard..
603.
by di4na 10y ago
What is the difference between multithread and different machines? Time to get a synchronous response ? At best. But errors happens to and error situations are the same.
604.
by di4na 10y ago
The thing is, Types are really hard to make work in a distributed unbounded non deterministic system like... well any system that is multi threaded. You can try to hide stuff with channels, but most of the time, you will feel the abstractio
605.
by di4na 10y ago
Right. And Elixir may target Core Erlang one day, for a hypothetic 2.0
606.
by di4na 10y ago
Just saying : if Oracle has proper distributed transactions, then it is lying. Welcome to CAP. Or it has times when it will shit the bed and wait. For reaaaaally long time.
607.
by di4na 10y ago
You may want to have a look at talks like this one https://www.youtube.com/watch?v=xj3smNjGLaE It is a common pattern to use erlang has a controller plane.
608.
by di4na 10y ago
only for binaries. But if your matrix is mainly modified outside of erlang, it may make sense to only use it as an opaque binary inside.
609.
by di4na 10y ago
Distillery will give you a tarball. I do not know if there are plugin/backend for .rpm for it, but should be doable.
610.
by di4na 10y ago
Not really. Once again. What stop completely concurrent code to run on different schedulers ?
611.
by di4na 10y ago
Well there is something to do that. Exrm has some plugin to output a .deb. And it could be done for other package format. Once again, it is a tooling problem.
612.
by di4na 10y ago
once you are concurrent, what stop you from being distributed to multiple cores ?
613.
by di4na 10y ago
Because science does not works by a "scientific method". It work with some really simple things : - Be sceptical - Believe the data - Keep asking questions. All the rest is just fluff. Most of the time you have experiments before
614.
by di4na 10y ago
You mistake concurrency with parallelism. If each of your "synchronous" call to a method is an asynchronous message, suddenly, all your program is embarasingly concurrent. Wait... was that what Alan Kay was saying with SmallTalk ?
615.
by di4na 10y ago
That still does not works. I have to maintain that code everyday. It does not work.
616.
by di4na 10y ago
It does that. This is an erlang release, and that is something that erlang does really well. The problem lie more on the tooling that made it harder than it should have been. This is what Elixir bring to the table.
617.
by di4na 10y ago
Same in most place in Europe. This is mainly an American name. Because it is _not_ how science works.
618.
by di4na 10y ago
You will have a hard time finding it, because nearly all "mainstream" language use that subset of CSP. I am still working on explaining it well myself, but i am working on trying to write blogpost about it. My main problem with CS
619.
by di4na 10y ago
My advise : baby steps. Yes Elixir or Ocaml or Rust or Elm would be a "step back" (i would disagree for the erlang ecosystem. No type system but the paradigm is as solid. Just widely different. There is a reason SPJ or John Hughes
620.
by di4na 10y ago
Yes the whole VM come with debugger, dynamic tracing and all by default. This is also distributed by default.
621.
by di4na 10y ago
While i really love static typing, saying that Go type system help here is... plain false. Go type system, like its predecessor Java, C and company do not help for that. These are not sound type system. At best they are help for the compile
622.
by di4na 10y ago
Erlang took this other way around by designing a system that enable you to not handle all these errors. I am more from this school of designing a system around the reality insteas of trying to patch it everywhere, praying we have enough fab
623.
by di4na 10y ago
I would say it shows that this is a place where the compiler could help :D
624.
by di4na 10y ago
The whole ideas behind Jepsen report is not that people need Strong Consistency. It is that products should tell you precisely what they guarantee or not. This is why Aphyr always test claims.
625.
by di4na 10y ago
http://shop.oreilly.com/product/mobile/0636920024149.do The first part is mainly about erlang and the choices they made. But the last part is not at all specific to erlang and walk you all the way through all deci
626.
by di4na 10y ago
By security, i was more thinking of dealing with exceptions and error. I should have used Fault tolerance. And i was not comparing Java to C# or Python here, but that is probably due to my personal background, which is more with OCaml, Erla
627.
by di4na 10y ago
What the comment under is saying. The scale can just not be compared. The order of magnitude of complexity and variable in computer system are far bigger than in any other engineering discipline.
628.
by di4na 10y ago
It has added some half assed okish stuff into a language that is still massively hard to use, super ceremonious and all that for not a lot of security. Yes it is better than a lot of things, but it is also a super low standard. It get thing
629.
by di4na 10y ago
the second most obvious is cleaner. 90% of time spent when i try to do any analysis is just spent trying to get data that are usable, or in an usable shape. And let's not talk about the different CSV you can encounter... or how to get
630.
by di4na 10y ago
free maybe. The real point being that it is one that works. A big part of the financial but also the entreprisey world in general have never left the 80s/90s. The idea of scale does not exist.

More ›