Reading List

This page is auto-generated from Github Actions workflow that runs every day at night and fetches the 5 latest articles from each of my favorite blogs.

Monads in Lean

This post demonstrates how to use monads in the Lean programming language (Lean 4, to be specific). If you're not familiar with Lean, this part of the language is very similar to other functional programming languages, like Haskell or OCaml. Motivating example - evaluating expre...

Go 1.25.14-2 Microsoft build now available

Go 1.25 has been end-of-life since August 2026. This revision release backports a certificate revocation security fix, although the toolset is not supported or secure. The post Go 1.25.14-2 Microsoft build now available appeared first on Microsoft for Go Developers.

Go Turns 17

Happy Birthday, Go!

Inside PGO

In the previous article , we made Go code faster by changing how it computes. SIMD lets one CPU instruction work on several values at once, and the simd/archsimd and simd packages give Go access to it. Our dot product ran about 9 times faster, but the code got a lot harder to rea...

That Perl makes it easy to use hacks is a nice thing (and good)

The Go team explains Go's new JSON API

#​623 — November 6, 2026 Read the Web Version Go Weekly The Official Guide to encoding/json/v2 (and Migrating to It) — Now that encoding/json/v2 and jsontext are stable, the Go team has a refreshed introduction to how they work, incl...

The Problem Isn’t AI. It’s Lazy Creators

There is a clear backlash against software written by AI, from developers and consumers alike. The reality, however, is that most, if not all, software will be partly written by AI. It’s inevitable, and it would even be irresponsible not to use it. The problem isn’t using AI...

A new Go API for JSON

Go 1.27 introduces new encoding/json/v2 and encoding/json/jsontext packages.

How //go:embed Works: From Source Files to Binary

Since its release in Go 1.16 (2021), //go:embed has quickly proven to be one of the most loved features of the Go language. Russ Cox and Brad Fitzpatrick originally designed the feature in 2020 to embed files and directories into Go binaries using a go directive (more on what tha...