//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
Profile
Loading...









Loading...
In my repo, there's also a lot of other test cases verifying generics, ADTs and even real-world use cases like RSA encryption. Check it out here, and I'd really love if you could give it a star! github.com/IntegralPilo...
12d
Just logged in and my account is all fixed and the mandatory age verification gate blocking everything has been removed! Not sure if someone from Reddit saw my posts here or on one of my other socials, but if they did, THANK YOU SO MUCH! It all looks to be back now.
1mo
You can now run unsafe Rust code... on the JVM! I just shipped support for some basic unions (consisting of primitives and structs) to my project, rustc_codegen_jvm. Here's the test case that passes on CI JVM. Recently I also added support for function pointers and modules!
Michael Reeves
Michael Reeves
12d
ALL of the Asahi Linux and Apple RE documentation, comments and posts on my profile are now not showing at all! I hope they aren't gone forever from the subs but I can't check myself due to the laws. My settings were public before... it's all been erased!
3/4 My FPGA resulted in a 8.6x improvement in performance per Watt compared to the RTX 3080 and involved a custom system architecture I designed, including a WebSerial (over USB-UART) dashboard to enable easy use and custom Rust-based firmware running on the Arm cores.
🧵Can electronics help with biological breakthroughs? I presented my Cryo-EM FPGA hardware accelerator project at #RegeneronISEF 2026 in Phoenix! It was such an awesome experience to meet so many like-minded students. I was honoured to come 2nd place in my category and get some special awards too.
4/4 The trip was a cool experience! It was cool to see FPGAs in the wild in Waymo's autonomous fleet, and I was SUPER surprised by how smooth and futuristic they were. Hopefully they can come to Australia soon! And I had a lot of fun meeting new friends across so many different disciplines of STEM.
2/4 My FPGA project accelerated Cryo-EM, which won a Nobel prize in 2017 but is currently bottlenecked by Nvidia GPUs. I implemented a custom FPGA pipeline using a mix of VHDL and HLS C++, and took some inspiration from Apple Unified Memory and Systolic Arrays in Google TPUs
1mo
1mo
Welp, I can’t use Reddit anymore. Like, at all. 🫠 The new local laws require age verification, and even though I’m old enough, the system keeps failing me. I know a few of you have been messaging me on there, but I'm completely locked out and can't reply. RIP to my account until they fix this.
25d
25d
25d
25d
Michael Reeves
1mo
Michael Reeves
Michael Reeves
Michael Reeves
Michael Reeves
Michael Reeves
Michael Reeves
Michael Reeves
Toolchain to create JVM-ready Java bytecode from Rust MIR. - IntegralPilot/rustc_codegen_jvm
github.com
GitHub - IntegralPilot/rustc_codegen_jvm: Toolchain to create JVM-ready Java bytecode from Rust MIR.
Welp, I can’t use Reddit anymore. Like, at all. 🫠 The new local laws require age verification, and even though I’m old enough, the system keeps failing me. I know a few of you have been messaging me on there, but I'm completely locked out and can't reply. RIP to my account until they fix this.
1mo
ALL of the Asahi Linux and Apple RE documentation, comments and posts on my profile are now not showing at all! I hope they aren't gone forever from the subs but I can't check myself due to the laws. My settings were public before... it's all been erased!
Michael Reeves
1mo
Michael Reeves
Welp, I can’t use Reddit anymore. Like, at all. 🫠 The new local laws require age verification, and even though I’m old enough, the system keeps failing me. I know a few of you have been messaging me on there, but I'm completely locked out and can't reply. RIP to my account until they fix this.
1mo
Michael Reeves