iiinova — where your digital self keeps evolving

WeetHet

@weethet.eurosky.social

715 followers 534 following 429 posts

Developer, researcher, programming language theory nerd

Posts Replies Media

WeetHet @weethet.eurosky.social · 27/12/2025

Ah yes, because googling is so much harder than using a fucking LLM

010 1

WeetHet @weethet.eurosky.social · 10/09/2025

Wrong move Jerry contradicting yourself I see I see

030 3

WeetHet @weethet.eurosky.social · 06/12/2024

Do I have to post silly stuff to get more engagement on my programming skeets? Anyways, here's a couple of cats I saw recently:

White and black cat sitting with trees in the back

A black and white cat with pool infrastructure in the background

050 5

WeetHet @weethet.eurosky.social · 06/11/2024

Cyprus has the best weather in the mountains during this time of year. It's 15°C during the day. The views are amazing too

Mountainous view from the Troodos mountains. You can see the sea on the left and the forest in front

020 2

WeetHet @weethet.eurosky.social · 24/10/2024

If you see this, post a bridge

RhB Ge 4/4 III with a Regio Express train from St. Moritz to Chur on the Landwasser viaduct. The locomotive carries advertisement for the UNESCO world heritage Albula and Bernina lines. The stylized viaduct pictured on the locomotive is the very same that it is currently passing over! Also note the two first panoramic coaches. This type of panoramic coach is normally used on the Bernina line, but because there's less traffic on that line during winter they use the coaches on other parts of the network.

Kabelleger / David Gubler (CC BY-SA 3.0)

000 0

WeetHet @weethet.eurosky.social · 22/10/2024

I went and did some algebra in Scala for a change. It was as delightful as effectful backend development and I've learnt a lot about givens and contextual parameters. It's also the first time I used munit with scalacheck

An image showing test results:
tests.PolyRingTest:
+ polynomial ring zero is identity of addition 0.098s
+ polynomial ring unit is identity of multiplication 0.016s
+ polynomial ring has inverse 0.013s
+ polynomial ring addition is commutative 0.016s
+ polynomial ring addition is associative 0.022s
+ polynomial ring multiplication is associative 1.126s
+ polynomial ring multiplication is left distributive 0.112s
+ polynomial ring multiplication is right distributive 0.097s

tests.MatrixRingTest:
+ matrix ring zero is identity of addition 0.007s
+ matrix ring unit is identity of multiplication 0.006s
+ matrix ring has inverse 0.004s
+ matrix ring addition is commutative 0.0045
+ matrix ring addition is associative 0.003s
+ matrix ring multiplication is associative 0.005s
+ matrix ring multiplication is left distributive 0.004s
+ matrix ring multiplication is right distributive 0.005s

020 2

WeetHet @weethet.eurosky.social · 22/10/2024

`String::into` compiles just fine for me

110 1

WeetHet @weethet.eurosky.social · 16/08/2024

This better?

wave str =
map fst $ filter ((/= ' ') . snd) $ zip (applyToEach toUpper str) str

applyToEach _ [] = []
applyToEach f (x: xs) =
(f x : xs) : ((x :) <$> applyToEach f xs)

010 1

WeetHet @weethet.eurosky.social · 15/08/2024

All systems are back to normal, congratulations to the engineers on a very quick response

A GitHub status screenshot showing all systems being fully recovered

000 0