norootcause,
@norootcause@hachyderm.io avatar

I'm reading Lamport's new book "A Science of Concurrent Programs" and am amused that sometimes he refers to algorithms as being "invented" (e.g., Paxos) and at other times refers to them as being "discovered" (e.g. an N-process mutual exclusion algorithm).

https://lamport.azurewebsites.net/tla/science.pdf

norootcause,
@norootcause@hachyderm.io avatar

Also interesting to learn that he considers Oki & Liskov's viewstamped replication to be the same algorithm as Paxos!

palvaro,
@palvaro@discuss.systems avatar

@norootcause so but wait… Who invented it then

norootcause,
@norootcause@hachyderm.io avatar

@palvaro His claim is that it was invented independently (at least) twice.

palvaro,
@palvaro@discuss.systems avatar

@norootcause phil wadler (who is a similarly larger-than-life and rather absurd figure) is also obsessed with discovery vs. invention

norootcause,
@norootcause@hachyderm.io avatar

@palvaro Clearly we need more philosophy of computer science.

palvaro,
@palvaro@discuss.systems avatar

@norootcause computer science is a branch of philosophy

edyoung,
@edyoung@mastodon.online avatar

@palvaro @norootcause Software Engineering is a branch of janitorial science

cleeus,

@palvaro @norootcause computer science is applied philosophy

norootcause,
@norootcause@hachyderm.io avatar

@cleeus @palvaro I like to say that philosophers have the privilege of arguing endlessly over the nature of identity but at the end of the day the programmer has to implement the equals() method.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • anitta
  • DreamBathrooms
  • osvaldo12
  • mdbf
  • everett
  • magazineikmin
  • khanakhh
  • Youngstown
  • rosin
  • slotface
  • modclub
  • kavyap
  • tacticalgear
  • ngwrru68w68
  • JUstTest
  • thenastyranch
  • cisconetworking
  • Durango
  • ethstaker
  • InstantRegret
  • Leos
  • provamag3
  • GTA5RPClips
  • tester
  • cubers
  • megavids
  • normalnudes
  • lostlight
  • All magazines