WeetHet
@weethet.bsky.social
Developer, researcher, programming language theory nerd
Wrong move Jerry contradicting yourself I see I see
September 10, 2025 at 2:46 PM
Wrong move Jerry contradicting yourself I see I see
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:
December 6, 2024 at 6:11 PM
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:
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
November 6, 2024 at 12:29 PM
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
If you see this, post a bridge
October 24, 2024 at 12:43 PM
If you see this, post a bridge
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
October 22, 2024 at 10:49 AM
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
`String::into` compiles just fine for me
October 22, 2024 at 6:57 AM
`String::into` compiles just fine for me
![wave str =
map fst $ filter ((/= ' ') . snd) $ zip (applyToEach toUpper str) str
applyToEach _ [] = []
applyToEach f (x: xs) =
(f x : xs) : ((x :) <$> applyToEach f xs)](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:mojgntlezho4qt7uvcfkdndg/bafkreifubq7tsacfibjy4mdwwn3sxsb7lh3rvnuwevdjh4av6o5sjjl4iy@jpeg)
All systems are back to normal, congratulations to the engineers on a very quick response
August 15, 2024 at 12:33 AM
All systems are back to normal, congratulations to the engineers on a very quick response