Post Archives

C++

Executors: a Change of Perspective — October 5, 2021
C++ Executors: the Good, the Bad, and Some Examples — August 6, 2021
Designing Concurrent C++ Applications — July 10, 2021
Composition and Decomposition of Task Systems — April 13, 2021
Threads Considered Harmful — April 12, 2021
A Case Against Blind Use of C++ Parallel Algorithms — February 8, 2021
Modern dining philosophers — December 28, 2018
Look ma, no locks — November 18, 2018
Beyond the type system — June 17, 2018
Exceptional exploration (2) — April 21, 2018
Exceptional exploration (1) — March 18, 2018

Overload

Programming Language Unlimited — December 8, 2021
Executors: a Change of Perspective — October 5, 2021
C++ Executors: the Good, the Bad, and Some Examples — August 6, 2021
How We (Don’t) Reason About Code — June 10, 2021
Composition and Decomposition of Task Systems — April 13, 2021
A Case Against Blind Use of C++ Parallel Algorithms — February 8, 2021
Questions on the Form of Software — December 29, 2020
Concurrency Design Patterns — October 19, 2020
The Global Lockdown of Locks — August 6, 2020
Refocusing Amdahl's Law — June 5, 2020
Deconstructing Inheritance — April 5, 2020
OOP Is not Essential — October 20, 2019

Sparrow

Programming Language Unlimited — December 8, 2021
Designing Sparrow's type system — July 8, 2018

abstract

Golden mean in software engineering — January 19, 2019

architecture

Turtles All the way Down! — October 3, 2020

brooks

OOP Is not Essential — October 20, 2019

complexity

Questions on the Form of Software — December 29, 2020

computer science

On Computing and Truthing — December 3, 2017

computing

On Computing and Truthing — December 3, 2017

computruthing

Why do we need to go meta? — December 17, 2017

concurrency

Executors: a Change of Perspective — October 5, 2021
C++ Executors: the Good, the Bad, and Some Examples — August 6, 2021
Designing Concurrent C++ Applications — July 10, 2021
Composition and Decomposition of Task Systems — April 13, 2021
Threads Considered Harmful — April 12, 2021
A Case Against Blind Use of C++ Parallel Algorithms — February 8, 2021
Concurrency Design Patterns — October 19, 2020
The Global Lockdown of Locks — August 6, 2020
Refocusing Amdahl's Law — June 5, 2020
How many threads? — October 28, 2019
Tasks, threads, and execution — March 16, 2019
Modern dining philosophers — December 28, 2018
Look ma, no locks — November 18, 2018
Threads are not the answer — September 2, 2018

conference

Deconstructing Inheritance — December 13, 2021
Designing Concurrent C++ Applications — July 10, 2021
Threads Considered Harmful — April 12, 2021

data-oriented-design

In the search of CPU free lunch; a DOD perspective — January 28, 2018
Data-Oriented Design and efficiency — January 4, 2018

decomposition

Turtles All the way Down! — October 3, 2020
OOP Is not Essential — October 20, 2019

design

Designing Concurrent C++ Applications — July 10, 2021
How We (Don’t) Reason About Code — June 10, 2021
Composition and Decomposition of Task Systems — April 13, 2021
Threads Considered Harmful — April 12, 2021
Concurrency Design Patterns — October 19, 2020
Turtles All the way Down! — October 3, 2020
The Global Lockdown of Locks — August 6, 2020
Clean code != well engineered — February 16, 2019
Golden mean in software engineering — January 19, 2019

efficiency

Designing Sparrow's type system — July 8, 2018
Beyond the type system — June 17, 2018
Exceptional exploration (1) — March 18, 2018
In the search of CPU free lunch; a DOD perspective — January 28, 2018
Data-Oriented Design and efficiency — January 4, 2018

epistemology

On Computing and Truthing — December 3, 2017

error handling

Exceptional exploration (2) — April 21, 2018
Exceptional exploration (1) — March 18, 2018

exceptions

Exceptional exploration (2) — April 21, 2018
Exceptional exploration (1) — March 18, 2018

exploration

In the search of CPU free lunch; a DOD perspective — January 28, 2018

generalization

Why do we need to go meta? — December 17, 2017

ignorance

Why do we need to go meta? — December 17, 2017

immutability

Designing Sparrow's type system — July 8, 2018

inheritance

Deconstructing Inheritance — December 13, 2021
Deconstructing Inheritance — April 5, 2020

knowledge

On Computing and Truthing — December 3, 2017

lemma

Golden mean in software engineering — January 19, 2019

linguistics

Programming Language Unlimited — December 8, 2021

meta

OOP Is not Essential — October 20, 2019
Do repeat yourself — July 9, 2019
Why do we need to go meta? — December 17, 2017

metaphysics

Why do we need to go meta? — December 17, 2017

modifiability

Do repeat yourself — July 9, 2019
Clean code != well engineered — February 16, 2019
Modern dining philosophers — December 28, 2018
Look ma, no locks — November 18, 2018
Threads are not the answer — September 2, 2018
Exceptional exploration (2) — April 21, 2018

natuaralness

Clean code != well engineered — February 16, 2019
Golden mean in software engineering — January 19, 2019

naturalness

Designing Sparrow's type system — July 8, 2018

oop

Deconstructing Inheritance — December 13, 2021
Deconstructing Inheritance — April 5, 2020
OOP Is not Essential — October 20, 2019

patterns

Concurrency Design Patterns — October 19, 2020

performance

Refocusing Amdahl's Law — June 5, 2020
How many threads? — October 28, 2019
Tasks, threads, and execution — March 16, 2019
Look ma, no locks — November 18, 2018
Threads are not the answer — September 2, 2018

philosophy

Questions on the Form of Software — December 29, 2020
Deconstructing Inheritance — April 5, 2020

physics

Why do we need to go meta? — December 17, 2017

programming languages

Programming Language Unlimited — December 8, 2021

reasoning

How We (Don’t) Reason About Code — June 10, 2021

relativism

On Computing and Truthing — December 3, 2017

software

Turtles All the way Down! — October 3, 2020

software engineering

Deconstructing Inheritance — December 13, 2021
Questions on the Form of Software — December 29, 2020
Deconstructing Inheritance — April 5, 2020
OOP Is not Essential — October 20, 2019
Do repeat yourself — July 9, 2019
Clean code != well engineered — February 16, 2019
Golden mean in software engineering — January 19, 2019

standardisation

Executors: a Change of Perspective — October 5, 2021
C++ Executors: the Good, the Bad, and Some Examples — August 6, 2021

theory

Golden mean in software engineering — January 19, 2019

truthing

On Computing and Truthing — December 3, 2017

type system

Designing Sparrow's type system — July 8, 2018
Beyond the type system — June 17, 2018

video

Deconstructing Inheritance — December 13, 2021
Designing Concurrent C++ Applications — July 10, 2021
Threads Considered Harmful — April 12, 2021