5 ms·

"For a variety of reasons — none of them very good — this way of being safe lost out in the 60s in favor of allowing race conditions in imperative programming a

by IBCNU 8y ago

"For a variety of reasons — none of them very good — this way of being safe lost out in the 60s in favor of allowing race conditions in imperative programming and then trying to protect against them using terrible semaphores, etc which can lead to lock ups." - it would be great for you to lay those out! Also please tell us other Krautrock songs you dig!

blihp 8y ago
I think he's talking about David Reed's work: http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-205.pdf http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-20...
- scroot 8y ago
  For anyone reading this, Reed also worked with Kay on Croquet (an interesting project in its own right) which implemented this object-based idea of "time" via a framework called TeaTime [1]. You can try out Croquet for yourself in the latest version of Squeak -- see [2] [1] http://www.wetmachine.com/inventing-the-future/controlling-time-teatime/ http://www.wetmachine.com/inventing-the-future/controlling-t... [2] http://forum.world.st/ANN-Open-Croquet-for-Squeak-5-2-32bit-release-td5087739.html http://forum.world.st/ANN-Open-Croquet-for-Squeak-5-2-32bit-...
- jonahx 8y ago
  That link is broken, but archive.org has it: https://web.archive.org/web/20100713132640/http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-205.pdf https://web.archive.org/web/20100713132640/http://publicatio...
  - blihp 8y ago
    Odd, it worked for me yesterday. I wonder if someone noticed a traffic spike on that URL and said 'hmm, that/those page(s) shouldn't still be there'
infradig 8y ago
If you dig Can you'll also dig Neu!
espeed 8y ago
Sylvan Clebsch's [1] answer to this problem is designed into Pony [2], a high-performance lock free and data-race free actor-model language and runtime [3] based on a novel deny-capabilities model... Deny capabilities for safe, fast actors [pdf]: https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf Sylvan has since joined MSR Cambridge and is working on the distributed runtime. He's giving a talk at QCon London in March, and there are several talks on YouTube where he discusses the ideas he combined into Pony's design [4]. [1] https://github.com/sylvanc https://github.com/sylvanc [2] https://github.com/ponylang/ponyc https://github.com/ponylang/ponyc [3] https://www.ponylang.io/discover/#what-is-pony https://www.ponylang.io/discover/#what-is-pony [4] https://www.youtube.com/results?search_query=ponylang+sylvan https://www.youtube.com/results?search_query=ponylang+sylvan

by IBCNU 8y ago

blihp 8y ago

I think he's talking about David Reed's work: http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-205.pdf http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-20...

scroot 8y ago
For anyone reading this, Reed also worked with Kay on Croquet (an interesting project in its own right) which implemented this object-based idea of "time" via a framework called TeaTime [1]. You can try out Croquet for yourself in the latest version of Squeak -- see [2] [1] http://www.wetmachine.com/inventing-the-future/controlling-time-teatime/ http://www.wetmachine.com/inventing-the-future/controlling-t... [2] http://forum.world.st/ANN-Open-Croquet-for-Squeak-5-2-32bit-release-td5087739.html http://forum.world.st/ANN-Open-Croquet-for-Squeak-5-2-32bit-...
jonahx 8y ago
That link is broken, but archive.org has it: https://web.archive.org/web/20100713132640/http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-205.pdf https://web.archive.org/web/20100713132640/http://publicatio...
- blihp 8y ago
  Odd, it worked for me yesterday. I wonder if someone noticed a traffic spike on that URL and said 'hmm, that/those page(s) shouldn't still be there'

infradig 8y ago

If you dig Can you'll also dig Neu!

espeed 8y ago

Sylvan Clebsch's [1] answer to this problem is designed into Pony [2], a high-performance lock free and data-race free actor-model language and runtime [3] based on a novel deny-capabilities model... Deny capabilities for safe, fast actors [pdf]: https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf https://www.doc.ic.ac.uk/~scd/fast-cheap-AGERE.pdf Sylvan has since joined MSR Cambridge and is working on the distributed runtime. He's giving a talk at QCon London in March, and there are several talks on YouTube where he discusses the ideas he combined into Pony's design [4]. [1] https://github.com/sylvanc https://github.com/sylvanc [2] https://github.com/ponylang/ponyc https://github.com/ponylang/ponyc [3] https://www.ponylang.io/discover/#what-is-pony https://www.ponylang.io/discover/#what-is-pony [4] https://www.youtube.com/results?search_query=ponylang+sylvan https://www.youtube.com/results?search_query=ponylang+sylvan