Lessons Learned from Shenzhen I/O | Probably Dance edit / delete

... which is a game about programming microcontrollers -- relating this to the real world.

to games microcontroller software-engineering teaching ... on 26 February

Mid-2016 Tor bug retrospective, with lessons for future coding | The Tor Blog edit / delete

"I recently did an informal review of our major bugs from the last few years. ... My goals were to see if we're right in our understanding of what causes bugs in Tor, and what approaches to avoid bugs and limit their impact would be most effective."

to bug security software-engineering tor ... on 06 December 2016

"though I would consider the requirements for writing really secure software qui... | Hacker News edit / delete

Links to some projects doing secure software engineering in practice.

to security software-engineering ... on 06 December 2016

Clean Coder Blog edit / delete

Mutation testing: testing your test suite by systematically introducing faults and seeing whether it picks them up. Nice.

to bugs mutation-testing software-engineering testing ... on 28 August 2016

Long Names Are Long – journal.stuffwithstuff.com edit / delete

Advice on short variable names. (This is basically the same as the Google style guide suggests, which shouldn't be surprising given the author works at Google...)

to ag0700 naming software-engineering ... on 28 August 2016

Notes on concurrency bugs edit / delete

A couple of studies (now a few years old) looking at what kinds of concurrency bugs show up in real software.

to concurrency correctness debugging software-engineering ... on 28 August 2016

Semantic Versioning 2.0.0 edit / delete

An excellent specification of the approach to version numbering used by many free software projects.

to release software software-engineering version ... on 21 June 2016

Static vs. dynamic languages: a literature review edit / delete

Metastudy of the effectiveness of static typing. Well worth reading. "The summary of the summary is that most studies find very small effects, if any. However, the studies probably don’t cover contexts you’re actually interested in"

to language-design research software-engineering type-systems ... on 28 February 2016

The Six Dumbest Ideas in Computer Security edit / delete

Probably best viewed as starting points for discussion...

to design philosophy security software-engineering ... on 31 December 2015

A successful Git branching model » nvie.com edit / delete

Nothing especially novel about the model, but this is a nice explanation with diagrams.

to ag0700 branching git software-engineering version-control ... on 03 May 2015

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom