adalovescoffee
@adalovescoffeee.bsky.social
extremely stubborn math wanderer, olympic mud swimmer
Pinned
new short-term (summer) roadmap :
-Rust
-Algebraic topology
-Galois at some point( might need it for ag)
-Algebraic geometry
-Get gud at lean(the programming language)
-ML shenanigans(literally just for the math project i have in mind nothing else for now ehehe)
-Rust
-Algebraic topology
-Galois at some point( might need it for ag)
-Algebraic geometry
-Get gud at lean(the programming language)
-ML shenanigans(literally just for the math project i have in mind nothing else for now ehehe)
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
November 24, 2025 at 4:04 PM
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
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!
hullo :) sorry for being inactive here, hope everyone is doing well!
November 18, 2025 at 8:16 PM
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!
hullo :) sorry for being inactive here, hope everyone is doing well!
November 2, 2025 at 4:23 PM
hullo :) sorry for being inactive here, hope everyone is doing well!
made it so that my emacs config switches the background to a random lain image so it feels like that cool neocities website ehehe
September 6, 2025 at 7:30 PM
made it so that my emacs config switches the background to a random lain image so it feels like that cool neocities website ehehe
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!
August 14, 2025 at 2:27 AM
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))
August 12, 2025 at 1:11 PM
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 made dhall (the curry) for the first time today, it was very good!! def will make it again in the winter
August 9, 2025 at 12:13 AM
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
i have to comment out files that have no relation to the test just to check if my implementation works
August 8, 2025 at 9:08 PM
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
i have to comment out files that have no relation to the test just to check if my implementation works
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
- 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
August 5, 2025 at 11:13 PM
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
- 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
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
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
August 5, 2025 at 10:54 PM
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
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
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
August 5, 2025 at 10:24 PM
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
August 4, 2025 at 6:04 PM
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
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
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
Hullo!
adalovescoffee.github.io
August 3, 2025 at 8:01 PM
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
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
I love boa's new album so much, this is so goood
open.spotify.com/track/5pCG60...
open.spotify.com/track/5pCG60...
Walk With Me - Londinium Version
bôa · Walk With Me (Londinium Version) · Song · 2025
open.spotify.com
August 1, 2025 at 6:25 PM
I love boa's new album so much, this is so goood
open.spotify.com/track/5pCG60...
open.spotify.com/track/5pCG60...
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)
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)
July 30, 2025 at 11:07 PM
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)
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)
went to get a whiteboard today and two wild bunbuns said hi
July 18, 2025 at 7:41 PM
went to get a whiteboard today and two wild bunbuns said hi
went to ikea hoping to get a blahaj (i want plushiess) sadly they were out of stock instead i saw a bunch of cows
July 17, 2025 at 9:48 PM
went to ikea hoping to get a blahaj (i want plushiess) sadly they were out of stock instead i saw a bunch of cows
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
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
July 17, 2025 at 9:40 PM
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
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
i think i should just have fun and not feel guilty abt how slow my progress is
July 15, 2025 at 11:12 PM
i think i should just have fun and not feel guilty abt how slow my progress is
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
but i don't have much time, is it even healthy for me to keep saying that
July 15, 2025 at 10:17 PM
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
but i don't have much time, is it even healthy for me to keep saying that
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
July 11, 2025 at 3:44 PM
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
"fast" order of complexity implemented!! the tests are ass rn but it's bc i wanted to get it done before i eeeep
July 11, 2025 at 4:46 AM
"fast" order of complexity implemented!! the tests are ass rn but it's bc i wanted to get it done before i eeeep
holy shit when i'm locked in i can be very scary
July 11, 2025 at 1:56 AM
holy shit when i'm locked in i can be very scary
made the repo public to pressure myself to do more (havent coded much past 2 days)
github.com/Adalovescoff...
github.com/Adalovescoff...
GitHub - Adalovescoffee/termrewriting
Contribute to Adalovescoffee/termrewriting development by creating an account on GitHub.
github.com
July 10, 2025 at 9:11 PM
made the repo public to pressure myself to do more (havent coded much past 2 days)
github.com/Adalovescoff...
github.com/Adalovescoff...