Click here to Skip to main content
15,867,568 members

Welcome to the Lounge

   

For discussing anything related to a software developer's life but is not for programming questions. Got a programming question?

The Lounge is rated Safe For Work. If you're about to post something inappropriate for a shared office environment, then don't post it. No ads, no abuse, and no programming questions. Trolling, (political, climate, religious or whatever) will result in your account being removed.

 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Sander Rossel26-Oct-20 11:54
professionalSander Rossel26-Oct-20 11:54 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
honey the codewitch26-Oct-20 13:12
mvahoney the codewitch26-Oct-20 13:12 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Sander Rossel27-Oct-20 2:04
professionalSander Rossel27-Oct-20 2:04 
GeneralMessage Closed Pin
27-Oct-20 8:13
BernardIE531727-Oct-20 8:13 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Sander Rossel27-Oct-20 8:15
professionalSander Rossel27-Oct-20 8:15 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Jon McKee26-Oct-20 13:07
professionalJon McKee26-Oct-20 13:07 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Sander Rossel27-Oct-20 4:04
professionalSander Rossel27-Oct-20 4:04 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Jon McKee27-Oct-20 13:13
professionalJon McKee27-Oct-20 13:13 
Haha, I haven't read anything else by Dr. Lamport but this book was excellent. I feel like this topic (discrete representations of software systems including liveness, safety, and fairness properties) is one of those topics where in 10 years there will be some testing framework that will allow you to verify code against a specification which has itself been mathematically verified for correctness.

There are some companies that have already used this concept for products (CosmosDB) but as far as I'm aware it requires manual verification of code against a spec which is tedious and time-consuming.

AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Amarnath S26-Oct-20 14:53
professionalAmarnath S26-Oct-20 14:53 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
honey the codewitch26-Oct-20 15:15
mvahoney the codewitch26-Oct-20 15:15 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Gerry Schmitz26-Oct-20 15:08
mveGerry Schmitz26-Oct-20 15:08 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Stepan Hakobyan26-Oct-20 20:55
professionalStepan Hakobyan26-Oct-20 20:55 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Jacquers26-Oct-20 19:48
Jacquers26-Oct-20 19:48 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Kornfeld Eliyahu Peter26-Oct-20 20:54
professionalKornfeld Eliyahu Peter26-Oct-20 20:54 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
Gerry Schmitz27-Oct-20 5:26
mveGerry Schmitz27-Oct-20 5:26 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
M.Vo.26-Oct-20 21:16
M.Vo.26-Oct-20 21:16 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
jhaga26-Oct-20 23:15
professionaljhaga26-Oct-20 23:15 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Andrew Leeder27-Oct-20 0:45
Andrew Leeder27-Oct-20 0:45 
GeneralRe: Do you have a favorite programming book and if so, what is it? Pin
  Forogar  27-Oct-20 3:50
professional  Forogar  27-Oct-20 3:50 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Martin ISDN27-Oct-20 2:58
Martin ISDN27-Oct-20 2:58 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
obermd27-Oct-20 3:09
obermd27-Oct-20 3:09 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
Dan Neely27-Oct-20 4:02
Dan Neely27-Oct-20 4:02 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
gervacleto27-Oct-20 4:14
professionalgervacleto27-Oct-20 4:14 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
henrin27-Oct-20 5:08
henrin27-Oct-20 5:08 
AnswerRe: Do you have a favorite programming book and if so, what is it? Pin
sasadler27-Oct-20 5:46
sasadler27-Oct-20 5:46 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.