Entropic Thoughts

Tags

Tags

ada

So You Think You Know Ada?

The Expressive Ada 2012 Challenge

Reading Notes: Guide for Ravenscar in High Integrity Systems

Selective Delays in SPARK and Ravenscar

Unicode Strings in Ada 2012

Timeout Blocking Requests in Ada

Guessing Game: Ada Style!

ai

Tagnostic: Determine Tag Quality

What Does an AI Revolution Look Like?

My Most Complicated Prompt So Far

q What do I title this article?

Troubles In Solving Uno

Word Embeddings in Perl: Baby Steps

Latent Semantic Analysis in Perl

algorithms

Bubble Sort Is Not Robust Either

The Vindication of Bubble Sort

Troubles In Solving Uno

Software and Orders of Magnitude

Outlier Detection

Huffman Codes – How Do They Work?

Optimise the Expensive First

Word Embeddings in Perl: Baby Steps

Latent Semantic Analysis in Perl

Purely Functional AVL Trees in Common Lisp

Intuition around NP-Hard and NP-Complete

Computing Science Dictionary

Top-down vs Bottom-up Programming

The AWK State Machine Parser Pattern

Reading Notes: Guide for Ravenscar in High Integrity Systems

Intuition for Time Complexity of Algorithms

Myth of the Day: Functional Programmers Don’t Use Loops

awk

Grep, sed and awk – The Right Tool For The Job

The AWK State Machine Parser Pattern

c

Reading Notes: MPI and Message Passing Concurrency

The Expressive Ada 2012 Challenge

On Competing with C Using Haskell

Using withPtr From inline-c in Haskell

The Mystery of the Deterministic Super Shotgun

css

Draw a Tree Structure With Only CSS

design

Map of Pontypandy in Fireman Sam

Browser-Based XmR Charts

How Not To Collect Data

Fun With Watercolours

Painting Shapes, Not Details

Variable Width Unicode Fallback Fonts in Emacs

Emacs Calendar with Fixed Width Font

Rethinking Text Input on Touch Screens

Fallback Font, Good Fonts and a General Font Recommendation

Fake Bold Small Caps in XeLaTeX with Fontspec

The Weekly Pure Bullet Journal

A Maze of Storage Cages

The Bug in the Physical Building

The Joy of Manipulation

Draw a Tree Structure With Only CSS

dotnet

.NET on Linux: What a Contrast

Standard Exception Hierarchy in .NET Core

.NET on Non-Windows Platforms: A Brief History

economy

Book Review: Savage Money

Continuous Kelly Trainer: Ship Investor 2

Binary Kelly Trainer: Ship Investor Game

Free Banking Monopoly

The Curse of Capital Management

Markets vs. Politics and Organisational Structure

The Misunderstood Kelly Criterion

Limited Investment With Timeboxing

Precel: Like Excel but for Uncertain Values

Share Buybacks Are Indirect Investments

Central Banks Do Not Rule By Decree

Verifiable Software Development Estimations

Trading Functionality For Time

emacs

Opening any CLI in Emacs

Long Hiatus: Emacs Upgrades

Centered Cursor Mode in Vanilla Emacs

Emacs Calc – Evaluate Expression For Multiple Values

Migrating Away From Use-Package

Emacs Magic: Simple Pastebin

Ceasing Short-Lived Maintenance of Emacs Versor

Why You Should Buy Into the Emacs Platform

Variable Width Unicode Fallback Fonts in Emacs

Emacs Calendar with Fixed Width Font

Emacs for Humans: Glossary

New and Improved: Two-Wrongs Now Powered By Org Mode

On Escape Meta Alt Control Shift

forecasting

Quarterly Cup 2024 Q3 Retrospective

Incident Inference From Symptoms

ACX 2024 Prediction Contest Halfway Review

Forecasting ADIZ Violations

Quarterly Cup 2024 Q1 Retrospective

Static Actor–Motivation Forecasting: Peace in Middle East

War – What is it Good For?

Steady-State Actor–Motivation Forecasting

Improving a Gut Feeling Forecast

Quarterly Cup 2023 Q4 Retrospective

Estimating Standard Deviation From Timeseries

First Impressions of Manifold

Know Your Uncertainty

Bet On the Outcome of the Poker Experiment!

Poker is Surprisingly Generous

Forecasting Mistakes: Dow Jones Barrier

Retrospective: Metaculus Quarterly Cup

Update On Antarctic Sea Ice

The Compound Poisson Process

It Takes Long to Become Gaussian

Forecasting Covid-19 Variants

Reducing Measurement Error

Forecasting Antarctic Sea Ice

Forecasting Accuracy

First Impressions of Metaculus

Who Was On The Winning Team?

Precel: Like Excel but for Uncertain Values

Three Customers In A Bank

Predicting Resource Usage From Increased Traffic

Verifiable Software Development Estimations

Bayes Rule in Odds Form

Guess ≠ Prediction ≠ Bet

Survival Analysis For Customer Retention

games

Continuous Kelly Trainer: Ship Investor 2

Binary Kelly Trainer: Ship Investor Game

Troubles In Solving Uno

Free Banking Monopoly

Bet On the Outcome of the Poker Experiment!

Computing Poker Win Rate From Sessions

Poker is Surprisingly Generous

Maximum of Two Dice

The Unreasonable Effectiveness of Conditional Probabilities

Update On the Sidescrolling Flight Simulator

Sidescrolling Flight Simulator

The Mystery of the Deterministic Super Shotgun

A Year of Baduk

haskell

Types as Interfaces

A Gentle Introduction to Monad Transformers

On Competing with C Using Haskell

Extendable Data in Haskell (part 2)

Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?

My Experience Using Yesod for a “Quick Hack”

Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivity

Parser Combinators: Parsing for Haskell Beginners

Using withPtr From inline-c in Haskell

A Haskell Time Library Tutorial

Static Generation with Haskell

Statically Generated Blog

The Case for Controlled Side Effects

Web Scraping with Lenses

How Laziness Works

The “What Are Monads?” Fallacy

javascript

Intrusive Unit Testing

Update Bound Data Without Replacing It in D3

Why Web Apps Disappoint Me

learning

Using Nix to Try Tools

So You Think You Know Ada?

How Often Does a Child Get Sick?

Code Reviews Do Find Bugs

Traffic Flow Fundamentals Flashcards

ACX 2024 Prediction Contest Halfway Review

Continuous Kelly Trainer: Ship Investor 2

Binary Kelly Trainer: Ship Investor Game

Getting Better at Counter-Strike

Inventing Fisher’s Exact Test

Fermi, Majorana and Mental Maths

When Is a Counter-Strike Player Good?

Programming Apprenticeships

War – What is it Good For?

First Impressions of Manifold

Know Your Uncertainty

Lessons From Evolution

Forecasting Mistakes: Dow Jones Barrier

The Hypothesis of the Fair Coin

Sensitivity Counts Against You

Intuition and Spaced Repetition

Reducing Measurement Error

Retrospective Prompts

Black Swans in a Permacrisis

Forecasting Accuracy

First Impressions of Metaculus

A3: Avoid Memos With An Agenda

Reading Slightly More Incrementally

Abduction is Not Induction

Early Adventures in Spaced Repetition

Mind the Gap When Learning

Difficult Questions From Children

Validate Your Skill

Frequentism And False Dichotomies

Historic Mistakes: Carriers And Presses

Evolution Preserves the Status Quo

Confusing Uncertainty For Information

Hovering a Helicopter

Poor Man’s Logistic Regression

Problem, Learning, and Information

Build vs. Buy

life

Using Nix to Try Tools

Book Review: Savage Money

Announcing Engineering Enigmas

Enhanced Session with Fedora 40 in Hyper-V

No Feedback ∴ No Good

Happy Petrov Day 2024

How Often Does a Child Get Sick?

My Most Complicated Prompt So Far

The Vindication of Bubble Sort

Traffic Flow Fundamentals Flashcards

q What do I title this article?

Student Resampled His t Distribution

Publish Your Observations!

Washing Machine Energy Estimations

Continuous Kelly Trainer: Ship Investor 2

Binary Kelly Trainer: Ship Investor Game

Map of Pontypandy in Fireman Sam

Troubles In Solving Uno

Keep a Safe Following Distance

Neat Inventions

Inventing Fisher’s Exact Test

Fermi, Majorana and Mental Maths

When Is a Counter-Strike Player Good?

Why Donate to Charity

Free Banking Monopoly

Browser-Based XmR Charts

Quarterly Cup 2024 Q1 Retrospective

The Curse of Capital Management

Static Actor–Motivation Forecasting: Peace in Middle East

War – What is it Good For?

Markets vs. Politics and Organisational Structure

Quarterly Cup 2023 Q4 Retrospective

Outlier Detection

First Impressions of Manifold

Lessons From Evolution

Bet On the Outcome of the Poker Experiment!

Binary Finger Counting

Poker is Surprisingly Generous

FlowRatio: Work Sampling Made Easy

Sensitivity Counts Against You

Intuition and Spaced Repetition

The Misunderstood Kelly Criterion

Relevance Under Uncertainty

Trying A More Vanilla Fedora

Fun With Watercolours

Forecasting Accuracy

First Impressions of Metaculus

The Unreasonable Effectiveness of Conditional Probabilities

Reading Slightly More Incrementally

Painting Shapes, Not Details

Who Was On The Winning Team?

Abduction is Not Induction

Learning Some Logarithms

Precel: Like Excel but for Uncertain Values

Early Adventures in Spaced Repetition

What Is Probability?

Update On the Sidescrolling Flight Simulator

Sidescrolling Flight Simulator

Difficult Questions From Children

Validate Your Skill

The Secret of Meritocracy

Emptying the Dishwasher With Systems Theory

Hovering a Helicopter

Statistical Process Control: A Practitioner’s Guide

Guess ≠ Prediction ≠ Bet

Essay Recommendation: On Having Enough Socks

Matrix Is Everything I Want IRC To Be

Swedish Colemak Hack

Pet Peeve: Tea, Tannins and Strength

Reasons To Like Stockholm: Water

Sensor and Controller Chip in “Roxcore 720p” Action Camera

Bayesian Statistics

Pairing Debian Laptop with Bluetooth Headphones

Basic Computer Security: Things I Want to Explore

Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivity

Connecting to KTH Eduroam on Debian Stretch

Why Cyclists Use Public Roads

Starting to Commute by Bicycle

rtorrent missing from Homebrew on El Capitan

The Weekly Pure Bullet Journal

Is Learning Shorthand for Personal Note-taking Worth It?

Learning to Say No to Myself

Melins system, övning och demonstration

Why I’m Learning Shorthand

The Joy of Manipulation

Monospaced Code Formatting in Skype

RecordMyDesktop Videos Going out of Sync

A Year of Baduk

Text Selection Behaves as Swipe in WeeChat

Debian Linux On My Asus Transformer Book Flip (TP300LA)

Resize Video While Keeping Quality High with FFmpeg

Calculator in Spotlight Not Doing Simple Arithmetic?

lisp

Debugging Common Lisp in Slime

Purely Functional AVL Trees in Common Lisp

Migrating Away From Use-Package

Emacs Magic: Simple Pastebin

management

Why Story Points Don’t Work

Laws of Software Evolution

Black Swans in a Permacrisis

Limited Investment With Timeboxing

Tindall On Software Delays

Handoff Waste and Taylorism

Parallel Agile: Interesting Idea – Does It Work?

The Reinforcing Nature of Toil

Central Banks Do Not Rule By Decree

Programmers and Non-Coding Work

Sampling For Managers

Statistical Process Control: A Practitioner’s Guide

Estimating Work Lag

The Hidden Cost of Heroics

Build vs. Buy

maths

Probability-Generating Functions

Failing at Combinatorics with Haskell

Who Was On The Winning Team?

Learning Some Logarithms

Birthday Line Puzzle

What Is Probability?

Verifiable Software Development Estimations

Sampling For Managers

Bootstrapping Kaplan–Meier Survival Curves

Survival Analysis For Customer Retention

Emacs Calc – Evaluate Expression For Multiple Values

Bayesian Statistics

meta

Tagnostic: Determine Tag Quality

Launching a Much-Requested Newsletter

Entropic Thoughts: New Name for Two-Wrongs

Word Embeddings in Perl: Baby Steps

Latent Semantic Analysis in Perl

Update On the Sidescrolling Flight Simulator

Sidescrolling Flight Simulator

Long Hiatus: Emacs Upgrades

Blogging With R and ggplot2 in Org

New and Improved: Two-Wrongs Now Powered By Org Mode

Fallback Font, Good Fonts and a General Font Recommendation

Static Generation with Haskell

Statically Generated Blog

organisations

Why Story Points Don’t Work

The Parking Lot Drill

Browser-Based XmR Charts

Laws of Software Evolution

The Curse of Capital Management

How Not To Collect Data

Retrospective Prompts

Black Swans in a Permacrisis

A3: Avoid Memos With An Agenda

Tindall On Software Delays

Handoff Waste and Taylorism

Scales of Plan-Driven Development

Parallel Agile: Interesting Idea – Does It Work?

Precel: Like Excel but for Uncertain Values

Mind the Gap When Learning

Historic Mistakes: Carriers And Presses

The Secret of Meritocracy

Share Buybacks Are Indirect Investments

Central Banks Do Not Rule By Decree

Stop Saying “Junior” And “Senior”

Emptying the Dishwasher With Systems Theory

Programmers and Non-Coding Work

Group Decision-Making and Debate

The Hidden Cost of Heroics

Why Code Review Matters: Suble (Often Non-Breaking) Bugs

perl

Opening any CLI in Emacs

Tagnostic: Determine Tag Quality

Intrusive Unit Testing

Useful Uses of cat

Custom TCP Test Harness in Perl

Optimise the Expensive First

Word Embeddings in Perl: Baby Steps

Latent Semantic Analysis in Perl

Why Perl?

Event Sourcing and Microservices – Unix Style

The AWK State Machine Parser Pattern

photography

Reasons To Like Stockholm: Water

Sensor and Controller Chip in “Roxcore 720p” Action Camera

Darkroom Chemistry and Photograms

The Joy of Manipulation

Developing B&W Film at Home

Does My DSLR Have Dead Pixels?

The Case for Shooting in Manual Mode

Painting with Light

practices

Code Reviews Do Find Bugs

Why Story Points Don’t Work

Publish Your Observations!

Programming Apprenticeships

Retrospective Prompts

Limited Investment With Timeboxing

A3: Avoid Memos With An Agenda

Tindall On Software Delays

Scales of Plan-Driven Development

Parallel Agile: Interesting Idea – Does It Work?

Mind the Gap When Learning

The Reinforcing Nature of Toil

You Can (Somewhat) Reliably Measure Change Failure Rate

Group Decision-Making and Debate

Trading Functionality For Time

The Hidden Cost of Heroics

Code Review Checklist, Second Edition

Why Code Review Matters: Suble (Often Non-Breaking) Bugs

product_development

The Parking Lot Drill

Laws of Software Evolution

Extreme Value Statistical Process Control

Common Mistakes in Modularisation

John the Toolmaker

Lessons From Evolution

System Observability: Metrics, Sampling, and Tracing

Relevance Under Uncertainty

Tindall On Software Delays

Handoff Waste and Taylorism

Parallel Agile: Interesting Idea – Does It Work?

Evolution Preserves the Status Quo

Confusing Uncertainty For Information

Verifiable Software Development Estimations

Trading Functionality For Time

Screenwriting and Software Development

The Hidden Cost of Heroics

Build vs. Buy

programming

Practices of Reliable Software Design

Opening any CLI in Emacs

Reading Notes: MPI and Message Passing Concurrency

Code Reviews Do Find Bugs

Python Programmers’ Experience

Types as Interfaces

The Vindication of Bubble Sort

Troubles In Solving Uno

Failing at Combinatorics with Haskell

Generating Almost Normally Distributed Values

Programming Apprenticeships

Intrusive Unit Testing

Deliberate Abstraction

Common Mistakes in Modularisation

Useful Uses of cat

Software and Orders of Magnitude

.NET on Linux: What a Contrast

John the Toolmaker

The Expressivity Limitations of Object-Oriented Programming

Custom TCP Test Harness in Perl

Okay, Microservices Have Benefits Too

Getting Used To Microservices

Response Time Is the System Talking

Optimise the Expensive First

Why Perl?

Event Sourcing and Microservices – Unix Style

Abduction is Not Induction

Data Consistency Is Overrated

Default To Large Modules

Screenwriting and Software Development

Reuse Begets Coupling

Essay Recommendation: On Having Enough Socks

Emacs Calc – Evaluate Expression For Multiple Values

Standard Exception Hierarchy in .NET Core

.NET on Non-Windows Platforms: A Brief History

Code Review Checklist, Second Edition

Purely Functional AVL Trees in Common Lisp

Technical Writing: Learning from Kernighan

Update Bound Data Without Replacing It in D3

The Expressive Ada 2012 Challenge

Computing Science Dictionary

Blogging With R and ggplot2 in Org

Top-down vs Bottom-up Programming

Emacs Magic: Simple Pastebin

Grep, sed and awk – The Right Tool For The Job

The AWK State Machine Parser Pattern

On Competing with C Using Haskell

Extendable Data in Haskell (part 2)

Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?

Reading Notes: Guide for Ravenscar in High Integrity Systems

Selective Delays in SPARK and Ravenscar

Unicode Strings in Ada 2012

Timeout Blocking Requests in Ada

Guessing Game: Ada Style!

Intuition for Time Complexity of Algorithms

My Experience Using Yesod for a “Quick Hack”

Pomohoro: Combine the Pomodoro Technique with hledger and Timeclock for Productivity

The Bug in the Physical Building

Using withPtr From inline-c in Haskell

Bubble Sort: Not Even Once

A Haskell Time Library Tutorial

Static Generation with Haskell

Statically Generated Blog

The Case for Controlled Side Effects

The Mystery of the Deterministic Super Shotgun

Web Scraping with Lenses

How Laziness Works

Parser Combinators

Fast SQL for Inheritance in a Django Hierarchy

Documentation: Reference Manual vs. Cookbook

Why Web Apps Disappoint Me

How Much Does an Experienced Programmer Use Google

The “What Are Monads?” Fallacy

Move Translations Between Django Apps

Myth of the Day: Functional Programmers Don’t Use Loops

Discoverability of Functions in Functional Languages

What Optimisations Are Not

Why Code Review Matters: Suble (Often Non-Breaking) Bugs

Say What You Mean, Not What Happens to Work

Crash-Only Software on the Desktop, Please

python

Move Translations Between Django Apps

reading

Book Review: Savage Money

Reading Notes: MPI and Message Passing Concurrency

Student Resampled His t Distribution

Publish Your Observations!

Fermi, Majorana and Mental Maths

Reading Slightly More Incrementally

Group Decision-Making and Debate

Reading Notes: Accelerated Expertise

Essay Recommendation: On Having Enough Socks

Technical Writing: Learning from Kernighan

Reading Notes: Understanding Nginx Location Selection

Reading Notes: Guide for Ravenscar in High Integrity Systems

science

Build Failure Rate from Build Times

Code Reviews Do Find Bugs

Student Resampled His t Distribution

Publish Your Observations!

Fermi, Majorana and Mental Maths

Sensitivity Counts Against You

Reducing Measurement Error

Abduction is Not Induction

Mind the Gap When Learning

Validate Your Skill

Frequentism And False Dichotomies

Blogging With R and ggplot2 in Org

security

Migrating From iptables To nftables – Link Collection

Temporarily Disabling iptables

Passwordless sudo

Securing a Debian Laptop with a Firewall

Secure DNS on Laptop with Debian

Basic Firewall Configuration (iptables)

Basic Computer Security: Things I Want to Explore

Gmail Passwords Trusted, Yet Not Trusted

shorthand

Is Learning Shorthand for Personal Note-taking Worth It?

Systemet i Melins system

Melins system, övning och demonstration

Why I’m Learning Shorthand

sql

Fast SQL for Inheritance in a Django Hierarchy

statistics

The Sample Size Curve

Build Failure Rate from Build Times

The Lying p Value

Probability-Generating Functions

Incident Inference From Symptoms

How Often Does a Child Get Sick?

Python Programmers’ Experience

Sample Unit Engineering

Student Resampled His t Distribution

Continuous Kelly Trainer: Ship Investor 2

Binary Kelly Trainer: Ship Investor Game

Getting Better at Counter-Strike

Inventing Fisher’s Exact Test

Generating Almost Normally Distributed Values

Forecasting ADIZ Violations

When Is a Counter-Strike Player Good?

Browser-Based XmR Charts

Quarterly Cup 2024 Q1 Retrospective

Extreme Value Statistical Process Control

Quarterly Cup 2023 Q4 Retrospective

Outlier Detection

Estimating Standard Deviation From Timeseries

First Impressions of Manifold

Know Your Uncertainty

Bet On the Outcome of the Poker Experiment!

Computing Poker Win Rate From Sessions

Poker is Surprisingly Generous

How Not To Collect Data

Huffman Codes – How Do They Work?

Forecasting Mistakes: Dow Jones Barrier

FlowRatio: Work Sampling Made Easy

The Hypothesis of the Fair Coin

Sensitivity Counts Against You

Retrospective: Metaculus Quarterly Cup

Intuition and Spaced Repetition

The Misunderstood Kelly Criterion

Update On Antarctic Sea Ice

Response Time Is the System Talking

The Compound Poisson Process

It Takes Long to Become Gaussian

Forecasting Covid-19 Variants

Reducing Measurement Error

Statistician’s Time Series Hack

Forecasting Antarctic Sea Ice

Maximum of Two Dice

Forecasting Accuracy

First Impressions of Metaculus

Word Embeddings in Perl: Baby Steps

Latent Semantic Analysis in Perl

The Unreasonable Effectiveness of Conditional Probabilities

Who Was On The Winning Team?

Precel: Like Excel but for Uncertain Values

Birthday Line Puzzle

What Is Probability?

Frequentism And False Dichotomies

Three Customers In A Bank

Emptying the Dishwasher With Systems Theory

Predicting Resource Usage From Increased Traffic

You Can (Somewhat) Reliably Measure Change Failure Rate

Verifiable Software Development Estimations

Sampling For Managers

Statistical Process Control: A Practitioner’s Guide

Queueing Systems 2: Percentiles and Simulation

Markov Chains for Queueing Systems

Bootstrapping Kaplan–Meier Survival Curves

Dichotomisation Destroys Data

Poor Man’s Logistic Regression

Quick Variance Computation

Estimating Work Lag

Bayes Rule in Odds Form

Survival Analysis For Customer Retention

swedish

Systemet i Melins system

Melins system, övning och demonstration

Why I’m Learning Shorthand

sysadmin

Incident Inference From Symptoms

Enhanced Session with Fedora 40 in Hyper-V

Useful Uses of cat

SI Units for Request Rate

System Observability: Metrics, Sampling, and Tracing

The Reinforcing Nature of Toil

Predicting Resource Usage From Increased Traffic

Reading Notes: Understanding Nginx Location Selection

Passwordless sudo

Basic Firewall Configuration (iptables)

Basic Computer Security: Things I Want to Explore

rsync.net

A Checklist for Renewing GPG Subkeys

Redirect Every Subdomain to the Same Subdomain on a Different Host with Nginx

IMAP/SMTP port numbers for Google mail

An Update a Week Keeps the Hackers Away

technology

Using Nix to Try Tools

Opening any CLI in Emacs

Enhanced Session with Fedora 40 in Hyper-V

Typing Fast Is About Latency, Not Throughput

Central Banks Do Not Rule By Decree

Rethinking Text Input on Touch Screens

tp300la

Withdrawn: False Alarm About the TP300LA

Asus TP300LA After Three Years: Battery Trouble

Display Backlight Keys on TP300LA

Pairing Debian Laptop with Bluetooth Headphones

The Touchpad On the Asus TP300LA

Debian Linux On the Asus TP300LA, Bad News #1

Debian Linux On My Asus Transformer Book Flip (TP300LA)

unix

Event Sourcing and Microservices – Unix Style

Touchpad Pointer Speed in Xorg on Debian Linux

Display Backlight Keys on TP300LA

vim

On Escape Meta Alt Control Shift

Reasons to Know Vim – It’s Similar to ed

Custom Surrounding Text with surround.vim

Email Quoting with Vim Visual Block Mode

writing

Typing Fast Is About Latency, Not Throughput

Screenwriting and Software Development

Technical Writing: Learning from Kernighan

Blogging With R and ggplot2 in Org

Is Learning Shorthand for Personal Note-taking Worth It?

Statically Generated Blog

Documentation: Reference Manual vs. Cookbook