Martin Janiczek reposted
Martin Janiczek
Martin Janiczek
@janiczek.cz
martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
1K followers641 following1.3K posts
Martin Janiczek reposted
Martin Janiczek reposted
Have you ever wondered why companies can charge $15 to send 1000 emails? I sent emails with just a TCP connection until I eventually figured it out: evancz.dev/why-is-it-so...
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Právě teď probíhá na Staromáku přesně taková demonstrace, o jakou se otírám v úvodu tohoto nedávného textu de.profundis.cz/journal/63
Martin Janiczek reposted
Awesome nerdy livestream alert! In not even ✨one hours time✨ there will be An Evening of Unnecessary Detail at the RI and there's a pay what you can livestream :) I know its gonna be amazing cos it features my bestie @sophiemacmaths.bsky.social 💗 www.rigb.org/whats-on/eve...
Martin Janiczek reposted
Martin Janiczek reposted
A big part of the PHP fix was just one guy in Czechia, Ondřej Surý. What he had to say about it is worth a read www.theatlantic.com/technology/2...
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Elm 0.19.3 is out today! ✨ elm-lang.org/news/another... ✨ Check out the roadmap for the next few releases too. We are preparing the compiler for some exciting improvements and features 😊
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
Martin Janiczek reposted
I've had people ask before why I post art that's been drawn on lined or grid notebook paper and not blank drawing paper. It's honestly a big psychological hack: blank drawing paper is for "real" art and I'm afraid to mess it up, but art on lined paper is legally "a doodle" and the art cops have […]
Martin Janiczek reposted
Nothing tests your compiler's O(n^2) behaviour like... package.elm-lang.org/packages/Cha...
Martin Janiczek reposted
It is easy to define per-row security policies with Acadia: ✨ acadia.engineering/blog/simple-... ✨ The compiler then does "symbolic evaluation" at compile time so that in many cases, you pay zero runtime cost for your security guarantees! The example app runs an Elm server too! 🚄
Martin Janiczek reposted
Grandia continues! This stretch of the game is grindy and contains two optional dungeons that represent the extreme ends of the JRPG dungeon spectrum. One is dense, charmingly themed and has the best boss fight in the game thus far. The other is just a long, boring cave! #crt #retrogaming
Grandia continues, finally, to disc number two. After acquiring new party member Rapp I took a look at his magic screen and immediately began reminiscing about how great Sue was. 😔 Milda, however, is most impressive. Most impressive, indeed. 😌 #crt #retrogaming
Martin Janiczek reposted
Martin Janiczek reposted
(Source: prydt.xyz/blog/a-few-g...) (Also, I mean: a language where the typeclass laws would be checked after every operation? Probably unwieldy. Maybe invariants for a specific data type, not for a typeclass)
I get so triggered by AI prose... @zed.dev spend human time on writing please
vester.si/bodily-oddit... This reads similar to a _feeling_ of things being distant (like a max FOV camera?, but only feeling-wise, not visually)... I wonder if it's still part of this syndrome. I unironically love when it happens, though I don't love the fever that it comes with 😅
Martin Janiczek reposted
Roguecraft DX is out now!🎉 We are flabbergasted by the response from you awesome players! 90% positive reviews!🥰 Roguecraft DX blends cozy pixel charm with turn-based dungeon tension. Buy now on Steam: thalamus.link/roguecraft #steam #screenshotsaturday