I'm offering "Functional Programming with OCaml" on the NPTEL platform in July 2026 sem. Enrollment is open now.
The first 8 modules of the interactive book should be fairly stable. The rest is still in development. Sharing early in the spirit of building in the open.
[1/2] I don't normally make commentary videos, but after seeing the entirety of Eric Schmidt's University of Arizona commencement speech, I felt like there was a lot more going on than just "CEO mentions AI, gets booed". So I made a video to explain what upset me about it.
Chapter 2 of the ARM hypervisor series is out.
We go over taking ownership of the page tables, memory configuration, copying the current tables, verifying that everything is squared away before committing to the switch.
https://t.co/NZwETYsnQn
DNS records in zone files add up to gigabytes. The simdzone C library can parse them at gigabytes per second. It is part of the popular NSD and likely in a server near you.
Details at…
Parsing Millions of DNS Records per Second, Software: Practice and Experience 55 (4), 2025
https://t.co/6Aus43aZ2j
ARM64 kernel now supports echoing user input. 372 bytes! It was fun getting backspace working on a UART!
Code: https://t.co/pG1yoDzU2K
#qemu#arm64#osdev
Is there any cheap (<$100) ARM64 board/device/smartphone which supports nested virtualization? The RaspberryPi 4/5 don't seem to support it.
#virtualization#arm64
ARM64 kernel now supports echoing user input. 372 bytes! It was fun getting backspace working on a UART!
Code: https://t.co/pG1yoDzU2K
#qemu#arm64#osdev
@abhi9u Have been building minimal programs in ARM64 assembly over the last few weeks:
1. HTTP server: https://t.co/yi544r6jcc
2. Threads using clone3: https://t.co/fn5qGp3ZA2
3. Toy kernel: https://t.co/pG1yoDzmdc
4. JIT calculator: https://t.co/76zVxQcUBL
Wrote an ARM64 implementation of `kill -9`. Compiles to a 208 byte ELF! The fun part was writing an `atoi` implementation for unsigned ints and reading `pid` from `argv[1]`
cc @abhi9u
Code: https://t.co/ZZ6tUw2yoy
Built a tiny ARM64 ELF kernel which boots in a UEFI shell on QEMU. The kernel prints "Hello World\n" on UART. It compiles to a 193 byte binary.
Learning a lot about bootloaders, ARM64 device trees, QEMU. Would love links to useful resources and tips for debugging
Hand-crafted ELF using ARM64 assembly (no linker!): https://t.co/xbwmoIXI5z
Wrote the ELF headers in the assembly file. Uses `as` to create the object file and `objcopy` to fish out the ELF. Overhead of ELF and program headers is 120 bytes. Actual code is 12 bytes.
#linux#arm64
@AdiPolak C was the first programming language I learned. Will recommend Python as an introduction to programming. C (or Rust/Zig when they become more mature) can be used as an introduction to systems programming.
@danluu As the "git person" in one of my previous workplaces I always made a local copy of repo before any changes so, we had a backup in case things went wrong. Though credit to git's internals, we never had to fallback to the copied repo.
@hillelogram Shell scripts for screen capture, screen capture with audio, snipping start/end of video, creating video from an image+audio track , all using ffmpeg
5 npm tips to make your dev machine safer -
1. NEVER run npm install -g as root
2. Use nvm
3. Remove unnecessary global packages
3. npm audit
4. Use npx where possible
https://t.co/6FNXp9iLMQ