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.
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"
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…
"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…
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.
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"
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…
"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…