Robin Palotai

@robinp
21 Followers
102 Following
539 Posts
Source code archeology and table tennis.

In #Haskell, newtyping doesn't start to make sense while primitive value pieces always happen in context of some more complex struct (because you keep passing the complex struct, which leaves not much for confusion).

But as soon as you start to pass pieces of the struct around, it starts to feel unsafe to just pass a random ByteString. That is a good point to factor in a small newtype wrapper.

I have a particular fondness for Hungary because I spent a formative time studying there. It was just after The Wall came down. I had so many encounters that conveyed a sense of hope for a bright future. I imagine the squares of Budapest feel like that again right now. โ†ต

Here we go.
Election day in Hungary.
Please keep your fingers crossed.
And your toes.
I don't even know what a best case scenario looks like, and I have no clue how today will go. It's stressful.

#Hungary #elections

Everyone in #Hungary is waiting for voting tomorrow. But I'm waiting something else as well. Tomorrow will be Insane! Because every Sunday, there's an Insane difficulty Clues By Sam, the logic detective game for SAT solver nerds.

I solved the daily #CluesBySam, Apr 11th 2026 (Hard), in less than 13 minutes

๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ
๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ
๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ
๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ
๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ๐ŸŸฉ

https://cluesbysam.com

Clues by Sam

A daily logic puzzle where you deduce who is a criminal!

As for whichever OS is the most secure. There surely are some diffs to begin with, but let's take an analogy.

In an algorithm book, there's a FAQ: which library is faster, one written in C, or one in Java? The answer: whichever library's author was more proficient in their own language.

Alike, the more secure OS will be that you have more expertise securing.

#FreeBSD #OpenBSD #Linux

It sounds as if electric trucks are great for long-range land transport. But they require heavy batteries, so rather than putting them on the road (where they'll damage the road surface), why don't we build special metal tracks for them to go on? And, on long trips, join a bunch of them together so that you only need one motor and driver for a load of them travelling in a convoy? I bet you could make freight transport a lot more efficient if you did that.

Our home #internet service has gone out during this snow storm. I still have mobile. But I also have offline access to #Wikipedia and #ProjectGutenberg on my laptop, thanks to @kiwix !
Last month I downloaded a 110GB zim file and repurposed a Raspberry pi to serve this content offline.
Its great that these priceless repositories of knowledge are free to access and use, and made available to self host. For me, this just a fun project, but for an offline school in an under developed country, this same tech can help kids learn or provide access to knowledge in an emergency.

https://get.kiwix.org/en/

Kiwix - Home

Discover Kiwixโ€™s hardware and software solutions for offline knowledge access across all major platforms. Learn about our mission to bring education worldwide without internet.

Kiwix
Does computer #history interest you, or maybe you're just curious where well-known and well-used tools come from? I've just updated the History of #Unix #Manpages, https://manpages.bsd.lv/history.html, with the content you didn't know you wanted til this very moment. Learn about how the "man" program came to be, and just why are manpages styled like that? It includes snippets from Cynthia "Cindy" Livingston, who wrote the manpage language "mdoc"; John Eaton, who wrote the first GPL man tool; Doug McIlroy, who helped to divide manpages into sections; and more. Did you know that serving manpages online was part of one of the original http daemons? Or that an xman existed before X11R6, in X10? Enjoy!
History of Unix Manpages