gosubpl

6 ms·

1.
by gosubpl 7y ago
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 Borde
2.
by gosubpl 7y ago
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 https://actyx.com/ .
3.
by gosubpl 8y ago
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 our society. Creating factory software is excee
4.
by gosubpl 8y ago
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 our society. Creating factory software is excee
5.
by gosubpl 8y ago
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 our society. Creating factory software is excee
6.
by gosubpl 8y ago
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 various names, because Intellicad itself i
7.
by gosubpl 9y ago
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.
8.
by gosubpl 9y ago
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 discrete problems with "contin
9.
by gosubpl 10y ago
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
10.
by gosubpl 10y ago
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 about distributed systems programming and it was great fun
11.
by gosubpl 10y ago
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 w
12.
by gosubpl 10y ago
Obligatory: go to http://www.catb.org/jargon/html/ and search for "Sussman attains enlightenment"
13.
by gosubpl 10y ago
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 this new exciting London or SV Fintech startup and learns th
14.
by gosubpl 10y ago
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" money transfer for purchases for the last 1
15.
by gosubpl 10y ago
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 you describe in the akka worl
16.
by gosubpl 10y ago
"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 note that both Asus and Samsung have keyboards w
17.
by gosubpl 10y ago
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 properties. Or do some extensive testing ( https://
18.
by gosubpl 10y ago
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 simple actor rules. There are two excellent talks on that by T