Skip to content
View IntegralPilot's full-sized avatar

Highlights

  • Pro

Block or report IntegralPilot

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
IntegralPilot/README.md

I'm Michael, an Australian high school student interested in all kinds of tech! Here's some of the cool stuff I've done:

  • Apple security research
  • Linux kernel
    • Co-authored and led upstreaming of Apple Silicon power supply drivers, enabling battery telemetry, AC adapter monitoring, and charge control. Landed in kernel 7.1 after 7 revisions.
    • Same with keyboard drivers for M2 and M3 Macs, which are quite complicated as they involve a custom proprietary transport protocol (DockChannel) and managing a whole seperate coprocessor which runs Apple's custom embedded operating system (RTKit). Currently under review, targeting 7.4-7.5 for landing.
  • rustc_codegen_jvm
    • Compiler (rustc codegen backend) that I built from scratch to compile Rust to JVM bytecode
    • Quite far along, passing 99.81% of upstream coretests and alloctests
    • Supports networking, async/await, threading, unwinding, allocation, etc.
    • Several key architectural innovations, such as "virtual MMU" system to support arbitrary pointer arithmetic on JVM, and custom-designed OOMIR (object-oriented MIR)
  • OpenJDK
  • CryoFlow
    • ISEF 2026 project - 2nd Place Grand Award (Embedded Systems), Special Awards from the Society for Science and the International Council on System Engineering
    • FPGA to accelerate Cryo-EM data processing, featuring custom pipeline using a mix of VHDL and HLS C++
    • Used design elements inspired from Systolic Arrays (Google TPU) and Unified Memory (Apple)
    • ~8.6x improvement in performance per Watt compared to the RTX 3080
    • WebSerial (over USB-UART) dashboard to enable easy use, powered by custom Rust firmware on PS with communicates with PL through AXI4-Stream
    • While it was a cool project, there wasn't product-market fit, as labs which can afford the millions of dollars for a Cryo-EM machine, can afford a GPU cluster and the extra power needed, and would prefer raw speed over efficiency.
  • Chromium / libwebrtc
  • MediaWiki

If you'd like to reach out for any reason, you can reach me at linux479 [at] duck [dot] com.

Pinned Loading

  1. rustc_codegen_jvm rustc_codegen_jvm Public

    Compile Rust to Java bytecode and runnable JARs.

    Rust 633 21

  2. DynamicSNN DynamicSNN Public

    A high-performance C++ simulator for biologically-inspired Spiking Neural Networks (SNNs)

    C++ 1

  3. wasm_os wasm_os Public

    Experimental x86_64 operating system designed to run userspace applications compiled to WebAssembly.

    Rust 51 5

  4. GammaCPU GammaCPU Public

    VHDL-based CPU which supports running raw WASM instructions.

    VHDL 14 2

  5. Gateslam Gateslam Public

    Easily discover the current VPNGate egress IP addresses. Intended for webhosts to manage abuse.

    Rust 1

  6. breadcrumbs-rs breadcrumbs-rs Public

    A beautiful, tiny traceback and logging library supporting #![no_std] rust.

    Rust 26