14 March 2023

55 links · Tuesday

Le Jargon Web3 expliqué - Doumer's Blog

Nous avons tous entendu parler du bitcoin, d’Ethereum, de Solana, etc. Mais quand quelqu’un dit qu’il possède un bitcoin, ou il vous dit j’ai retiré mes crypto-monnaies de la blockchain vers mon portefeuille, comment ces crypto-monnaies sont-elles représentées…

Metaprogramming in Lean

A post giving an overview of metaprogramming in Lean. There is of course a book on Metaprogramming in Lean, consider this an introductory chapter that I felt I...

Plan Your Day

Keeping a daily todo-list is really quite sufficient for having a productive life. But recently I’ve added a daily planner to my routine to supplement my task list.

Mathsteroids on hyperbolic surfaces

A circle of radius \(r\) on a piece of paper can be thought of as a line through all the points on the paper that are a distance \(r\) from the centre of the circle. The length of this line (ie the circumference) is \(2\pi r\).

Rationale behind wardleyToGo

wardleyToGo is a library and a language to describe Wardley Maps as code/data. This is the rationale behind this library

What would it be like if Italo Calvino and Sun Tzu explained refactoring?

The day has flown by quickly, and I have a headache. I spent the day refactoring the code. Refactoring is not a simple task - there are many things to keep in mind and many things to discover along the way. Now is the time to relax and reread a beautiful book …

A Chat with GPT-4: The River Riddle

Can GPT-4 answer the timeless question: How can you safely transport a lion, cabbage, and goat across a river using a boat that can only carry one item at a time?

All the Things We Do Not Know About SVB - The Big Picture

  The news broke Sunday afternoon that depositors would be made whole and would have full access to their accounts and money today; equity investors in the bank would take their losses and senior management are fired. Whatever is left over (if anything) we’ll …

My experiments with doing things daily

In 2017, I started running experiments to see what happens if I do specific things on a daily basis, and over hundreds of days. All of this started with an experiment in making music for 365 days in a row. The reason I started doing these experiments is becau…

Rewiewing is a Contract

It is a beautiful day outside, but I do not feel my usual chipper self. Huddled in my robe, juiced up on some tea, I nevertheless start doing my third emergency review for one of the largest machine learning conferences. And I am not the only one. A good frien…

Jonas Hietala: Battling burnout

Once again, I’m finding myself trying to recover from burnout, and after about a year I’m finally feeling more like myself.

Humans Are Not Turing Machines

One criticism of current LLMs is that they can’t reliably do sophisticated math or logic problems out of the box that humans seem to be capable of. In essence, while humans are Turing-complete, today’s LLMs are not. But wait… are humans even Turing-complete? …

Thoughts on Electricity Storage

Energy storage – both home-scale and utility-scale – has become more relevant as the use of renewable energy for electricity generation proliferates. It is particularly topical recently, as the Inflation Reduction Act includes tax credits specifically targetin…

Eye4Fraud

We recently experienced a cybersecurity incident where a backup file that related to certain customers and contained limited information was subject to unauthorized access. We moved to …

Announcing .NET 8 Preview 2 - .NET Blog

.NET 8 Preview 2 contains a few updates/new features from Preview 1, including introspection support for function pointers, as well as some other runtime and libraries improvements.

LINQ // Skip and Take

Skip and Take are used for pagination or limit the number of elements returned by a query. Since C# 8 you can use Take with a Range. Let's see some examples.

Friday Pi Day - Rebecca Black [Spoof]

Of course by now you know of Rebecca Black making her infamous debut with Friday, but what about Pi Day?How come Fridays get so much more love? Friday usuall...

System.Text.Json Serializing Hierarchical Data

The System.Text.Json serializer that was introduced with .NET Core 3.0 gets new features with every new .NET version. With .NET 7, features such as type hieararchies, contract customization, and so…

Using the Builder Design Pattern in .NET

Discover how to use the Builder pattern in C#/.NET to create more maintainable and flexible code. Learn implementation tips and answers to FAQs in this comprehensive guide. Improve your .NET development skills and create reusable code today.

Boosting password security! Pwned Passwords, zxcvbn, and more!

As we're constantly working to improve Report URI, time is not always spent on new features and bug fixes. We always want to offer the most secure service we can and recently, we made some upgrades that will help our users keep their accounts more secure! …

Bring the ChatGPT model into our applications

In the first two posts of this series we have developed an Outlook add-in that, using the Open AI models, helps users to generate professional business mails starting from a simple sentence. In the first post, we achieved this goal by directly using the OpenAI…

Confidence from Facade Tests

Recycling an old neologism of mine, I try to illustrate a point about the epistemology of testing function composition.

Observed No. 9 - SLIs vs SLOs vs SLAs

The 9th edition of Observed explains the differences between Service Level Indicators, Service Level Objectives and Service Level Agreements