Adding IPv6 to My Home Network (2024-11-03)

code.jeremyevans.net

Background So there I was, going through life without giving a second thought to IPv6. IPv4 worked fine for me, and why change what isn’t broken, right? Well, sometimes life changes, and you start work for a new company, and … Read more

Adding row polymorphism to Damas-Hindley-Milner

bernsteinbear.com
adding-row-polymorphism-to-damas-hindley-milner

Intro to HM Damas-Hindley-Milner (HM) is a type system for Standard ML and the ML-family languages. River and I wrote about it earlier this month. Check out that post if you would like an introduction or refresher. In this post, … Read more

Adding syntax to the CPython interpreter

leontrolski.github.io
adding-syntax-to-the-cpython-interpreter

leontrolski – adding Python syntax ⇦ 2024-10-17 Condensed version of this cool blog post. Let’s add some new syntax to Python! Making a small change is not so hard. Our aim is to make ternary statements default to None as … Read more

Adding 16 KB Page Size to Android

android-developers.googleblog.com
adding-16-kb-page-size-to-android

Posted by Steven Moreland – Staff Software Engineer, Sandeep Patil – Principal Software Engineer A page is the granularity at which an operating system manages memory. Most CPUs today support a 4 KB page size and so the Android OS … Read more

PEP 730 – Adding iOS as a supported platform

peps.python.org
pep-730-–-adding-ios-as-a-supported-platform

Development landscape iOS provides a single API, but 2 distinct ABIs – iphoneos (physical devices), and iphonesimulator. Each of these ABIs can be provided on multiple CPU architectures. At time of writing, Apple officially supports arm64 on the device ABI, … Read more

Adding Systemd to PostmarketOS

postmarketos.org
adding-systemd-to-postmarketos

March 05, 2024 7 min. read You heard it here first folks: systemd is coming to postmarketOS! As a mobile oriented OS, our main goal has always been to work for everyone. From technical folks to casual users. postmarketOS should … Read more