adalovescoffee

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

hmm as a moroccan with my family origins from the western sahara, it appears to many people here (which is fair bc bias) that she might have not read that much about the conflict and was too quick to point out fingers! i understand that i am biased tho!

i need to remove some from the list of images bc they're not as readable, and tweak some things but it's fun me thinks lool

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

this is so cool!

goood luckk!!!

this is so true, i've actually first encountered the annoying part of rust first and it made me not try the language, until a few months ago when i got to talk to the cool peeps :3

there are other languages like lean that have that goal in mind with different cool stuff around them, rocq(previously coq), and agda ...!

good morning!!

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!

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))

i am trying to get into it and even tho i'm not afraid of abstraction/symbols, it was a bit too much for me at first ;-;

very pretty!

words in the street told me it's true and you will!

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

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

yeah emacs has artist mode that does that! tho for this to work i think i need to make a minor mode that uses artist mode kind of layer with 100% transparency and org mode on the background, it's not a big priority but i def will try to make it work

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

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

and when u save the file, it'd save both the doodle png/svg and the org, and opens again as both kinda workflow idk will figure it out

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

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

congrats!!!

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

Walk With Me - Londinium Version bôa · Walk With Me (Londinium Version) · Song · 2025

I love boa's new album so much, this is so goood
open.spotify.com/track/5pCG60...

good morning dani! i've been gifted books when i was younger, i feel like in order for it to be meaningful, the gifter needs to know your taste well! (which is the requirement tbf for any good gifts)

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)

sickk af zoom but can it do a 360?

apparently they were also asked to not show off their "achievement" until at least a week after the event ends to not take the spotlight from the students participating but yeah openai does openai things typical spinless pos.

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