iiinova — where your digital self keeps evolving

Miikka @miikka.bsky.social · 10/10/2026

Possibly, but the difference between one-off drop and the clarity that there is more to come seems essential

Reposted by Miikka

Chad @chadtmiller.com · 28/09/2026

grain camera take 2: xpan edition the screen tries to replicate the hasselblad xpan viewfinder, dials, and lcds as much as possible. there's also a film strip view to review photos. made with an esp32 and 5mp camera took it out to the enchantments this weekend. pretty epic it all worked

812211

Miikka @miikka.bsky.social · 20/09/2026

they punch down on the podcast?

002

Reposted by Miikka

ionchy @ionchy.ca · 23/05/2026

start doing computer science <3

START DOING COMPUTER SCIENCE

* VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
* YEARS OF PROGRAMMING yet STILL MORE TO CREATE
* Don't want to write code anyway? We have a field for you: It's called THEORY
* "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired

LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):

[graph of the ARPANET] the Internet
[photo of an FPGA] FPGAs
[screenshot of RocqIDE] proof assistants

They have given us beautiful tools

6637149

Miikka @miikka.bsky.social · 22/08/2026

the classic benchmarking story

000

Reposted by Miikka

dave @gloomfather.bsky.social · 13/08/2026

yeah man "woke 1" sucked ass. I "woke 1" morning from uneasy dreams to find myself transformed into a giant insect

89160193696

Miikka @miikka.bsky.social · 03/07/2026

What do you recommend for a person who loves the Italian soft look but does not have broad shoulders?

120

Miikka @miikka.bsky.social · 02/06/2026

i love the finnish way of saying python, love to code in pyytton

030

Reposted by Miikka

Core Dispatch @coredispatch.xyz · 05/04/2026

Core Dispatch #1 New releases are slated to drop on Monday: 3.13.13, 3.14.4, and 3.15.0a8. PEP 803 got accepted, so free-threaded builds will have a stable ABI. Ken Jin also wrote up what's going on with the JIT in 3.15. coredispatch.xyz/editions/1

coredispatch.xyz

Core Dispatch #1 — Core Dispatch

A regular digest of what's happening in CPython — from merged PRs and PEP decisions to community discussions and upcoming events.

0138

Miikka @miikka.bsky.social · 06/04/2026

I don't think the LLMs are that great at coming up with optimization ideas, but if you have some good ideas yoursel/f to seed the exploration process, it could be worth it.

010

Miikka @miikka.bsky.social · 06/04/2026

Yeah! If you want to go all in, you could use do a autoresearch loop where the LLM tries out ideas, measures outcomes, and keeps the ones that work out. I've blogged about my experiences here: quanttype.net/p/speed-up-c...

quanttype.net

Speed up code with pi-autoresearch

How to use pi-autoresearch and what the results are like

100

Miikka @miikka.bsky.social · 25/03/2026

It's great! I was planning to start writing a series on quantization for my blog but this is so much better 😅 Now I don't need to write anything, I can just link to this.

111

Miikka @miikka.bsky.social · 16/03/2026

going for a big cowboy coffee

010

Miikka @miikka.bsky.social · 02/03/2026

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

010

Miikka @miikka.bsky.social · 16/01/2026

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

010

Miikka @miikka.bsky.social · 20/12/2025

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?

110

Miikka @miikka.bsky.social · 18/12/2025

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

000

Reposted by Miikka

princess bubblegum 🏳️‍⚧️ @vvv.gay · 19/11/2025

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

061

Miikka @miikka.bsky.social · 17/11/2025

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.

000

Miikka @miikka.bsky.social · 17/11/2025

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.

100

Miikka @miikka.bsky.social · 17/11/2025

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.

130

Reposted by Miikka

Pavel @spavel.bsky.social · 26/09/2025

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.

431517332

Reposted by Miikka

Nanoraptor @nanoraptor.danamania.com · 02/08/2025

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.

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.

87740109

Miikka @miikka.bsky.social · 10/07/2025

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

100

Miikka @miikka.bsky.social · 01/07/2025

Codex told me it has put your request on the backlog

010

Reposted by Miikka

Phil PlAIt @philplait.bsky.social · 15/05/2025

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

773082187

Miikka @miikka.bsky.social · 11/05/2025

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

000

Miikka @miikka.bsky.social · 13/02/2025

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...

010

Miikka @miikka.bsky.social · 12/02/2025

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?

220

Miikka @miikka.bsky.social · 18/01/2025

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 🙃

000

Miikka @miikka.bsky.social · 24/12/2024

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

020

Reposted by Miikka

Bethany Black @bethanyblack.bsky.social · 22/12/2024

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

6175142115

Miikka @miikka.bsky.social · 23/12/2024

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

010

Reposted by Miikka

KP Upadhyayula @kp11studios.bsky.social · 01/12/2024

This is, technically, a sandwich.

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

40585121395

Miikka @miikka.bsky.social · 30/11/2024

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

bsky.app

020

Reposted by Miikka

Miikka @miikka.mastodon.social.ap.brid.gy · 30/11/2024

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

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.

021

Reposted by Miikka

David Buchanan @retr0.id · 28/11/2024

sqlite truly is the sqlite of databases

702313117

Miikka @miikka.bsky.social · 14/11/2023

Itse en katso listoja vaan luotan onneeni

000

Reposted by Miikka

Tom Mewett @tmewett.bsky.social · 02/11/2023

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

021

Reposted by Miikka

Faine Greenwood @faineg.com · 02/11/2023

look at the bears eating apples

A bunch of black bears happily eating apples

702509679

Reposted by Miikka

⧉ @smilingnodding.bsky.social · 18/06/2023

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

2281