Submissions by gmoes

What is Software Engineering?

What is Software Correctness?

A Brief and Incomplete History of Computing from Ancient to Modern

Dependently Typed Programming in Idris: A Demo by David Raymond Christiansen

Are Your Developers Treating Your Project as Their Own Personal Science Project?

Programming and Order Theory

The Math of the First Scala Assignment

Lattice Theory for Programmers and Non Computer Scientists

Why You Can’t Have a Real Software Engineering Discipline

A Survey of the Conventional Wisdom on Software Naming

Why You Can’t Have a Real Software Engineering Discipline

Why You Can’t Have a Real Software Engineering Discipline

Renaissance 2.0

Software System Morphology

What is Generic Programming?

Amazing Abstract Algebra: Groups and Rotations

The Coding Buzz

A Survey of the Conventional Wisdom on Software Naming

Are you sure that you are editing in two dimensions?

The Software Reuse Complexity Curve

O(log(n)) - logs for programmers

Abstract Algebra for Programmers: The String Monoid

Responding to "Eleven Equations" Comments, Math Notation, and More

Equations True Computer Science Geeks Should (at Least Pretend to) Know

Software Frameworks and Entropy