formal methods

You are currently browsing articles tagged formal methods.

Links for 11 August 2009 through 14 August 2009

13 August 2009 in Daily Links by del.icio.us | No comments

Stilgherrian’s links for 11 August 2009 through 14 August 2009, gathered with care and lightly dusted with sugar:

Formal Methods in Modern Critical-Software Development | The Abnormal Distribution: I needed an explanation of Formal Methods in programming, and this one ain’t bad.
Telstra admits to exchange access deception | iTnews.com.au: It turns out that, yes, Telstra did tell other ISPs there was no room in their exchanges for their broadband equipment, when there was.
Narrate Your Work | Scripting News: Dave Winer nails it. “Twitter is at least a dress rehearsal for the news system of the future.” His catchphrase “Narrate Your Work” resonates with me: that’s precisely how I use Twitter, and it’s a sensible work practice for any distributed team.
Are you still marketing like its 1999? | Media Hunter: Online is now your customer’s “number one media priority”, because they spend more time online than with newspapers or TV or radio. Is it yours?
On Language – How Fail Went From Verb to Interjection | NYTimes.com: An excellent summary of the history of FAIL.

Recent Articles

Talking Twitter for idea-generation on ABC Local Radio

26 May 2012 in Conversations, Human Nature, Internet, Media

I must admit, this one threw me a bit. Last Sunday ABC Radio presenter James O’Loughlin wanted to know whether he should start using Twitter because “having to tweet” might help him generate ideas. I thought he was looking at Twitter from the wrong angle. If he used Twitter it’s not that he had to [...]
iSpy: Talking total surveillance at Sydney Writers’ Festival

26 May 2012 in Conversations, Internet, Marketing, Personal, Politics, Privacy

Here’s the complete audio recording of last weekend’s panel discussion iSpy at the Sydney Writer’s Festival with Tommy Tudehope, me and moderator Marc Fennell. Even before Google controversially demolished the privacy walls between its various products, we were already living in the total surveillance society. With every keystroke we are voluntarily telling companies, governments and [...]
Transcript: Hacking and irrational actors in Redfern

26 May 2012 in Conversations, Internet, Politics

Back in February I spoke at the “Freedom of Information? panel held in Redfern by Recordkeeping Roundtable. I’ve previously posted the audio of my contribution. Here’s a transcript. Recordkeeping Roundtable’s website has the raw transcript as supplied, but I’ve decided to edit it up a little to make it more readable. Enjoy.
Weekly Wrap 102: Infosec and interference

21 May 2012 in Weekly Wrap

My week from Monday 14 to Sunday 20 May 2012 was mostly about the AusCERT information security conference and a blur of returning pain thanks to my dodgy shoulder. As I finish compiling this post, I’ve still got lots of AusCERT material to produce and Monday looks like being intense. So let’s just list everything [...]
Video: 5 Conference Tips for PR Professionals

19 May 2012 in Business, Internet, Marketing

On the way back from the AusCERT 2012 information security conference this afternoon I found myself stranded at Gold Coast airport for a couple hours, exhausted. What better, then, than an impromptu video explaining how public relations operatives can improve the way they interact with journalists at these events. This video was shot with a [...]

Subscribe to feed

Powered by WordPress and Tarski