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 https://actyx.com/ .
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…
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 is…
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 discrete problems with "continuous" tools -…
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 about distributed systems programming…
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 want to read Diane Vaughn's 'Challenger…
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 this new exciting London or SV Fintech…
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…
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 world. My…
"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…
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…
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…
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 https://actyx.com/ .
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…
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…
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…
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 is…
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 discrete problems with "continuous" tools -…
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 about distributed systems programming…
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 want to read Diane Vaughn's 'Challenger…
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 this new exciting London or SV Fintech…
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…
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 world. My…
"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…
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…
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…