Post Archives

C++ C++ standard Overload Sparrow abstract architecture brooks complexity computer science computing computruthing concurrency conference data-oriented-design decomposition design efficiency epistemology error handling exceptions exploration generalization ignorance immutability inheritance knowledge lemma linguistics meta metaphysics modifiability natuaralness naturalness oop patterns performance philosophy physics programming languages reasoning relativism senders/receivers software software engineering standardisation theory truthing type system video

C++

Senders/receivers in C++ — August 12, 2024
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

C++ standard

Senders/receivers in C++ — August 12, 2024

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

senders/receivers

Senders/receivers in C++ — August 12, 2024

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