Ciro Santilli @cirosantilli 37

For students (who are paying for the university to start with...), they will not claim tutorials linked to courses. But a tutorial that shows university laboratories, it is unclear: www.ox.ac.uk/students/academic/guidance/intellectual-property (archive) This likely includes graduate students, who are also not paid by the university.

For faculty, the university owns everything it seems, to be confirmed.

 Read the full article

AWS Graviton Updated 2025-07-16

 View more

ARM-based servers.

 Read the full article

Elements of AGI Updated 2025-07-16

 View more

This section is about ideas that are thought to be part of an AGI system.

 Read the full article

Mitochondrial carrier Updated 2025-07-16

 Read the full article

Raspberry Pi Pico W Updated 2025-07-27

 View more

Datasheet: datasheets.raspberrypi.com/picow/pico-w-datasheet.pdf

Pinout: datasheets.raspberrypi.com/picow/PicoW-A4-Pinout.pdf

 Read the full article

2D AI game Updated 2025-07-16

 Read the full article

Additive basis theorem Updated 2025-07-16

 Read the full article

Anomalous Zeeman effect Updated 2025-07-16

 Read the full article

ATP synthesis mechanism Updated 2025-07-16

 View more

ATP is the direct output of all the major forms of "energy generation" in cells:

 Read the full article

Geiger-Nuttall law Updated 2025-07-16

 Read the full article

Koan Updated 2025-07-16

 View more

 Read the full article

Proxima Centauri Updated 2025-07-16

 View more

It is so close that we can notice its proper motion, and its distance to us will vary significantly across a few tens of thousands of years!

 Read the full article

Run Zephyr on QEMU Updated 2025-07-26

 View more

Real hardware is for newbs. Real hardware is for newbs.

Tested on Ubuntu 23.10 we approximately follow instructions from: docs.zephyrproject.org/3.4.0/develop/getting_started/index.html stopping before the "Flash the sample" section, as we don't flash QEMU. We just run it.

sudo apt install --no-install-recommends git cmake ninja-build gperf \
  ccache dfu-util device-tree-compiler wget \
  python3-dev python3-pip python3-setuptools python3-tk python3-wheel xz-utils file \
  make gcc gcc-multilib g++-multilib libsdl2-dev libmagic1 python3-pyelftools
python3 -m venv ~/zephyrproject/.venv
source ~/zephyrproject/.venv/bin/activate
pip install west
west init ~/zephyrproject
cd ~/zephyrproject
west update
west zephyr-export
cd ~
wget https://github.com/zephyrproject-rtos/sdk-ng/releases/download/v0.16.1/zephyr-sdk-0.16.1_linux-x86_64.tar.xz
tar xvf zephyr-sdk-0.16.1_linux-x86_64.tar.xz
cd zephyr-sdk-0.16.1
./setup.sh

The installation procedure install all compiler toolchains for us, so we can then basically compile for any target. It also fetches the latest Git source code of Zephyr under:

~/zephyrproject/zephyr

The "most default" blinky hello world example which blinks an LED is a bit useless for us because QEMU doesn't have LEDs, so instead we are going to use one of the UART examples which will print characters we can see on QEMU stdout.

Let's start with the hello world example on an x86 target:

cd ~/zephyrproject/zephyr
west build -b qemu_x86 samples/hello_world -t run

and it outputs:

Hello World! qemu_x86

The qemu_x64 on the output comes from the CONFIG_BOARD macro github.com/zephyrproject-rtos/zephyr/blob/c15ff103001899ba0321b2c38013d1008584edc0/samples/hello_world/src/main.c#L11

#include <zephyr/kernel.h>

int main(void)
{
	printk("Hello World! %s\n", CONFIG_BOARD);
	return 0;
}

The qemu_x86 board is documented at: docs.zephyrproject.org/3.4.0/boards/x86/qemu_x86/doc/index.html

You can also first cd into the directory that you want to build in to avoid typing samples/hello_world all the time:

cd ~/zephyrproject/zephyr/samples/hello_world
zephyr west build -b qemu_x86 -t run

You can also build and run separately with:

west build -b qemu_x86
west build -t run

Another important option is:

west build -t menuconfig

But note that it does not modify your prj.conf automatically for you.

Let's try on another target:

rm -rf build
zephyr west build -b qemu_cortex_a53 -t run

and same output, but on a completely different board! The qemu_cortex_a53 board is documented at: docs.zephyrproject.org/3.4.0/boards/arm64/qemu_cortex_a53/doc/index.html

The list of all examples can be seen under:

ls ~/zephyrproject/zephyr/samples

which for example contains:

zephyrproject/zephyr/samples/hello_world

So run another sample simply select it, e.g. to run zephyrproject/zephyr/samples/synchronization:

west build -b qemu_cortex_a53 samples/synchronization -t run

 Read the full article

The alternating groups of degree 5 or greater are simple Updated 2025-07-16

 View more

www.youtube.com/watch?v=U_618kB6P1Q GT18.2. A_n is Simple (n ge 5) by MathDoctorBob (2012)

 Read the full article

 Unlisted articles are being shown, click here to show only listed articles.