iiinova — where your digital self keeps evolving

adalovescoffee @adalovescoffeee.bsky.social · 17/08/2026

i forgor to mention it here (sorryy) but i'm a grad student now starting september :D

adalovescoffee @adalovescoffeee.bsky.social · 30/03/2026

actually the solution to the yale shooting problem is just that he died of old age from waiting if anybunny was wondering. RIP

000 0

adalovescoffee @adalovescoffeee.bsky.social · 30/03/2026

aight yale shooting problem solved, time to never think about situation calculus ever again and go back to regular schedule (dynamical systems applied to numerical analysis algos) seriously tho, i'll try to learn tla+ and other related stuff once i have the time again

000 0

adalovescoffee @adalovescoffeee.bsky.social · 30/03/2026

Some parenthesis here would save me minutes of confusion i thought it was (holding and a) diff (putdown and a)...

010 1

adalovescoffee @adalovescoffeee.bsky.social · 29/03/2026

why am i even reading about situation calculus in 2026, i'm not writing code for robots even...

000 0

adalovescoffee @adalovescoffeee.bsky.social · 29/03/2026

land of the lustrous is one of the best animes i've seen in a whileee

021 2

adalovescoffee @adalovescoffeee.bsky.social · 28/03/2026

me on adhd meds feels surprisingly more like me than me without

010 1

adalovescoffee @adalovescoffeee.bsky.social · 09/03/2026

kinda funny that the first time i will see a linked list will be through learning about the treiber stack

010 1

adalovescoffee @adalovescoffeee.bsky.social · 08/03/2026

nvm concurrency is a lot of funn :D highly recommend rust atomics and locks book!

000 0

adalovescoffee @adalovescoffeee.bsky.social · 24/02/2026

concurrency stuff is tricky ;-; too much notions to learn, so hard to fit them properly in my head :(

000 0

adalovescoffee @adalovescoffeee.bsky.social · 20/02/2026

yorushika and kaneko ayano are my two fav artists/bands right now. Also hi, it's been a while :3 hope everyone is doing well!!

000 0

adalovescoffee @adalovescoffeee.bsky.social · 19/12/2025

I think i did well in my finals, i'm now back home in morocco for the first time in a year

020 2

adalovescoffee @adalovescoffeee.bsky.social · 15/12/2025

tmr finals start, i'm ready i think but i'm veryyy stressed still

030 3

adalovescoffee @adalovescoffeee.bsky.social · 24/11/2025

Attended my first seminar today, waited in the wrong place, came in 15 mins late due to that and i see 3 of my profs looking at me as i open the door, and it was full of profs and few phd students

120 2

adalovescoffee @adalovescoffeee.bsky.social · 18/11/2025

sorry again for being inactive after being active, i just have been focusing on uni stuff (i am actually going to classes this time lul), i am trying to learn concurrent programming in rust (and in general) in parallel!

120 2

adalovescoffee @adalovescoffeee.bsky.social · 02/11/2025

hullo :) sorry for being inactive here, hope everyone is doing well!

010 1

adalovescoffee @adalovescoffeee.bsky.social · 06/09/2025

made it so that my emacs config switches the background to a random lain image so it feels like that cool neocities website ehehe

140 4

adalovescoffee @adalovescoffeee.bsky.social · 14/08/2025

i might elaborate more on my relationship with time these past few years, but for now, here is a good reminder for those that might need it!

110 1

adalovescoffee @adalovescoffeee.bsky.social · 12/08/2025

i know it isn't much, but it took me a while to relearn what i wrote and figure out how to implement unary op(i considered minus before as a proper operator which was a bad idea, instead parser should parse a-(stuff) => a+ (opposite(stuff))

000 0

adalovescoffee @adalovescoffeee.bsky.social · 09/08/2025

i made dhall (the curry) for the first time today, it was very good!! def will make it again in the winter

040 4

adalovescoffee @adalovescoffeee.bsky.social · 08/08/2025

i am so surprised that cargo doesn't have an option to run only one test and disregard other files ;-; i have to comment out files that have no relation to the test just to check if my implementation works

000 0

adalovescoffee @adalovescoffeee.bsky.social · 06/08/2025

tmr: - finish config file and get used to orgmode and setup lsp - critical term ordering for knuth bendix done (i'd need to get used again to the codebase i haven't touched it in 2 weeks) - either do some cat theory or try making the minor mode or play deathstranding goodnight :3

000 0

adalovescoffee @adalovescoffeee.bsky.social · 05/08/2025

i'm going to try to make this into a minor mode as soon as i finish setting up my config (i think i'll be done tmr) looks like i can't turn a buffer transparent but i can turn a frame transparent so this mode would just launch a new frame on top make it handle pen events, rest goes to org smoothly

000 0

adalovescoffee @adalovescoffeee.bsky.social · 05/08/2025

i wonder if it's possible to set up orgmode + something that records graphical pen keystrokes in 100% transparency (idk if that's possible in emacs like having two buffers on top of each others? (working at the same time) and as soon as i u start typing u switch from the doodle to org

200 2

adalovescoffee @adalovescoffeee.bsky.social · 04/08/2025

ok maybe i'm delulu but emacs feels very beginner friendly and nicer (than my exp with neovim not that it was bad), the fact i can keep the menu in the config files and learn shortcuts from it feels very nicee

120 2

adalovescoffee @adalovescoffeee.bsky.social · 03/08/2025

made a barebone website quickly using franklin.jl, will be writing blogposts later on things i am interested in On that note, before i resume the term rewriting project, i am going to try emacs bc of orgmode/latex integration and see if i can run pluto.jl notebooks on it adalovescoffee.github.io

adalovescoffee.github.io

Hullo!

030 3

adalovescoffee @adalovescoffeee.bsky.social · 31/07/2025

hai hai, i'm back, been going through hell moving out due to previous landlord, but now i'm finally freee i think! i'm going to try to make my own website quickly bc i always wanted to do that for a while (just going to use franklin.jl so nothing crazy just a place to write stuff for now)

040 4

adalovescoffee @adalovescoffeee.bsky.social · 18/07/2025

went to get a whiteboard today and two wild bunbuns said hi

020 2

adalovescoffee @adalovescoffeee.bsky.social · 17/07/2025

went to ikea hoping to get a blahaj (i want plushiess) sadly they were out of stock instead i saw a bunch of cows

140 4

adalovescoffee @adalovescoffeee.bsky.social · 17/07/2025

progress on knuth bendix implementation is slowed bc i genuinely can't focus these days, but i'm moving out at the same time and i hope i can get a whiteboard tmr. I don't even need to do that much i have all the foundations set, i believe that once moving out complete + whiteboard i will finish it

130 3

adalovescoffee @adalovescoffeee.bsky.social · 16/07/2025

i think i should just have fun and not feel guilty abt how slow my progress is

020 2

adalovescoffee @adalovescoffeee.bsky.social · 15/07/2025

i totally got lazy these past 2 days and didn't do much progress but there is so much going on in my life and it's all overwhelming but i don't have much time, is it even healthy for me to keep saying that

020 2

adalovescoffee @adalovescoffeee.bsky.social · 11/07/2025

finding out today that someone is working on knuthbendix egraphs in rust and altho tis not exactly what i'm doing, it is more advanced (but relies on outside libraries (which makes a lot of sense)), i'll still continue however because i'm too far down the rabbit-hole :3

010 1

adalovescoffee @adalovescoffeee.bsky.social · 11/07/2025

"fast" order of complexity implemented!! the tests are ass rn but it's bc i wanted to get it done before i eeeep

100 1

adalovescoffee @adalovescoffeee.bsky.social · 11/07/2025

holy shit when i'm locked in i can be very scary

010 1

adalovescoffee @adalovescoffeee.bsky.social · 10/07/2025

i am very happi rn surprisingly despite everything going on which either means i'm doing better or the crashout is going to be legendary it doesn't necessarly mean i'm going to be more productive bc i spend too much time noticing that i'm happy than actually doing things while in that state

000 0

adalovescoffee @adalovescoffeee.bsky.social · 10/07/2025

there is a termination competition? i'd love to participate if i can but i'm prob too baka to do much termination-portal.org/wiki/Termina...

termination-portal.org

Termination Competition 2025 - Termination-Portal.org

010 1

adalovescoffee @adalovescoffeee.bsky.social · 09/07/2025

yes i applied to the CERN internship knowing that i would be rejected, and? let me dream for a bit

010 1

adalovescoffee @adalovescoffeee.bsky.social · 08/07/2025

coding in rust for when you're not very very familiar with memory allocation is like giving an atomic microscope to look at a flower's petal, everytime i clone smt, a part of me dies but trying to do smt insane just to not clone has to be wrong i think (especially for smt as simple as terms)

000 0

adalovescoffee @adalovescoffeee.bsky.social · 08/07/2025

there are days where you age years and years where you age days or smt like that - sun tzu (the art of holy shit i feel old)

000 0

adalovescoffee @adalovescoffeee.bsky.social · 08/07/2025

i need to find a j*b and be self-sufficient in these upcoming months, i feel bad for bothering everyone all the time anyway got coffee i will not crash-out i think yet

010 1

adalovescoffee @adalovescoffeee.bsky.social · 08/07/2025

got the news that my older brother is going to be a dad and i suddenly feel very very old

000 0

adalovescoffee @adalovescoffeee.bsky.social · 07/07/2025

we are starting code on the project at 7:30pm something is wrong and i need to fix this :c i do end up working for a long time once i start tho so there is that

020 2

adalovescoffee @adalovescoffeee.bsky.social · 06/07/2025

would have been nice to have a specific print function for debugging that can be disabled or enabled as a line of code, this way i won't have to delete print messages everytime bc of clutter

120 2

adalovescoffee @adalovescoffeee.bsky.social · 06/07/2025

implemented this from the parser, now my parser function returns the ast and the size which sucks to code bc everytime i need to deref to get one or the other but it's faster than going over the tree again with a new function, worth i think? need to change size when it's rewritten but thats okay

020 2