Hello types.pl!

@roundcrisis Not looking at mastodon enough, apparently :). But otherwise, more or less the same as ever... I'm currently rewriting the Idris core (again) in the hope of doing it right this time (ha ha). How about yourself?

@roundcrisis Hello!

Please excuse the shouting, I've just reached that point in a new implementation of a core language. Tomorrow: The World!

FOUR!

Some days I worry that the Internet knows everything about me. Other days, like today, Netflix tells me I'd enjoy documentaries about Margaret Thatcher and Jimmy Savile.

*washes mouth out*

@shapr Hehe. I just remember I kept falling off...

@shapr Yeah, I'm on that now, just most of the channels I'm on are pretty quiet these days.

@shapr Most of my favourite places to hang about on IRC seem to have moved elsewhere, it's a shame. Maybe I need to go looking for more!

What's fun this year in particular is that it turns out if I spend a few weeks (or more) away, people make it better. This is great! Thanks everyone!

I'm doing some Idris programming. It's fun. I wonder why I've never tried this before.

(It's possible that I say this at about this time every year.)

Hmm. Duo knows...

My inbox tomorrow is going to be exciting, I'm sure...

I don't come here much right now, and I know there are more important things in the world right now, but still... The main thing I've learned from striking the last couple of weeks is that I really need to take time off work more often...

I don't normally share these, but apparently I have some kind of special magical power today. I promise to use it wisely.

Wordle 214 2/6

⬛🟨⬛⬛⬛
🟩🟩🟩🟩🟩

@lambdatotoro Oh my. I'm not really paying attention to social media so I've totally missed this. Not sure if I should ask...

This looks like something I'll really enjoy, I've just pledged. Maybe other retro computing fans (or, at least, other geeks who grew up in the 1980s) might be interested too... https://unbound.com/books/20goto10/

If anyone else needs to know, it turns out the secret is to set your terminal app to "Open with Rosetta" then build with machine type ta6osx. Thanks @ChrRasmussen for the hint! I'll update the Idris 2 README...

@cypheon@mastodon.technology I've got it all working now via Rosetta. I'm mostly intending to stay on Linux for Idris hacking but it's nice to know this works.

I haven't tried the Racket fork of Chez yet, but I'm told it'll probably work better.

Dear LazyWeb - has anyone succeeded in getting Chez Scheme running on a new M1 Mac yet? It sounds like the Racket fork works, at least.