Based on their job postings, they use it for most of their back-end: https://help.kagi.com/kagi/company/hiring-kagi.html#full-tim...

They use it for search afaik.

Yep[0] 70k lines of crystal code for kagi search[1]

[0] https://help.kagi.com/orion/company/hiring-kagi.html#full-ti...

[1] CrystalConf talk from a Kagi Tech Leas https://www.youtube.com/watch?v=r7t9xPajjTM

I can’t decide if I hate architecture-by-drawio or not.

Yes it is made with Crystal

I read somewhere that typically crystal is adopted by ruby developers

not sure if there is something similar in Python

Nim maybe?

Nim is probably closest, but it's probably more influenced by pascal, modula-2, Oberon... something like that iirc

it is, it's still fairly complex.

wish there is something simpler but statically-compiled with python syntax, something like crystal but for python developers.

Scala 3 with Braceless Syntax (scala-native for x86)

https://docs.scala-lang.org/scala3/reference/other-new-featu...

kotlin seems to be the Java trend now,anyway, don't know much about java

Not sure if it helps, but as someone who is a big fan of scripting languages like Python and someone who loves playing with all kinds of programming languages...I found Scala, Clojure, and Kotlin to be a much more frustrating experience than Python in a lot of ways. I wouldn't say there is enough in common.