Viewing profile — gosubpl

Wine: Best Gascon in London 4d/gallon 1331 [2] 194 Best Rhenish in London 8d/gallon " " " This is reversed now, German Riesling much cheaper than Bordeaux.

Things are happening in that space already! I work at Actyx and we have a production ready stack for local-first real serverless (peer-to-peer) applications. Please take a look at …

Actyx | Munich, Germany | Full-time | REMOTE or ONSITE | Full-stack | €50k - 75k | Equity | https://www.actyx.io Factory software is at the core of value creation, it is crucial to…

Actyx | Munich, Germany | Full-time | REMOTE or ONSITE | Full-stack | €50k - 75k | Equity | https://www.actyx.io Factory software is at the core of value creation, it is crucial to…

Actyx | Munich, Germany | Full-time | REMOTE or ONSITE | Full-stack | €50k - 75k | Equity | https://www.actyx.io Factory software is at the core of value creation, it is crucial to…

What about Intellicad ( https://www.intellicad.org/ )? It seems to be pretty popular among engineers. It reads DWG/DXF (AutoCad format) pretty well. The software itself goes by var…

Edited. There is Introduction to Functional Programming using Haskell by one of the authors if you'd rather have examples in a particular programming language.

Nice thing about "continuous" math is that we have so many "standardised" tools in its toolbox, contrasted with "ad-hoc-edness" of discrete math. Hence interesting is solving discr…

You are right: https://blog.acolyer.org/2016/09/27/flexible-paxos-quorum-in... There is also sample code and TLA+ proofs: https://github.com/fpaxos/fpaxos-tlaplus

For me this shows the difference between theoretical setting and what you would want to do in practice. I have been following 6.824 (where this is sourced from), to learn something…

Loved the links to Sidney Dekker books: http://sidneydekker.com/books/ and Charles Perrow's excellent 'Normal Accidents' http://press.princeton.edu/titles/6596.html You might also …

Obligatory: go to http://www.catb.org/jargon/html/ and search for "Sussman attains enlightenment"

Yes, I have noticed. But thanks for the update again :) I think future is here, just it is not evenly distributed. But I really laugh when talking to someone who has just heard of …

Solved problem in Poland. Actually I usually laugh when I hear about "FinTech" startups struggling to deliver technology that is history here. mBank has been offering "instant" mon…

https://xkcd.com/386/ Disclaimer: I am an akka and akka-http community contributor. I don't know how this works for other projects. But I don't think the process is as painful as y…

"obsessive with thinness"? new MacBookPro - 14.9 mm MacBook - 13.0 mm Asus UX305 - 12.3 mm Samsung Series 9 900X3 - 13.0 mm I don't think we can call that obsession. And please not…

Features, yes, provided one has time to actually think of the protocol and express it in terms of some formalism (CSP, TLA+) to at least informally sketch a proof of major global p…

The biggest problem with FSMs (or generally actors, or more generally distributed systems, microservices, etc.) is that you get emergent complex global behaviours from seemingly si…