cocotb is an open source coroutine-based cosimulation testbench environment for verifying VHDL and SystemVerilog RTL using Python.
Found via https://www.raspberrypi.com/news/rp2350-hacking-challenge-2-into-extra-time/ and https://connectingindustry.com/the-chipwhisperer-husky-is-a-revolutionary-device-developed-by-newae-technology-inc/.

Mentions https://www.crowdsupply.com/summa-cogni/mathpad, a crowd supply project announcment for a small (16-key) USB keyboard for mathematical symbols.
On https://www.hpmuseum.org/forum/thread-23822-post-207156.html#pid207156, the https://optimot.fr/ keyboard layout with many mathematical symbols is mentioned

Found on the PiDP-11 group https://groups.google.com/g/pidp-11/c/VAZoNbEPJcU/m/kKi4uv52AwAJ

Found via the Raspberry π article https://www.raspberrypi.com/news/raspberry-pi-45w-usb-c-power-supply-on-sale-now-at-15/

Start of a thread on the TUHS mailing list mentioning the japanese project https://github.com/ryomuk/TangNanoDCJ11MEM/tree/main
Memory system and UART implemented on Tang Nano 20K FPGA for DEC DCJ11 PDP-11 Processor.

Found via a link on https://www.raspberrypi.com/news/raspberry-pi-500-and-raspberry-pi-monitor-on-sale-now/

Sail is a language for defining the instruction-set architecture (ISA) semantics of processors: the architectural specification of the behaviour of machine instructions. Sail is an engineer-friendly language, much like earlier vendor pseudocode, but more precisely defined and with tooling to support a wide range of use-cases.
Found on the CHERI page https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/

Matt Keeter explains measurements on a router. Does the oscilloscope really sample with 1 THz?

A DECstation emulator on a business-card sized PCB. The description is a nice read.
https://hackaday.io/project/196769-decstation2040 for a RP2040 version, with 32 MB HyperRAM, 1024 x 864 mono video, and USB mouse/kb

Measurements with internal and external reference clock.