loudgolem phanirithvij

Android Developer Verification Discourse

On August 25, 2025 Google published a blog that starting in 2026, Android will require all apps to be registered by verified developers in order to be installed by users on certified Android devices. This applies to all apps installed from outside the Google PlayStore from either third part app stores like F-Droid, or directly from sites via browsers/file manager apps. Publishing apps on Google PlayStore already has had these same requirements since July 12, 2023. The verification requirements for all apps will engage for Brazil, Indonesia, Singapore and Thailand in September 2026 and engage globally in 2027 and beyond.

There has been lot of noise and backlash regarding the new requirements since then. Malware being deployed both outside and from PlayStore is a big issue and is obviously a cause for concern and a legitimate reason for how developer verification can help reduce it,

This is based on nixpkgs commit 862277ac9d34273cd953f42061e23d488d6b7e8b.

The resulting image is less than 25 MiB compressed.

The actual crosslink closure got shrunk from ~180 MiB to ~60 MiB just by using beam_minimal rather than beam as the base set in beams.nix!

Hexagonal Architecture

Conceptualized by Alistair Cockburn. Also known as "Ports and Adapters".

In a nutshell:

Application Driver -> Primary Adapter -> Primary Port -> Use Case -> Secondary Port -> Secondary Adapter -> External System/Side Effect

Install Termux, an Android terminal emulator that provides a Linux execution environment and various tools.
Update system packages in Termux:
```
$ pkg update -y
```

Programming as Theory Building

Peter Naur

Peter Naur's classic 1985 essay "Programming as Theory Building" argues that a program is not its source code. A program is a shared mental construct (he uses the word theory) that lives in the minds of the people who work on it. If you lose the people, you lose the program. The code is merely a written representation of the program, and it's lossy, so you can't reconstruct

	/*
	Once in the VM, you will also need to setup pacman's keyring, which you can do with the following:

	```
	curl -Lo archlinux-keyring.tar.zst https://archlinux.org/packages/core/any/archlinux-keyring/download
	tar -xf archlinux-keyring.tar.zst
	sudo pacman-key --init
	sudo pacman-key --populate --populate-from usr/share/pacman/keyrings/
	```
	*/

	/*
	minimod: A stripped down module system

	TODO Comparison:
	- [ ] Come up with a benchmark "logic" using plain old functions and let bindings
	- [ ] Write the benchmark for the module system
	- [ ] Write the benchmark for POP?
	- [ ] Qualitative comparison of extensibility in the context of composable
	Nixpkgs packaging logic
	TODO Fine-tuning:

	use std::io;
	use std::io::Write;
	use std::fs::File;
	use std::process::Command;

	#[derive(Debug, Clone, Copy)]
	enum DataType {
	Int,
	Ptr,
	Bool,

	package main

	import (
	"errors"
	"log"
	"strings"
	"syscall"
	"unsafe"
	)