Anne Isabelle "Anya" Macedo retpolanne

Since this is on Hacker News and reddit...

No, I don't distribute my résumé like this. A friend of mine made a joke about me being the kind of person who would do this, so I did (the link on that page was added later). My actual résumé is a good bit crazier.
I apologize for the use of _t in my types. I spend a lot of time at a level where I can do that; "reserved for system libraries? I am the system libraries".
Since people kept complaining, I've fixed the assignments of string literals to non-const char *s.
My use of type * name, however, is entirely intentional.
If you're using an older compiler, you might have trouble with the anonymous unions and the designated initializers - I think gcc 4.4 requires some extra braces to get them working together. Anything reasonably recent should work fine. Clang and gcc (newer than 4.4, at le

radare2

load without any analysis (file header at offset 0x0): r2 -n /path/to/file

analyze all: aa
show sections: iS
list functions: afl
list imports: ii
list entrypoints: ie
seek to function: s sym.main

Safest way to clean up boot partition - Ubuntu 14.04LTS-x64, Ubuntu 16.04LTS-x64

Reference

Case I: if /boot is not 100% full and apt is working

1. Check the current kernel version

$ uname -r

Using cec-client on a Raspberry Pi

Most modern HDMI connected devices support Consumer Electronics Control (CEC). It allows devices to send commands to each other, typically to get the TV to switch input and control volume. If you have ever turned on a Game Console and had your TV automatically change input to that device you have seen CEC in action. It is very convenient and useful, sort of a universal remote that works.

Every manufacturer seems to have it’s own branding of CEC (e.g. Samsung Anynet+, LG SimpLink, Sharp Aquos Link) but it may need to be enabled. Check your manual for details.

Using a Raspberry Pi connected to a TV that supports CEC, you can use the command line cec-client application to control the inputs and the TV itself. These are notes on how to use cec-client and understand the different options.

Details

Boot Linux or OpenBSD on the PowerBook G4 (PowerPC/ppc32)

Creating the USB sticks

Use an older USB 2.0 stick, newer ones will most certainly not work.

sudo dd if=debian-11.0.0-powerpc-NETINST-1.iso of=/dev/sda1 status=progress # Or use GNOME Disks, Etcher etc.
sync

How to SSH into Windows 10 or 11?

The latest builds of Windows 10 and Windows 11 include a build-in SSH server and client that are based on OpenSSH. This means now you can remotely connect to Windows 10/11 or Windows Server 2019 using any SSH client, like Linux distros. Let's see how to configure OpenSSH on Windows 10 and Windows 11, and connect to it using Putty or any other SSH client.

OpenSSH is an open-source, cross-platform version of Secure Shell (SSH) that is used by Linux users for a long time. This project is currently ported to Windows and can be used as an SSH server on almost any version of Windows. In the latest versions of Windows Server 2022/2019 and Windows 11, OpenSSH is built-in to the operating system image.

	events {
	worker_connections 1024;
	}

	http {
	default_type text/html;
	access_log /dev/stdout;
	sendfile on;
	keepalive_timeout 65;

	#! /bin/bash
	#
	# Diffusion youtube avec ffmpeg

	# Configurer youtube avec une résolution 720p. La vidéo n'est pas scalée.

	VBR="2500k" # Bitrate de la vidéo en sortie
	FPS="30" # FPS de la vidéo en sortie
	QUAL="medium" # Preset de qualité FFMPEG
	YOUTUBE_URL="rtmp://a.rtmp.youtube.com/live2" # URL de base RTMP youtube

	# Connect from macOS to remote Linux server. For example to Debian or Ubuntu.

	# Prepare remote server.
	# Enable X11 Forwarding in SSH.
	vim /etc/ssh/sshd_config
	#X11Forwarding yes
	#X11DisplayOffset 10
	#X11UseLocalhost no
	systemctl restart sshd

	#!/bin/bash

	# The default BAR address space available on the CM4 may be too small to allow
	# some devices to initialize correctly. To avoid 'failed to assign memory'
	# errors on boot, you can increase the range of the PCIe bus in the Raspberry
	# Pi's Device Tree (a .dtb file specific to each Pi model).
	#
	# You should probably read up on Device Trees if you don't know what they are:
	# https://www.raspberrypi.org/documentation/configuration/device-tree.md
	#