adalovescoffee
@adalovescoffeee.bsky.social
extremely stubborn math wanderer, olympic mud swimmer
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))
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
"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
yes i will spread rust in la
July 7, 2025 at 11:20 PM
yes i will spread rust in la
term rewriting achieved in rust :D
July 2, 2025 at 12:42 AM
term rewriting achieved in rust :D
absolute cinema (first try ehehe) can match two trees that start on the same node, now all i need to do is move the nodes and i'll be able to do term rewriting in rust :D
June 29, 2025 at 7:31 PM
absolute cinema (first try ehehe) can match two trees that start on the same node, now all i need to do is move the nodes and i'll be able to do term rewriting in rust :D
on my way to make the most ugly rust code ever made :D
this will definitely have consequences in the future, and i'm sure there is a better way to do this that doesn't look cursed (i mean the fact that variables are matched to anything btw here)
this will definitely have consequences in the future, and i'm sure there is a better way to do this that doesn't look cursed (i mean the fact that variables are matched to anything btw here)
June 28, 2025 at 8:01 PM
on my way to make the most ugly rust code ever made :D
this will definitely have consequences in the future, and i'm sure there is a better way to do this that doesn't look cursed (i mean the fact that variables are matched to anything btw here)
this will definitely have consequences in the future, and i'm sure there is a better way to do this that doesn't look cursed (i mean the fact that variables are matched to anything btw here)
ehehehe had issues with implicit multiplications that would turn all operators multiplications lol but now tis fixed :D
June 19, 2025 at 5:43 AM
ehehehe had issues with implicit multiplications that would turn all operators multiplications lol but now tis fixed :D
currently what i'm planning on this week + some details!
June 11, 2025 at 1:38 AM
currently what i'm planning on this week + some details!
tis not looking good for me
May 28, 2025 at 8:09 PM
tis not looking good for me
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)
May 19, 2025 at 10:54 PM
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)
i totally didn't have that in the report of the presentation abt rep theory i have tmr i am going to smack myself into a wall
and i already sent it to my prof
and i already sent it to my prof
May 15, 2025 at 8:25 AM
i totally didn't have that in the report of the presentation abt rep theory i have tmr i am going to smack myself into a wall
and i already sent it to my prof
and i already sent it to my prof
blue period is the best manga ever, this chapter is so pretty, the subject is very real ( it was about the difference between what makes a job and what makes a hobby in art), the art is soooooooooooooooooooo fucking sick HOLY SHIT I JUST LOOKED AT THISS WTF LOOK aaaaaaaaa
April 30, 2025 at 11:22 PM
blue period is the best manga ever, this chapter is so pretty, the subject is very real ( it was about the difference between what makes a job and what makes a hobby in art), the art is soooooooooooooooooooo fucking sick HOLY SHIT I JUST LOOKED AT THISS WTF LOOK aaaaaaaaa
new blue period chapter coming this week toooo, omg yaaay :D
April 22, 2025 at 6:48 AM
new blue period chapter coming this week toooo, omg yaaay :D
i love phoebe bridgers, great music tastee :D i just watched naruto back then, and used to listen a lot to the osts.
April 13, 2025 at 10:13 PM
i love phoebe bridgers, great music tastee :D i just watched naruto back then, and used to listen a lot to the osts.
and the topograph is doneee
took me a lot of debugging and looking at the same lines over and over but i'm glad it's over
took me a lot of debugging and looking at the same lines over and over but i'm glad it's over
February 14, 2025 at 2:53 AM
and the topograph is doneee
took me a lot of debugging and looking at the same lines over and over but i'm glad it's over
took me a lot of debugging and looking at the same lines over and over but i'm glad it's over
forgot to show this here (woops mb) but i made progress making a topograph in julia :) github.com/Adalovescoff...
February 4, 2025 at 9:17 AM
forgot to show this here (woops mb) but i made progress making a topograph in julia :) github.com/Adalovescoff...
And I don't want your pity
I just want somebody near me
Guess I'm a coward
I just want to feel alright
And I know no one will save me
I just need someone to kiss
Give me one good honest kiss
And I'll be alright
Nobody, nobody, nobody
I just want somebody near me
Guess I'm a coward
I just want to feel alright
And I know no one will save me
I just need someone to kiss
Give me one good honest kiss
And I'll be alright
Nobody, nobody, nobody
January 21, 2025 at 8:45 PM
And I don't want your pity
I just want somebody near me
Guess I'm a coward
I just want to feel alright
And I know no one will save me
I just need someone to kiss
Give me one good honest kiss
And I'll be alright
Nobody, nobody, nobody
I just want somebody near me
Guess I'm a coward
I just want to feel alright
And I know no one will save me
I just need someone to kiss
Give me one good honest kiss
And I'll be alright
Nobody, nobody, nobody
Wait hold up actually my brain was so close, it wasn't A8, it was the lie group E8 that i saw in that book cover in my dream
December 3, 2024 at 3:05 PM
Wait hold up actually my brain was so close, it wasn't A8, it was the lie group E8 that i saw in that book cover in my dream
Almost as many logs as analytical number theorists when trying to describe the gap between prime numbers
November 13, 2024 at 2:01 AM
Almost as many logs as analytical number theorists when trying to describe the gap between prime numbers
nooooo don't leave me :c (well at least there is no evil commutativity or associativity so this world should be fun)
November 11, 2024 at 6:35 AM
nooooo don't leave me :c (well at least there is no evil commutativity or associativity so this world should be fun)