Viewing profile — ComNik

Additional time axes allow you to separate transactions from different sources of input. E.g. in a collaborative system it could be helpful to ask questions while rewinding the act…

If model-theoretic semantics and the various ways to slice, dice, and extend Datalog are interesting to you, then almost any talk by Peter Alvaro might be as well. In particular: h…

Check out the white paper at https://github.com/ipfs/papers/raw/master/ipfs-cap2pfs/ipfs-... , section 3.7. There is a name system called IPNS.

I think Finda ( https://keminglabs.com/finda/ ) fills a similar need, runs offline, and indexes lots of other stuff as well. Although I think it is not possible to assign additiona…

Interesting point. As I don't have much experience in this area: Can you elaborate on some use cases for layouts other than AoS and SoA?

Jonathan Blow's language "jai" allows for seamlessly switching between AoS and SoA and generally seems to value efficient data layout and "gradual" optimization over safety (in con…

For anyone interested in exploring the datomic model, there is a great ClojureScript in-memory implementation called datascript ( https://github.com/tonsky/datascript ) by Nikita P…

We use Datalog every day in a React-Native application, via the datascript db ( https://github.com/tonsky/datascript ). Has been a very positive experience so far. Thinking in "fac…

Thank you for Murmur3! I have been using it in a consistent hashing implementation as part of my bachelor's thesis and it is performing very well.

Interesting note, thank you. Are you referring to "Sigma" https://code.facebook.com/posts/745068642270222/fighting-spa... ?

That was not the intension behind my comment at all. I rely on type systems a lot, myself. I was trying to note that Clojure, as a dynamic language, is making a (to my eyes) very i…

As a side note in his talk "Simple Made Easy" ( https://www.infoq.com/presentations/Simple-Made-Easy , around minute 42) Rich Hickey mentions, that conditional statements are compl…

Full, formal verification of complex systems (especially in the distributed case) requires a lot of modelling effort, beyond what is needed for "mere" implementation. A lot of impo…

You make a very good point, the comparison was flawed there. > The thing I do see as being important is not how you write these things down, but whether they have an accessible rep…

Clojure, with its dabbling in schemas and rule systems / logic programming (as a substitute for conditional statements) and thanks to its great tools (like figwheel or devcards), c…

There is a recording available as well: https://www.youtube.com/watch?v=98LdFA-_zfA

No, on a Core-2 :)

Can't comment on DarkBasic or Monkey, but: BlitzBasic and BlitzMax are about the same language. What BlitzMax provided over BlitzBasic was a direct integration with DirectX and Ope…

I spent most of my early programming years with BlitzMax. The language itself probably has no future on it's own, but combined with the DX/OpenGL integration and overall straightfo…

Just when I was halfway through explaining byzantine fault tolerance to my dad.

It means that operations don't get executed in the same order on every replica. If the systems state depends on the ordering of operations, then each replica might be in a differen…

> This was the year I realized that one language does not fit all, and that it is okay to have more than one favorite language. Same here. This, funnily enough, had the nice effect…

Maybe relevant: https://news.ycombinator.com/item?id=8203144