Just as algebra is fundamental to the whole of mathematics, algebraic data types (ADTs) are fundamental to many common functional programming languages. They’re the primitives upon which all of our richer data structures are built, including everything from sets, maps, and queues, to bloom filters and neural networks .
The end of semester is here and, as I grade our students semestral works, I get to use CMakeLists of dubious quality. After seeing the same errors repeat over and over again, I decided to write a short tutorial towards writing simple CMakeLists.
The Standard does not require that implementations define intptr_t nor uintptr_t. It also does not require that implementations define integer-to-pointer conversions in any meaningful fashion unless they define those types. Conforming implementations are certainly allowed to document some integer-to-pointer…
Web Components comprises a set of standards that enable user-defined HTML elements. These elements can go in all the same places as traditional HTML. Despite the long standardization process, the ...
Are you bored with programming? Why not teach it. It’s not enough to speak in mumbo jumbo such as polymorphism, multithreading, typescript, blah blah these words mean nothing to people who don’t know programming.
An Oracle to PostgreSQL migration in the AWS Cloud can be a complex multistage process with different technologies and skills involved, starting from the assessment stage to the cutover stage. This blog series covers the environment and configuration setups for your source Oracle database, the AWS Database Migration…
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
I sit next to a window at work. On sunny days it’s easier to see a light editor theme, and when the sky is dark, a dark theme is easier on my eyes. So I decided to try to have my MacBook automatically switch the Emacs theme based on readings from the ambient light sensor.
Targets web, native android, ios, and desktop!
TL;DR: Many badges were broken since they were using the shuttered pypip.in site. I wrote a bot that could fix these and automatically submit pull requests with the changes. And then I had my GitHub account suspended. Do not make automatic unsolicited pull requests. Disclaimer This post discusses the design...
Covers two Linux primitives that are not namespaced by the current set of Linux kernel namespaces.
React components that implement Google’s Material Design.
In a recent blog post , I talked about why every system that implements MVCC needs some scheme for removing old row versions, and how VACUUM...
Recent years showed the growth of technologies like wildfire. With the spread of COVID-19, most businesses started adopting cutting-edge technologies. Technology has been playing a very important role in both our personal and professional life. This has increased the demand for experienced and skilled IT professionals…
Recently I did a userspace implementation of the Host Identity Protokoll (HIPv2, RFC 7401) with the upcoming Diet Exchange (HIP DEX, IETF draft 6) . Doing so, I've learnt a lot about raw socktet programing under Linux and here I want to share a few things with you.
Lazarus Lazaridis’ personal blog with posts mostly related to programming and opensource. And cats.
One month till stable release!
Google Cloud is announcing a new Go 1.11 runtime for App Engine, with fewer limits on app structure.
Python allows for several different approaches to parallel processing. The main issue with parallelism is knowing its limitations. We either want to parallelise IO operations or …
Amazon Apps & Services Developer Portal
I’ve been looking for a decent TSDB for years now. Took a shot at writing one in Lush using HDF5 (as others have done), but the experiments I did raised more questions than I got answers. I&#…
Firstly, what exactly is CoreRT? From its GitHub repo .. a .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying .NET native compiler toolchain
One of my hobbies is to collect information about where curl is used. The following car brands feature devices, infotainment and/or navigation systems that use curl - in one or more of their models. These are all brands about which I've found information online (for example curl license information), received photos…
