posixgnulinux · @posixgnulinux
0 followers · 10 posts · Server fosstodon.orgI enjoyed this talk, when I saw it recently on yt:
Little things and big things: lessons for building large systems. Peter van Roy
https://www.youtube.com/watch?v=h8sE3Ai8Dsk
#programming #systems #distributed #determinism #nondeterminism #softwaredesign #functionalprogramming
#programming #systems #distributed #determinism #nondeterminism #softwaredesign #functionalprogramming
nope · @stacked_automation
127 followers · 6600 posts · Server mastodon.socialCausality in Commonsense Reasoning about Actions
(1997) : McCain, Norman Clayton
url: https://www.cs.utexas.edu/ftp/techreports/tr97-25.pdf
#action #causality #concurrency #dissertation #logic #nondeterminism #reasoning #satisfiability_planning
#my_bibtex
#action #causality #concurrency #dissertation #logic #nondeterminism #reasoning #satisfiability_planning #my_bibtex