I am AvailableAmphibian and I am about to start a Computer Science PhD. It is oriented towards Formal Methods for IoT.
My profile picture is from 「蜘蛛ですがなにか?」
(aka: "I'm a spider, so what ?").
I'm working more or less on the following projects :
- Nothing on going
As of today (September 2023), I am a Rust developper. In class I also get to play with C, C++, VHDL and Coq (in addition to Rust).
Some technos I know about :
Currently hating :
(ugh, god save me from those things)
My main distro is currently EndeavourOS. I also wandered a lot on distros like Garuda (Arch-based), Pop!_OS, MX Linux and Fedora.
I know these styles of programming :
- OOP
- Functional
- Networking
- Multi-threaded
- IoT / Embedded Systems
I really enjoy those programming tools :
- Topics :
- Arduino
- DSP
- Real time
- Projects :
- Play with some DSPs or things like that ; I'd love to make an ANC headset
- Home Server on my Raspberry
- You know, things like :
- Hosting a website
- Maybe more IoT-related things
- You know, things like :
- A Portfolio or something like that (maybe one day D:)
Native French, pretty good level in English (according to others, feel like I still have a whole bunch to learn), understand a lot little bit of Japanese.
Here's my anilist if you are after my weeb tastes :
https://anilist.co/user/Draeel/
But well, you don't need to check it to know that
Baki
is dope,Devilman: Crybaby
is a masterpiece and thatBtooom!
should have got a second season. :v
If you need to reach me, you can contact me using Discord ()