dolph🇩🇰🇺🇦

MSc in Danmarks tekniske universitet,fan of algebra and functional Ukraine!

[dolph🇩🇰🇺🇦 @easondp]

@deusaquilus It's interesting that while python is very popular now, it's quite hard to find a job if you are merely good at python, since there're too many people competing for a single python job.

[dolph🇩🇰🇺🇦 @easondp]

@raulraja @XebiaFunctional @jackcviers @diesalbla @fede_fdz @rafaparadela Thanks, personally I like monadic syntax, are there some disadvantages for that aside from too category theoretic?

[dolph🇩🇰🇺🇦 @easondp]

European people should care more about Justice and democracy, we are not doing enough!

[The Kyiv Independent @KyivIndependent]

⚡️Governor: 600 square kilometers of Kherson Oblast under water.

Following the Kakhovka dam breach, 600 square kilometers of Ukraine's Kherson Oblast have been flooded, Governor Oleksandr Prokudin said on June 8.

The average water level in the region has reached 5.61 meters.

[Oleksiy Sorokin @mrsorokaa]

We’re all scrolling through the chats where people are pleading to save their relatives stuck in the flooded villages occupied by Russia.

Russia is doing nothing to save them.

We are witnessing people in a death trap, and there’s almost nothing we can do.https://t.co/kDKX9AMm8u

[dolph🇩🇰🇺🇦 @easondp]

@TomekGodzik why are monadic futures not good enough? I think monads with for syntax is quite concise

[dolph🇩🇰🇺🇦 @easondp]

@paulg Predicting future is always difficult, It's just the rate of change that is accelerating

[dolph🇩🇰🇺🇦 @easondp]

@velvetbaldmime not sure,at least I feel the syntax for rust is so ugly and there's no plan to improve that

[dolph🇩🇰🇺🇦 @easondp]

@paulg could u tell Elon not to support dictatorships ? thanks!

[dolph🇩🇰🇺🇦 @easondp]

@sama However, "predict the next word" is quite different from "survive and reproduce" since the first one has a mathematical definition,while the later one doens't. In addition , the later one can physically affect itself,which is not true for the first one.

[dolph🇩🇰🇺🇦 @easondp]

Let's build some UI in Scala 3!

[Anton Sviridov @velvetbaldmime]

A Scala 3 Native application, running Gtk4 bindings made with my own generator (and a small set of hand-coded helpers).

Generator: https://t.co/IQhXNlYEBX
Repo: https://t.co/1qyiWclD60

Very rough, but it's been a long road and I'm happy for this milestone

[dolph🇩🇰🇺🇦 @easondp]

@velvetbaldmime cool ! we might add extension method for `Ptr[GtkWindow]` but might be too tedious manually.
I'm using touchscreen with stylus under linux and want to write a floating widget(like apple assistive touch), could you give some hints since there seems a lack of gtk4 docs,thanks!

[dolph🇩🇰🇺🇦 @easondp]

@rtarasovs They won't listen to this,feel like a better idea to write a linux distro in scala 3 native

[dolph🇩🇰🇺🇦 @easondp]

@elonmusk providing more help for Ukraine is far better advertisement than this

[dolph🇩🇰🇺🇦 @easondp]

@rockthejvm @Microsoft glad to see Scala in ML! besides,there's also https://t.co/U7uUHR0c2v

[dolph🇩🇰🇺🇦 @easondp]

@velvetbaldmime nice! just feel the name "dex" is a misnomer,which similar to the android dex format

[dolph🇩🇰🇺🇦 @easondp]

@paulg didn't get what you mean. To believe sth is false is equivalent to don't believe sth is true

[dolph🇩🇰🇺🇦 @easondp]

@Yintinusa 英语ok，主要问题是美国签证吧？

[dolph🇩🇰🇺🇦 @easondp]

@paulg Thanks for standing up Paul ! Seems a bunch of Russia agent appearing in the replies

[dolph🇩🇰🇺🇦 @easondp]

Thinking about creating a course "algebraic programming" for the algebraic way of writing code. In addition to functional programming will also cover metalogic,HoTT,algebraic topology,akka ecosystem,and how to apply them to real life . #algebra #programming