_ _ _ ______ _ __..--''``---....___ _..._ __
( / ) ) ( / //o o / _.-' .-/"; ` ``<._ ``.''_ `.
/ / / /-- //, , __, /_ _.-' _..--.'_ \ `( ) )
/ / (_o (/____/(/_(__/|_(_/(_/ /_ (_..-' (< _ ;_..__ ; `'
__ _ /) `-._,_)' ``--...____..-'
( / / (/ functional programming, neuromorphic & quantum,
/ / /__, _ _, _ _ _ __, _ astrophysics, philosophy (hegel -> baudrillard),
(_/_/(_/(_/ /_(_)_(/_/ / /_(_/(_/ /_ linguistics (polski, العربية, 汉语，toki pona, &
/| አማርኛ), Kaleckian econometrics...
(/
an electrical & computer engineering PhD student researching quantum compilation, error correction, & routing. Although most of my research involves superconducting quantum processors with static topologies, and the advancements necessary to transition from NISQ (noisy intermediate scale quantum) to FTQC (fault tolerant) and LS (large scale), I also have a healthy fascination in the future of novel qubits (neutral atom, topological, photonic, & cat) and quantum devices (QPICs and robust, multi-platform quantum architectures).
My background (BSc in CS) is in software engineering and scientific computing, where I am most interested in language theory, systems programming, automata, & data structures. I love idiomatic and opinionated languages, like Rust, Gleam, Haskell, APL, Go, Zig, Julia, and more. I have extensive experience with Python, Java, C, C++, and TypeScript, as well as with machine learning- SciKit, PyTorch, NumPy, and TensorFlow. I prefer working with PyTorch.
My more multifarious academic interests include neuromorphic computing, hardware acceleration (particularly FPGA), abstract math (topology, graph theory for q. routing, sheaf theory for q. networking, matrix theory, markov chains), photonic ICs, semiconductor applications of 2D materials, and more generally VLSI design and fabrication.
_ _ __ _ _ __ __ __, λ ＿＿
| | | | \| | |/ /' _/ (_ /_ λ / フ フ
| |_| | | ' | <`._`. /`X\/ | λ | _ _l
|___|_|_|\__|_|\_\___/ `\_/\| | λ ／` ミ＿☭ノ
λ / |
___ ___ __ __ ___ ________ __ λ / ヽ ﾉ
| _,\ _ \/__\_ \| __/ _/_ _/' _/ λ │ | | |
| v_/ v / \/ |\ | _| \__ | | `._`. λ ／￣| | | |
|_| |_|_\\__/___|___\__/ |_| |___/ λ | (￣ヽ＿ヽ)__)_)
＼二つ
resume is being rebuilt in typst, come back later
COMPLETE Developed an in-memory database inspired by Redis, with interoperability for redis-cli, support for strings and lists, and concurrency through async functions. Built a custom ConcurrentHashMap for multi-threaded access and implemented database persistence via snapshotting and command logging. Achieved up to 99,502
SETrequests per second in benchmarking without logging, surpassing Redis in some cases. Applied principles of test-driven development, async programming, and Rust language features like higher-ordered functions and trait-based code reusability. Hesitant plans to build out as a self-hostable, dockerizable backend to Vitri.
COMPLETE Dragonflies are uniquely effective, intelligent, and efficient at navigating a 3D environment to intercept a target. They reliably fly on an interception course unique across all observed pursuit predators. The dragonfly achieves this task with a brain of only 1 million neurons, seemingly computing trajectory prediction on as few as tens of thousands, through just 3 neural layers. The AKD1000 is a neuromorphic processor that can implement Spiking Neural Networks (SNN) on hardware. By modeling a dragonfly pursuit and training a Convolutional Neural Network (CNN) model to control the dragonfly purely from visual stimulus based on research from Dr. Chance, then converting that model to an Akida-compatible SNN, we evidence the potential of edge neuromorphic devices for spatial navigation and targeting.
IN DEV(β) A native SwiftUI based Shavian (the phonemic English alphabet) keyboard. 𐑩 𐑯𐑱𐑑𐑦𐑝 ·𐑕𐑢𐑦𐑓𐑑⸰𐑿𐑦 𐑚𐑱𐑕𐑑 ·𐑖𐑱𐑝𐑾𐑯 (𐑞 𐑓𐑴𐑯𐑰𐑥𐑦𐑒 ·𐑦𐑙𐑜𐑤𐑦𐑖 𐑨𐑤𐑓𐑩𐑚𐑧𐑑) 𐑒𐑰𐑚𐑹𐑛. Local, native autocorrect, word prediction, and transliteration in progress, otherwise usable as a 'dumb' Shavian keyboard.
ON PAUSE(α) Made for the Cornell hackathon, BrickHack 9 with @anhnlh. Gave us some solid experience in cross-platform mobile development, and we ended up liking the result (conceptually) so much we've continued building it out, with plans to release it for iOS and Android, even if we are the only ones who will use it!
COMPLETE (Python) IN DEV (Go re-write) Web Image Tiling STITCHer: CLI tool to grab all the most detailed tiles of some online image (originally for high definition scans of maps behind a paywall) and reconstruct them into a single PNG. Originally made with Python, using PIL and wget, being rewritten in Go with http and img for concurrency.
IN DEV(α) Convert comics with speech bubbles (primarily Calvin & Hobbes) from English (Latin orthography) to Shavian (phonemic neography).
IN DEV(<α) Zig compiler for BrainF*ck, loosely inspired by this Rust project.
zzz |\ _,,,--,,_ ______ __ \\
\ /,`.-'`' ._ \-;;,_ /_ __/__ ___ / /__ λ\
|,☭- ) )_ .;.( `'-' / / / _ \/ _ \/ (_-< //\\
'---''(_/._)-'(_\_) /_/ \___/\___/_/___/ // \\
Philosophy (my undergrad minor), particularly Παρμενίδης -> Πλάτων -> Επίκουρος: I do not enjoy the aristotelians or the stoics. I also enjoy the works of Plutarch and Lucan. Contemporarily, I appreciate Kantian deontology, Hegel, Feuerbach, Stirner, Marx, and Engels, and their influences. Alexandra Kollontai and Rosa Luxembourg are my favorite writers on philosophy, political economy, and sociology. Lacan, Deleuze & Guattari, and moreso Baudrillard are post-structuralist guilty pleasures, while Fisher, Parenti, & Varoufakis are the best of the past few decades. Zizek is overrated. I am a strong believer in a free & open source future, and libre software, hardware, and knowledge.
Languages, linguistics, and orthography. I have studied (to varying success) attic greek, polish (independently, not through any classes), chinese, arabic, and ASL (in increasing order of familiarity). I love orthographies, natural and constructed; 𐑖𐑱𐑝𐑾𐑯, 조선글, sitelen pona, ⰳⰾⰰⰳⱁⰾⰻⱌⰰ, Gregg stenography, Tengwar, ᐊᓂᐦᔑᓈᐯᒧᐎᓐ, Stokoe notation, მხედრული, and many more. I am fascinated by the history of scripts, stenography, typesetting, pens, and typewriters. I regularly read and write in an English constructed orthography, Shavian, which I have built several tools for.
IN DEV(β) Wanted to take two very useful and clever cheatsheets (an accessible summary of pu with a lot of history and adaptations and a well organized and pretty categorization of ku) and replicate them, programmatically, in Typst, with the aid of penpo. In the process, I forked both jan Tenpi's amazing yatpid (yet another toki pona dictionary) dataset (adding word origins and the iso for the given word origin country, and some uncommon words I'm partial to, like jasima) and flagada (adding yugoslavian and esperanto flags), a great native flag displaying package for Typst. Script to autogenerate print, digital, and translations in progress.
v1: letters, harakat, & 0-9.
A custom modification of the Ferris Sweep's 34 key split keyboard. I altered the PCB to fit my hands and designed svg's to add a design by altering the solder mask and screen print. It uses Elite-C v4 USB-C microcontrollers, jade choc mini switches, and the layout I programmed is colemak-dh with support for stenography, a numpad & coding symbols layer, and extensive macros.
I made a liquid glass app icon, working on pencil support.
My (embarassingly slow) attempt at building out Shavian support for the best open source typing website.
fav xxiivv posts
-
fractran & more- also check out concat & neural prog langs
incredible rust optimization write-up
Made for the RIT hackathon, BrickHack 9 with @anhnlh. Plan to refactor math currently in the frontend js into the much faster, more clear syntax of the julia backend. abandoned