1 |
Between a rock and a crazy place |
text |
2 |
Parametric context Go's Context.Value is controversial because of a lack of type-safety. I design a solution for that based on the new generics design draft. 2020-07-20 #programming #golang |
text |
3 |
A bird's eye view of Go I provide a very high-level overview of what Go-the-language means vs. Go-the-ecosystem vs. Go-an-implementation. I also try to provide specific references to what doc***entation is most useful for what purpose. 2019-06-12 #programming #golang |
text |
4 |
Using roughtime as a "cryptographic notary" Roughtime can be (ab)used for Trusted Timestamping. I wrote a simple tool as a PoC 2018-10-18 #programming #golang #crypto |
text |
5 |
Sc****ping contracts I describe a way to simplify the generics design. The ideas are not particularly novel and have been expressed to various degrees by other people as well. I hope to provide a more complete view of the design though. 2018-09-05 #programming #golang |
text |
6 |
Why doesn't Go have variance in its type system? I explain what co-, contra- and invariance are and what the implications for Go's type system would be. In particular, why it's impossible to have variance in slices. 2018-06-03 #programming #golang |
text |
7 |
Persistent datastructures with Go I present a couple of patterns that help modelling persistent datastructures in Go. I also apply them to three examples. 2018-02-25 #programming #golang |
text |
8 |
What even is error handling? I philosophize about error handling, what it actually means and how to characterize Go's approach to it. 2018-01-21 #thoughtleading #programming #golang |
text |
9 |
Generating entropy without imports in Go I come up with a couple of useless, but entertaining ways to generate entropy without relying on any packages. 2018-01-15 #programming #golang |
text |
10 |
Monads are just monoids in the category of endofunctors I explain the mathematical background of a joke-explanation of monads. Contains lots of math and a hasty introduction to category theory 2018-01-08 #programming #math #haskell |
text |
11 |
My case for veganism I make a case for veganism and why you probably already agree with all the reasons you should be vegan. And how I wish people would reframe the topic, to make it less contentious, emotional and, frankly, annoying. 2018-01-02 #veganism #personal |
text |
12 |
A day in the life of an Omnivore I take a toung-in-cheek look at how I imagine the life of a meat eater to look. At least based on my own experience. 2017-10-20 #veganism #personal |
text |
13 |
Diminis***ng returns of static typing When talking about static type systems, we often tend to focus on one side of the equation. I'm trying to make explicit how I view the question as a tradeoff and why I neither agree with “more is always better”, nor with “a little is enough”. 2017-09-12 #programming #golang |
text |
14 |
Gendered Marbles Some marbles, apparently, have a gender. And they seem to be overwhelmingly male. 2017-09-05 |
text |
15 |
Why context.Value matters and how to improve it In light of recent discussions about its removal, I try to discuss what kinds of problems context.Value tries to solve. I then try to describe a design which would address most (but not all) of the criticism surrounding it. 2017-08-14 #programming #golang |
text |
16 |
What I want from a logging API Logging in Go is a notoriously lacking topic in the standard library. There are 3rd-party libraries trying to work around this. I'm trying to explain, why I find them still lacking 2017-08-06 #programming #golang |
text |
17 |
The trouble with optional interfaces I take a look at the pattern of optional interfaces in Go: what they are used for, why they are bad and what we can do about it. 2017-07-30 #programming #golang |
text |
18 |
Using Hilbert Curves to 100% Zelda Using math, I made it a lot easier to find the last undiscovered parts of my Zelda - Breath Of The Wild map. 2017-07-22 #zelda #programming #math #games |
text |
19 |
How to not use an http-router in go Trying to provide some advice on how to do easy, readable, scalable routing in go, without relying on any muxers/routers (or writing your own). 2017-06-18 #programming #golang |
text |
20 |
I've been diagnosed with ADHD I've been diagnosed with ADHD. I ramble incoherently for a while and I might do some less rambling posts about it in the future. 2016-08-31 #personal |
text |
21 |
Backwards compatibility in go There are next to no "backwards compatible API changes" in go. You should explicitely name your compatibility-guarantees. 2015-07-29 #programming #golang |
text |
22 |
Lazy evaluation in go I did lazy evaluation in go. 2015-07-17 #programming #golang |
text |
23 |
SQL authentication timing side-channels It is surprisingly hard to make SQL-based authentication immune to timing side-channels, if you want to prevent enumeration of users. 2015-04-13 #programming |
text |
24 |
The four things I miss about go A short list of four things that I might want to add to go (but probably wouldn't). 2014-09-12 #programming #golang |
text |
25 |
Applying permutation in constant space (and linear time) A mildly interesting algorithmic problem and my solution to it. 2014-08-12 #programming #golang |
text |
26 |
GPN14 GameJam - Crazy cat lady We made a gamejam-game. 2014-06-22 #programming |
text |
27 |
Python-fnord of the day An unexpected behavior of python that surprised me today. 2014-05-06 #python #programming |
text |
28 |
Heartbleed: New certificates Updating my TLS-certificates due to Heartbleed. 2014-04-10 #meta |
text |
29 |
go stacktraces A small pattern to add stacktraces to errors. 2014-02-19 #programming #golang |
text |
30 |
Signed blog posts I sign my blog posts. 2014-01-23 #meta #crypto |
text |
31 |
Incentives in education I hate software-engineering as it is teached in Heidelberg. Really. 2013-12-16 #education |
text |
32 |
ext4: Mysterious “No space left on device”-errors ext4 has a feature called dir_index enabled by default, which is quite susceptible to hash-collisions 2013-10-20 #linux |
text |
33 |
Using i3 and vim to keep a set of notes at hand Put a terminal with a vim-instance in an i3-scratchpad, combine it with autosave-when-idle and you got the perfect note keeping workflow." 2013-10-20 #linux |
text |
34 |
Tic Tac Toe AI I wrote a simple Tic Tac Toe AI as an exercise. You can get it on github. 2013-10-19 #programming |
text |
35 |
Inject Environment variables into running processes Using gdb to manip****te a running process is fun and just the right amount of danger to be exiting 2013-10-11 #linux |
text |
36 |
How to C-Golf We had a cod****lf challenge recently. My C-solution was 246 byte, the perl-winner was 191. I decided to give notes for C-golf beginners. 2013-10-11 #programming #C |
text |
37 |
New PGP Key 2013-10-03 #meta #crypto |
text |
38 |
Lazy blogging with jekyll I put up a small script to automate creating blog-posts in jekyll 2013-09-28 #programming #meta |
text |
39 |
First-year introductory course for programming I gave a very introductory programming course and saw once again how the basic ideas underlying the modernization of teaching just work when implemented right. 2013-09-28 #programming #education |
text |
40 |
Relaunch The (n+1)th launch of my blog 2013-09-28 #meta |
text |
41 |
Impressum |
text |