Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).
Open to most anything! I'm a fan of functional programming/programming language theory/compilers, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.
In general I'm trying to figure out what to do next, so would be up to connect regardless of hiring-related stuff!
That is pretty much what we've done, but not in as "narrow" a scope as just Desktop but more as 'everything user facing in computing'. Full breakdown will be covered later this year as 'Arcan As OS Implementation' in a section on "Lua at every layer".
Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).
Open to most anything! I'm a fan of functional programming and programming language theory, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.
The framework used in the book, malt[0], is currently not GPU-accelerated, but it's being worked on.
Maybe interesting, I used it for a toy implementation of the GPT architecture[1] in about 500 lines.
(I studied with one of the authors, Dr. Daniel Friedman; wasn't super involved here but proofread a late draft and TA'd for a course based off the book.)
Finishing up a CS master's this semester, looking for opportunities starting in July/August or the fall. Research focus in programming language theory, but experienced across the full stack. Most interested in R&D-related stuff, especially related to audio or music (my other degree). Potentially looking towards applying for PhD programs this fall as well, so would appreciate to know if anyone is recruiting students!
I have experience independently building/releasing apps/plugins, and contracting for small and mid-size businesses (handling both frontend and backend). Have also conducted and applied research, including technical implementation and communication (papers/presentations/documentation).
Not exactly infinite canvas, but pages can grow outward. Cross-platform and open source! And has some cool features which make working with handwritten text nice.
Remote: Yes, also open to on-site
Willing to relocate: Yes
Technologies: C/C++, Python, TypeScript/JavaScript/React Native/Expo, C#, (System)Verilog/Vivado/FPGAs/embedded, OCaml, Rocq/formal methods and formal verification, relational/logic programming/symbolic AI, SQL, JUCE/audio/music programming.
Resume/CV: https://www.dmitrivolkov.com/volkov-resume.pdf
Email: dmitri at dmitrivolkov.com
Website: https://www.dmitrivolkov.com/
Finishing up a CS master's this semester, and looking for opportunities starting in the late summer or fall. I have experience as a full-stack (or fullstack, or full stack, whatever people ctrl-f for) developer as part of an intern/consultant position where I worked directly with customers to deliver features across databases/cloud infrastructure/web API integrations/frontends. I've also mostly-independently bootstrapped a commercial music production plugin (Pivotuner, more info on my website).
Open to most anything! I'm a fan of functional programming/programming language theory/compilers, currently doing research in logic/relational programming. I also have a background in music (I'm a published composer!) so particularly interested in audio/music-related stuff as well.
In general I'm trying to figure out what to do next, so would be up to connect regardless of hiring-related stuff!