Miikka
miikka.bsky.social
Miikka
@miikka.bsky.social
Software engineering, kayaking, books. https://miikka.me

Mosty I post on Mastodon at https://mastodon.social/@Miikka/
How disappointing, they should've kept the rainbow colors at least
January 16, 2026 at 6:45 PM
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?
December 20, 2025 at 7:23 AM
Yhden yön svengaa Åke Blomqvist, kun soi jazz, fox, pop-rock sekä twist.
December 18, 2025 at 1:20 PM
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.
November 17, 2025 at 6:01 PM
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.
November 17, 2025 at 5:58 PM
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.
November 17, 2025 at 6:59 AM
I'm kind of curious: what kind of problems are people looking to use SlateDB to solve?
July 10, 2025 at 6:32 AM
Codex told me it has put your request on the backlog
July 1, 2025 at 6:00 AM
What's up with MemoryDB, is it super shoddy? It looks nice on paper but I never hear about anyone using it
May 11, 2025 at 4:55 AM
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...
February 13, 2025 at 7:15 AM
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?
February 12, 2025 at 7:33 AM
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 🙃
January 18, 2025 at 11:20 AM
Mutta se on eri herätä aikaisin kun tietää, että ei ole kiire minnekään!
December 23, 2024 at 5:47 AM
Itse en katso listoja vaan luotan onneeni
November 14, 2023 at 9:33 AM