Miikka

Nice, your link picks are great but there are so many of them

How disappointing, they should've kept the rainbow colors at least

Didn't you originally run your mailing lists by just sending from GMail, or do I misremember? At what point did you graduate from that?

Yhden yön svengaa Åke Blomqvist, kun soi jazz, fox, pop-rock sekä twist.

unwrap is the best function in Rust, and all Real, Professional Programmers should use it as much as possible in their corporate software

But I'm sure there are plenty of people who would like to see, say, Rust with more powerful type system. Sooner or later there will be a new wave of interest and maybe someone then figures out the right combo of ergonomic and powerful to make it practical.

Tough to say. There was lots of interest and research in advanced type systems in the 2010s and I feel like the theorem proving direction panned out - for example, Lean is getting traction among top-level mathematicians and the math proof generating AI models target it. SW dev direction petered out.

Programming languages with dependent types might be a good term to look for. Lean and Agda are two more prominent languages in this space. They all lean more towards theorem proving than software development though.

Waiting for Godot: The Hunt for Godot is the recently announced newest installment of the Godotverse. The long awaited sidequel follows Godot's adventures during the events of the original play.

A photo of an Apple keyboard with the alphabet keys changed depending on the frequency of letters in English in this case. the E, A, D, T, I, O, L and N keys are quite large, while Q, X, Z, K, and V are quite small.

Studies have found the most logical and fastest keyboard layout is not between key orders like qwerty and dvorak, but one that prioritises the size of keys depending on the frequency of those letters in the language being typed, regardless of the ordering.

I'm kind of curious: what kind of problems are people looking to use SlateDB to solve?

Codex told me it has put your request on the backlog

My next book will just be photographs of plants and the title will be, "A Hummingbird Was Here 1/10th of a Second Ago"

What's up with MemoryDB, is it super shoddy? It looks nice on paper but I never hear about anyone using it

Yeah, I figure out being a bit behind is perfectly acceptable for a lot of usecases. For user interaction, it would be annoying - probably no-one would pick Epsio for such use initially, but I bet the temptation is there if you already use it and the results are right there in the database...

Nice interview! I was left wondering if the latency in Epsio and similar systems causes problems. If you update the source data and then you want to query the results table, how do you know if it's up-to-date? Can you at least know how up to date the data is?

If you're an Apple user, then I'd recommend the Apple Magic Keyboard. It seems to be the same keyboard as on their laptops.

I've got a fancy mechanical keyboard but despite using it for a two years, it feels easier to type on the laptop 🙃

Tilaa hoitavan perheen elämä järkkyy kun eläköitynyt professori nuorine vaimoineen saapuu hamppuviljelmälle. Anton Tšehovin Ganja-eno

I heard there was a secret ooze that turned four reptiles into dudes, but you don’t really care for turtles do ya

Mutta se on eri herätä aikaisin kun tietää, että ei ole kiire minnekään!

Funny comic strip. A person says “the weathers horrible today”. A cloud flips him off, saying “ugly pr#ck”. Illustration drawn in simplistic cartoon line art style. By Amii Illustrates.

Picture of two slices of bread, one stacked on top of the other crust side, with ham and cheese in between

This is, technically, a sandwich.

Not posting much here but you can follow my Fediverse bridge account bsky.app/profile/Miik...

ON THE NATURE OF THIS REALM In the endless Nordic twilight of Helsinki, I maintain quanttype - a digital testament carved from code and shadow. I am Miikka Koskinen, a software architect forged in the cold fires of mathematical proof. When not wrestling with the eternal chaos of engineering, I stalk the urban wilderness with my camera, lose myself in worn tomes, and venture into the merciless Finnish wilds. Here I chronicle my descent through technology’s dark labyrinth.

Tried to make a dark mode for my blog but accidentally made it grimdark

sqlite truly is the sqlite of databases

Itse en katso listoja vaan luotan onneeni

🗿 is my role model. I want to be 🗿. Whenever I feel afraid or doubtful, I think "🗿" and it helps me through

A bunch of black bears happily eating apples

look at the bears eating apples

in googling around for this post i discovered that navy researchers in san diego taught a sea lion to play pac man (probably for evil purposes tbh) and apparently hes actually pretty good at it

\m/