So the other day I both defined Tcl procedures all by myself and used them interactively, and I liked it, to the point where it felt like some kind of local optimum. This entry is an attempt to cope with the trauma of liking Tcl, by means of rationalizing it. I'll first tell the story of my fascinating adventures, and…
Let’s start the week with Lambda Expressions. The plan is to have a set of concise articles presenting core elements of lambda expressions. Today you can see how the syntax has evolved starting since C++11 and what are the latest changes in C++20. The Series This blog post is a part of the series on lambdas:
I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf arguments.
Parts 1 and 2 are found here and here
Today, I wanted to see if I could out-compile my C compiler. I added a hand-compiled assembly version of echo from our previous coding exercise and added a new make target, make asm , that will assemble it. Let's look at our hand-compiled assembly and compare it to our C compiler and ask whether or not it was worth it.
The Stack Overflow blog recently published Modern IDEs are magic. Why are so many coders still using Vim and Emacs? Posts about Vim vs Emacs vs IDEs are...
I’d originally planned to write on this particular topic in response to increasing outreach to me personally, through my blog and other places, unsolicited, and independently from multiple communit…
TL;DR: CPS-conversion and defunctionalization can help you to come up with a constant-stack algorithm.
Discovering one of the pillars of C++ generic programming.
Programming, retrogaming, hacking and computer stuff.
Learn about Wayland and Ubuntu Touch on PinePhone... And how we build PinePhone Apps with LVGL
It is thought that the wheel was invented more than five thousand years ago, yet modern machine learning tools were only developed in the past few decade...
Yesterday, I read a phenomenal paper on how disruption free release at Facebook.
What a query-based compiler is and what they are good for.
As discussed in the January blog roadmap , I want to concretely describe a reduced Oil language , and see if we can get it "done" in 2020.
The chart classifies programming paradigms according to their kernel languages. Kernel languages are ordered according to the creative extension principle: a new concept is added when it cannot be encoded with only local transformations. Two languages that implement the same paradigm can nevertheless have very…
Sketches of an interactive arithmetic for programming by Glen Chiacchieri.
(Written in July 1999 for www.linuxworld.com ; permanently installed now in Web Tools Review )
Modern OpenGL, and by extension WebGL, is very different from the legacy OpenGL I learned in the past. I understand how rasterization works, so I’m comfortable with the concepts. However, every tutorial I’ve read introduced abstractions and helper functions that make it harder for me to understand which parts are…
In the previous post we have written code to change the amplitude of wave files. Now we’ll take a look at how we can turn a mono wave file into a stereo wave file with optional panning, and explore how this is represented internally by the WAVE file format. Channels The raw audio data inside a WAVE file consists of…
And lessons learnt
This is the second in an indefinite series of posts about things that I think went well in the Sorbet project. The previous one covered our testing approach. Sorbet is fast. Numerous of our early users commented specifically on how fast it was, and how much they appreciated this speed. Our informal benchmarks on…
This is somewhat of a followup to my post on Lua integration from a few days ago.
How is your startup sharing knowledge with the rest of your team?We’ve been using slack’s #general or #random channels to make announcements.We regularly post documents and PPTs in slack channels s...
This is the absolute best guide you'll find in the internet about how php handles typing internally and in userland.
This is an “intro packet” you can use to argue for the benefits of formal methods (FM) to your boss. It’s a short explanation, a list of benefits and case studies, and a demo. Everything’s in TLA+, but the arguments apply equally well to Alloy, B, statecharts, etc. Adapt the material to your specific needs. Quick…
