uli :3

311 posts

uli :3 banner
uli :3

uli :3

@9fem_

she/her (trans) | 15 | standard ML, scala, idris, mercury, erlang, scheme, prolog, clojure | plan 9, netbsd, freebsd

_ Katılım Mayıs 2024
76 Takip Edilen43 Takipçiler
uli :3
uli :3@9fem_·
fuck twitter !!!! im moving to bluesky
English
0
0
1
34
uli :3
uli :3@9fem_·
i really like scheme again, idk why, i blame will byrd
English
0
0
1
55
uli :3
uli :3@9fem_·
@ttforall honestly hard agree on that one, Java, whilst a bit verbose and ugly for modern standards, is quite literally the most conventional way of architecting systems, i think Scala does a good job of taking the best of both worlds
English
0
0
0
19
uli :3
uli :3@9fem_·
@ttforall bob harper sticker of approval
English
0
0
0
252
uli :3
uli :3@9fem_·
лигма
Srpski
0
0
1
57
uli :3
uli :3@9fem_·
i will understand proofs one day,,, i hope
English
0
0
2
79
uli :3
uli :3@9fem_·
why can't i sit down and just do the shit ive been excited to do all day????
English
0
0
0
64
uli :3
uli :3@9fem_·
@sabbott02 "tech literacy", or atleast knowing how things work under the hood, is important, don't trust any service provider that can't offer you a detailed specification of what its doing, you are entitled to freedom, nothing can better ensure your privacy than auditing code yourself
English
0
0
0
4
uli :3
uli :3@9fem_·
@sabbott02 i can only hope people take this as a call to abandon any regulated internet spaces, invest time to research alternatives to the predominantly closed, proprietary, controlled services we use, and divorce yourself from any self-identification and maintain anonymity
English
1
0
0
14
Simon Abbott - Agriculture and Dryland Salinity
Banning children under the age of 16 from social media is NOT about protecting children. Its a lever to force digital ID on everyone. You will have to have a digital ID to use the internet! This is totalitarianism.
Simon Abbott - Agriculture and Dryland Salinity tweet media
English
2
7
22
991
uli :3
uli :3@9fem_·
doing the same thing over and over again in marginally different contexts helps me learn
English
0
0
2
94
uli :3
uli :3@9fem_·
@JoelMcCracken i like the keybinds of kakoune, they feel intuitive already, i have no problem with elisp necessarily besides the fact its quite large, i just don't have the motivation to sit down and read
English
0
0
0
14
Seltzer Enjoyer
Seltzer Enjoyer@JoelMcCracken·
@9fem_ What do you like about it? I know elisp pretty well, how are you struggling with it?
English
1
0
0
20
uli :3
uli :3@9fem_·
kakoune is my favorite editor, im going to learn how to write plugins (which will prolly be much easier than using elisp i guess)
English
1
0
1
108
uli :3
uli :3@9fem_·
i want to do topological proofs in isabelle/HOL~, i don't know topology and i don't think its useful, but i really want to learn it because i feel like im missing out
English
0
0
1
72
uli :3
uli :3@9fem_·
i don't want to use Haskell, i don't want to get bullied by people on the internet :c
English
0
0
0
68
uli :3
uli :3@9fem_·
contravariance? like contravariant functors from the hit academia circle-jerk Category Theory???? holy topos, my cocategorical kan extension colimit is about to become a presheaf over weak infinity groupoids
English
0
0
3
101
uli :3
uli :3@9fem_·
i <3 scala
English
0
0
1
50
uli :3
uli :3@9fem_·
im learning scala now
English
0
0
0
56