27 May 2023

31 links · Saturday

Fourier_Drawing

I really like Picasso's studies of abstraction, in which he reduces a complex subject to its simplest representation which retains recognizability. The Bull is probably the most famous example, but all of his line drawings are interesting studies of abstractio…

Using Nix with Dockerfiles

Nix is a powerful cross-platform package management tool. The benefits of Nix are far reaching, but one big benefit is that once you adopt Nix, you can get a consistent environment across development (on both Linux and Mac), CI, and production.

A Neighborhood With Friends – Tynan.com

When I first moved to Vegas, it was mostly an accident. I bought a condo because I couldn’t pass up the deal, and during the process of renovating it I fell in love with the city and eventually came to the point where I couldn’t imagine living anywhere else. I…

Building a baseline JIT for Lua automatically

This is the Part 2 of a series. Feel free to read the prequel for more context: Building the fastest Lua interpreter automatically Building a good VM for a dynamic language takes a ton of engineerin

Early thoughts on marketing from a developer

I am a developer and have built several products in the past. As creatives, we have the power to make incredible things, to solve our own problems and to turn ideas into reality. A common mistake made by developers building products though is that they never …

Are They a Customer?

In my work with entrepreneurs, it’s not unusual to spend a substantial amount of time discussing who the customer for the product in question.  Yes, spending so much time on such a foundationa…

Using F* to Formally Verify Programs

Formal methods are currently not widely embraced due to theirperceived difficulty. However, the landscape is changing with theemergence of new technologies that make formal methods more accessiblethan ever before. F*, developed by Microsoft Research, is agroun…

The Nix Thesis

I read and summarised The Purely Functional Software Deployment Model by Eelco Dolstra

Finding your weak spots

In 2018, I was coasting. I didn’t like it. Life was good, I was steadily employed as a senior developer. We had a good team. We were building valuable software for our customers. Everything seemed great. But I’d been coasting for a few years. I believed I coul…

You Are Already There

I’ve been fighting my whole life. I always wanted to move forward, to get somewhere. Once I pass that exam, everything will be ok. Once I get my degree, I’ll be fulfilled and happy. Once I get enough money, my life will be great. I was always looking forward t…

#07 Awesome .NET MAUI - Maui.DataGrid

DataGrid library for .NET MAUI applications.https://github.com/akgulebubekir/Maui.DataGridBecome a channel member to enjoy benefits and access more content.h...

Build a CI/CD Pipeline With GitHub Actions And .NET

Do you want to streamline your software development process and accelerate your release cycles? Imagine being able to automatically build, test, and deploy your .NET applications with every code change. With CI/CD, you can significantly reduce manual effort a…

How to improve memory allocation when using StackExchange.Redis

Hello, if your code depends on Redis caching and you are using StackExchange.Redis as your middleware for reading and writing, this article may be useful for you. If you have used the methods made available by the library, you would notice that in mo...

.NET at Microsoft Build 2023

All of the .NET sessions from Microsoft Build 2023 including microservices, C#, ASP.NET Core, .NET MAUI, cloud native, and so much more!

Git Merge – The Definitive Guide

By reading this post, you are going to really understand git merge, one of the most common operations you'll perform in your Git repositories. Notes before we start 1. I also created two videos covering the contents of this post. If you wish to watch