Latest Posts (20 found)
hyPiRion 1 months ago

Use Python for Scripting!

"Use the right tool" is nice in theory, but not when the tool acts a bit differently from machine to machine, and isn't always installed.

programming Programming python Python
1 views
hyPiRion 1 years ago

Making Code Generators Pleasant to Use

I feel that code generators for communication protocols are a chore to use. Let's see why that's the case, and how we can improve them.

programming Programming ai AI
0 views
hyPiRion 1 years ago

Getting OCaml Through the Eye of a Needle

Let's see why OCaml isn't user friendly for web services at the moment, and how we can fix that.

backend Backend Ocaml
0 views
hyPiRion 1 years ago

Implementing System-Versioned Tables in Postgres

There's no official support for system-versioned tables in Postgres yet, and the temporal extensions aren't supported on Azure/AWS/GCP. Let's implement it ourselves with 3 triggers and an index.

tutorial Tutorial database Database PostgreSQL
0 views
hyPiRion 2 years ago

Haunting Down Errors in Go

Phantom types won't revolutionise your Go debugging experience, but it can make it slightly better! Here's one way they can help out.

programming Programming testing Testing go Go
0 views
hyPiRion 2 years ago

Go-stly Access Rights

With phantom types, we can make a static access control system in Go that will detect errors and act as easy-to-read documentation. Here's how you do it.

security Security go Go tutorial Tutorial
0 views
hyPiRion 2 years ago

Spectral Contexts in Go

Go has phantom types, and we can use them to attach singletons to contexts. Here is a short post on how to do just that.

programming Programming
0 views
hyPiRion 2 years ago

GraphQL and Type Systems

Like Go, GraphQL isn't at the forefront of type theory. Let's look at what I miss and whether it would be sensible to add them to the specification.

api API GraphQL programming Programming
0 views
hyPiRion 3 years ago

On Expectations and Fun

A blog usually has its style and shape, and your visitors expects that to continue on. But what do you do if you both want to keep that expectation while also making posts in a completely diferent style?

writing Writing
0 views
hyPiRion 3 years ago

Smaller Static Sites with New Formats

Your static site is probably small enough already, but here are some tricks to make the fonts and images even smaller. I cover the things I do with fonts, as well as some utility scripts I use with Jekyll to automate the entire "convert to all the different formats"-problem new formats cause (as one needs to deal with backwards compatibility).

frontend Frontend performance Performance web Web
0 views
hyPiRion 4 years ago

Type-Safe HTTP Servers in Go via Generics

When generics comes out, here's a possible way to use it for typed HTTP servers in Go. As a bonus, there's a short "rant" about how the implementation causes functional programming to be hard.

go Go programming Programming backend Backend
0 views
hyPiRion 6 years ago

Row Polymorphism In Go?!

A thought experiment on how one could add row polymorphism to Go.

go Go programming Programming
0 views
hyPiRion 7 years ago

Wibbly Wobbly, Timey Wimey

Whoever assumed asymptotic complexity to be easy has not considered to test it in the real world.

programming Programming performance Performance
0 views
hyPiRion 8 years ago

Lock Files Are Not the Only Option

If you want to make a package manager, think before jumping straight to lock files.

programming Programming devops DevOps
0 views
hyPiRion 9 years ago

From Transducers to Conduits and Back Again

By realising that transducers are conduits in disguise, we can create a transducer interface that is much easier to use than the current one.

programming Programming
0 views