@olafurpg looking into it. We are running your typescript and java scip indexers successfully, will see what I can do about kotlin

@olafurpg looks like the plugin APIs might have changed quite a bit for Kotlin 2 unfortunately.

@olafurpg just wondering if you know of any ETA or plans for Kotlin 2.0 in scip-kotlin. I'm exploring whether we can use this to index Meta Kotlin. But need Kt 2.0

@Margaritak yeah that second 50 is near perfect.

Why not score a 29 ball century? Was just waiting for someone to do it. The Marsh Cup is fun to watch.

#cricket #odi

https://www.cricket.com.au/news/3728655/jake-fraser-mcgurk-blasts-fastest-ever-list-a-century-29-balls-video-highlights-south-australia

I’m imagining a world where the British East India company played cricket against the VoC Dutch East India company and now Indonesia v India is the great cricket rivalry #cricket #odi

There it is. Netherlands dismissed Pakistan for 286. That’s an epic result #cricket #odi

Low key want to see Netherlands bowl Pakistan out. #cricket #odi #odiworldcup2023

Australia is using a stochastic process to converge on a team for the odi World Cup. Withdrawing players, adding others. We’re learning a lot but it’s difficult to watch

#cricket #AUSvINDIA

The way the bottlebrush sprouts seeds directly on its branches is slightly disturbing but also familiar. Firmly callistemon season in Sydney now.

#plantsofmastodon #sydney #bottlebrushtrees

Ah well. Shami to Smith. #cricket

Jadeja bowling to Smith and Labuschagne. Life is grand.

#cricket #ausvind

@Sharlock93 @pervognsen tbh just knowing which data types substitute for each other, when to float an optional out or a tuple in, or a vec of structs vs tuple of vecs… reasoning about data structures is a lot of the job

@Sharlock93 @pervognsen type theory. Formal descriptions of data structures and functions. You can understand or find new, useful data structures by describing them like this

They’re shaking their heads up on the high veldt right now

BBL greatest incubator

Wow Tim David taking a wicket on his first ball in an ODI!? #cricket #ausvsa

Tonight, there's going to be another episode of the #Haskell Unfolder. This time, because Edsko went to ICFP last week and I did not, I'm going to ask Edsko about the week and some interesting Haskell work that was presented there.

https://well-typed.com/blog/2023/09/haskell-unfolder-episode-11-haskell-at-icfp/

Anostostomatidae? Gondwana era cricket family, of NZ, Australia and South Africa

Very big cricket in the bathroom gave the kids a nightmare at bed time today. Like a wētā, I think it's an Australian king cricket? About 5cm long and antenna another 8. Plods along. #insectodon #insects #insectsofmastodon #australia