Thomas Ekström Hansen
Thomas Ekström Hansen
Home
Recent posts
Experience
Accomplishments
Blog
Coursework
Light
Dark
Automatic
Posts
Hunting an Idris2 Codegen Bug
I accidentally discovered a bug in the Idris2 codegen. Let’s explore how to narrow it down, and hopefully fix it.
Thomas Ekström Hansen
Tue, 25 Apr 2023
Functional Programming Nomenclature Intro
A brief (ish) overview of common terminology and syntax used in FP, with the aim of getting you to think in words rather than weird symbols.
Thomas Ekström Hansen
Mon, 24 Apr 2023
Glove80 First Impressions
Glove80 is an ergonomic split contoured keyboard designed and produced by MoErgo. I backed the Kickstarter just over a year ago and got the parcels Friday afternoon. I haven’t yet had a chance to look at them, so without further ado, let’s see how it is!
Thomas Ekström Hansen
Sun, 26 Mar 2023
A month of Zen
I finally got around to configuring my tiny Corne-ish Zen r3 keyboard. This is a discussion of the advantages, challenges, ease-of-use, etc. of using a 42-key split keyboard. It’s definitely portable and very useable, but there are some caveats.
Thomas Ekström Hansen
Fri, 24 Mar 2023
Writing a PRNG using ChatGPT
What do you do if you need a pseudorandom number generator but don’t know anything about how to implement that and, crucially, don’t care how good it is? You
could
read some papers, but ChatGPT had been making waves for a while, so why not try that?
Thomas Ekström Hansen
Thu, 16 Mar 2023
Dai Station: an Idris Constraint Solver
If you are a CS4402 student at the University of St Andrews reading this for “inspiration” (or just a student in general, actually) remember to cite it! Table of Contents Intro The most important step: naming Starting point General idea Forward-Checking Arcs Pseudocode Main recursive function / starting-point Left-branching Right-branching Arc revision Wait a minute!
Thomas Ekström Hansen
Thu, 16 Feb 2023
Booting from a USB on an Odroid N2
If you’ve flashed an ISO to a USB-drive rather than the boot card of your SBC, is there any way to load the thing? Yes, but it requires a bit of digging around in a weird pre-boot environment…
Thomas Ekström Hansen
Thu, 15 Dec 2022
Earthquake near Basel!
Well that was wild! I was sitting in bed when it suddenly started wobbling from side to side. My first thought was that the fan had made it shake, but that didn’t really make sense in terms of the amount of shaking that was going on.
Thomas Ekström Hansen
Sat, 10 Sep 2022
Type You an Idris – Part 1: Warmup
The best way to learn & understand a thing is to implement it. So let’s implement (a subset) of Idris2! This part is an introduction and covers some function exercises that will help later.
Thomas Ekström Hansen
Fri, 2 Sep 2022
Applying for a UK EHIC
With Brexit, etc. health insurance when travelling has gotten a bit complicated and the application process is slightly confusing. So I thought I’d document my experience.
Thomas Ekström Hansen
Tue, 24 May 2022
»
Cite
×