〻 bibliography ︙ gists ︙ itch.io 𒑱
Grad student at ITMO. My research interests include intersections of machine learning and category theory, automated reasoning (proof assistants, logical programming, programs-as-proofs, etc.), and connections to neurobiology.
I hold a Master's degree in Electrical Engineering, specializing in low-level programming and bare-metal systems for efficient computation.
I am also a huge functional programming geek so I talk about lambdas a lot.
Browse papers on these websites daily and you will become... more read
- ⭐️arXiv.org — the one and only.
- OpenReview.net
- ProjectEuclid — mathematics and statistics.
- ACM Digital Library — computer science papers.
- Papers With Code — apparently these papers have code.
- Hugging Face Daily Papers
- Litmaps, search for scientific papers.
Websites closer to the top have shaped me, those closer to the bottom are mostly ones I fond worth sharing, ummm, yeah I guess there you have it
- ⭐️Emily Riehl - author{ess} of "Category Theory in Context", the amazing book that I struggle so much to read through
- ⭐️fuzzy notepad, I adore her.
- Angels Are Mathematical - Sonya, a math major
- Blogscroll, a collection of blog links, fun to browse.
- Melos Han-Tani, gamedev stuff mostly.
- Schemescape, static site generators, programming languages, deno, game development.
- flak
- hereket
- dotat
- Aleksandra T.Ma's blog, ML and stuff
- ⭐️Parenthetically Speaking — Racket guy
- ⭐️Maggie Appleton — "makes visual essays about programming, design, and anthropology"
- FrostKiwi's Secrets — computer graphics
- Stephen Brennan — C, stacks, pointers, etc
- Lei Mao - Senior Deep Learning Systems Engineer at NVIDIA
- Bret Victor - Unhinged
- colah - Cool ML visualizations
- soatok - Cyber Security
- Max Slater - Computer Graphics, Programming, and Math
and science - sunshowers - Rust, Philosophy, Systems, also their name is Rain 🌧️ Which is a 10/10 name
- MiniHF Blog - Insight into AI
- ptrpaws - Ellie, hacks
- marek markiewka - Rust, devops
I seek meaning in systems, both digital and human.
⦿ ◀
Maria's Secret Stash of Extra Links
Congratulations! You found it
;; about-me.lisp
(defclass maria (software-developer data-scientist new-age-neo-hippie lisp-geek)
((editors :initform '(:nvim :emacs :vs-code))
(favorite-programming-languages
:initform '(:python :scheme :lua :swift :typescript))
(interests
:initform '(:mathematics :machine-learning :computer-graphics :compilers :philosophy))
(hobbies :initform '(:composing-music :journaling :hiking :meditation :singing :poetry))))
(defmethod likes-p ((os t) (self maria))
t)
(defmethod likes-p ((os (eql :windows)) (self maria))
nil)📝 Notable READMEs
- CLAide, a ruby lib for building CLI interfaces. Simply adorable.
- The iconic CrackLib README
𑁣 Important links
- Free for Developers, free services for developers, from CI/CD to IDEs.
- Eureka Alert, science news.
- Stack Roboflow, a Q&A website of the future.
- Timecube, a very good explanation of how time works.
- WebVM — run Linux on the web page. Customizable via Dockerfiles.
- Mark Watson's own free books repo, take a look if you're interested in AI and Common Lisp.
- Janet for Mortals (a real book).
- WTF Auto Layout? - a unanswered question many a philosopher did pursue.
- LLDB cheatsheet
- TheOuterLinux
🍏 Apps I like (macOS only)
- ⭐️Keka, a file archiver.
- Mountain Duck, mount cloud storage as a disk.
- Image2icon, generate icons for iOS and macOS apps.
- NetIQuette, a network monitor.
- ZipMounter, mount your archives as volumes.
🧠 Formerly Greatest ML Links Of Existence
🪩 NeurIPS News
{