Pluralsight acquires Digital-Tutors:
This acquisition brings 1,500 of the highest quality creative courses to Pluralsight, doubling the size of our library to 3,000 courses.
Thursday, April 10, 2014
Thinking for Programmers - Leslie Lamport
Thinking for Programmers | Build 2014 | Channel 9:
"Leslie Lamport inventor of Paxos and developer of LaTeX introduces techniques and tools that help programmers think above the code level to determine what applications and services should do and ensure that they do it. Depending on the task, the appropriate tools can range from simple prose to formal, tool-checked models written in TLA+ or PlusCal (Algorithm Language)"
Using mathematical models to describe behaviors of programs.
For example, used for inspecting Amazon S3 and XBox 360,
and found real bugs, that could not be detected by testing.
The PlusCal Algorithm Language @ Microsoft Research
"Leslie Lamport inventor of Paxos and developer of LaTeX introduces techniques and tools that help programmers think above the code level to determine what applications and services should do and ensure that they do it. Depending on the task, the appropriate tools can range from simple prose to formal, tool-checked models written in TLA+ or PlusCal (Algorithm Language)"
Using mathematical models to describe behaviors of programs.
For example, used for inspecting Amazon S3 and XBox 360,
and found real bugs, that could not be detected by testing.
The PlusCal Algorithm Language @ Microsoft Research
P-Syntax while x > 0 do if y > 0 then y := y-1; x := x-1 else x := x-2 end if end while; print y; C-Syntax while (x > 0) { if (y > 0) { y := y-1; x := x-1 } else x := x-2 }; print y; F-Syntax :) while x > 0 if y > 0 y := y-1 x := x-1 else x := x-2 print y
7 year old about Programming (Hopscotch)
Twitter / fjsteele: My 7yo daughter captured the ...: by Fitzgerald Steele @fjsteele
I am teaching my daughter to code with Hopscotch - Fitzgerald Steele on the Hanselminutes Technology Podcast
Hopscotch - Coding for kids
- computers are really dumb, they only do what you tell them to do
- it's very hard
- has to be in right order
- can do many different things
- you always have to check your work
I am teaching my daughter to code with Hopscotch - Fitzgerald Steele on the Hanselminutes Technology Podcast
Hopscotch - Coding for kids
Save a PDF on iOS
Save a PDF from Safari: Apple Support Communities:
- Download a PDF reading app, like iBooks (free)
- When your PDF is displayed in Safari you can tap on the document and you'll have an option to "Open in ..." the PDF program.
- When it opens in iBooks, for example, it also saves a copy of the PDF on the bookshelf so that it is available without needing to go back to the website.
- Touch a PDF link to open the file in Chrome.
- Once the file is open, touch the screen to see an Open in button.
- Touch Open in to see other apps that you can use to open the PDF.
Subscribe to:
Posts (Atom)