greptilian logo

IRC log for #sourcefu, 2014-05-20

http://sourcefu.com

| Channels | #sourcefu index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time S Nick Message
01:06 tumdedum joined #sourcefu
03:00 searchbot joined #sourcefu
04:55 aditsu joined #sourcefu
05:56 aditsu joined #sourcefu
07:34 sulky_ joined #sourcefu
07:39 aditsu joined #sourcefu
11:47 pdurbin this was really good: Episode 203: Leslie Lamport on Distributed Systems : Software Engineering Radio - http://www.se-radio.net/2014/04/episode-203-leslie-lamport-on-distributed-systems/
11:48 * pdurbin downloads a talk linked from there: Thinking for Programmers | Build 2014 | Channel 9 - http://channel9.msdn.com/Events/Build/2014/3-642
11:51 pdurbin the TLA+ thing he talks about is interesting
11:51 pdurbin hard to find a good summary
11:51 pdurbin "TLA+ is based on the idea that the best way to describe things formally is with simple mathematics, and that a specification language should contain as little as possible beyond what is needed to write simple mathematics precisely. TLA+ is especially well suited for writing high-level specifications of concurrent and distributed systems."
11:52 pdurbin http://research.microsoft.com/en-us/um/people/lamport/tla/tla-intro.html
11:52 pdurbin he contrasts it with UML, and explains how it's better than UML
11:53 pdurbin that basically the UML folks came up with a bunch of syntax first
11:53 pdurbin his approach is to focus on the semantics first
12:27 pdurbin ok, I just posted a bit more on this: [TechTalkFollowup] UML vs. TLA+ - https://lists.iq.harvard.edu/pipermail/techtalkfollowup/2014-May/000019.html
13:58 aditsu joined #sourcefu
14:50 aditsu joined #sourcefu
18:55 pdurbin whoa. crazy scroll forever in a circle thing: http://unfold.no
18:56 pdurbin via http://shoptalkshow.com/episodes/112-tim-murtaugh/

| Channels | #sourcefu index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

http://sourcefu.com