scrambled
Scrambled thoughts. Scrambled journeys. Scrambled DNA. And scrambled eggs.
I'm an amateur software engineer at Holistics.
This is a personal note taking page, not a blog... Everything is scrambled! Think of it like a MySpace type of thing that I just dump my thoughts.
I worked in CS and here is the list of areas I'm interested in (I'm not a researcher by the way):
Type & language theory
Music theory
Logic & Formal system
Category theory
Concurrency theory
Operating systems
Databases
Performance
Engineering in general
I'd love to learn and discuss this with someone else (I admit that I can be a bit slow, but I'm kind of perseverant):
Scrambled Notes
Parsers, type systems, distributed systems, design... Notes I take as I learn, mostly incomplete, sometimes wrong.
Projects & Research
Things I work on or research in my freetime, either because I need them personally or I'm drawn to their theory.
Active / Long-running
typerighter: A typed content framework and SSG built around Typedown, a format that merges structured frontmatter with Markdown for interlinked notes. This site runs on it.
sqlingo: Porting sqlglot to TypeScript so it can run in the browser.
Active / Researching
beatlix: A shared space for group activities: chat, screen share, listen to music, or just hang out together. P2P via WebRTC.
Stalled
type-theory: Working through Software Foundations, TAPL, and PFPL. Slowly.
Completed
MPiSC: Wait-free distributed MPSC queues over MPI-3 RMA. Most shared-memory implementations turned out to be broken; the only correct one (LTQueue) became the base.
Gave me 2 low-ranking papers.
Documentation: docs
Publications
Papers that came out of the MPiSC work.
Other Hobbies
I love music. They have accompanied me throughout every phase of my life, most prominently in university, when I couldn't make any close friends.
My favorite artists/bands:
Lana Del Rey: I see her as authentic & casually poetic. She is probably the most low-key mainstream artist and it is in her the type of artistry I'd love to possess.
Bjork: She's a pioneer and also stays true to herself. To me, being authentic is already enough to allow me to resonate... Her sound is different, but melodic at the same time! Recently, I've been addicted to the Medúlla album!
Have a Nice Life: This band carried me through the senior years of university. I burned out, ran into lots of problems, betrayed by friends and professors. It came to me when I saw a thesis about Deathconsciousness & nihilism (which, to me is my world view anyways). It taught me to just not care anymore.
Blonde Redhead: I just love the dream pop sound of this band (the earlier sound).
I also listen casually to Laufey, Clairo, and whatever else finds me.