ppl like working from home bc it's easier to feel safe there

Wordle 332 4/6

⬜⬜⬜🟨🟨
🟩⬜⬜⬜⬜
🟩🟩🟨⬜⬜
🟩🟩🟩🟩🟩

Wordle 331 5/6

⬜⬜🟨🟨⬜
⬜⬜⬜⬜🟩
⬜⬜🟨⬜🟩
🟨🟩⬜⬜🟩
🟩🟩🟩🟩🟩

I'm old enough to remember when software that sent records of everything you did and websites you visited was called "spyware".

How times have changed.

And I don't mean that spyware has gone away.

Trying out BookWyrm (like fediverse GoodReads). I'm robd if anyone else there wants to follow:

bookwyrm.social/user/robd

(The GoodReads import wonked up a bunch of dates, so don't trust my timeline atm.)

How are people doing effect systems in rust 🦀 ? searched and found this post about it without.boats/blog/the-problem Are there other things I should read? can someone recommend examples of other resources to read?

Ultra specific question, but does anyone know where i can find the definition of "High Value Datasets" according to European Directive on the re-use of public sector information 2003/98/EC? It doesn't seem to be in the text i've found but is widely referenced.

Funny how when you re read some technical book again after 10+ years :
a) Remember what you thought about it and what you learned
b) Get completely different (layered) meaning on the text.
c) Feel like you are "wasting time" because you could be reading something new but a) and b) make you wonder if you need to stop reading any new books ever until you finish re-reading all the books you read just in case

Does anyone know a historian of programming languages that focuses on Logic programming or specifically prolog? A bit of a long shot

Someone I know is working with a conference and they need help from someone with this background

announcement (boosts appreciated) 

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in the world during the months of July and August 2022.

The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.

This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.

Read more: groups.google.com/g/homotopyty
Join the Discord: discord.gg/tkhJ9zCGs9

“Do you wanna build a browser?
Come on a tab buffet
I never use Chrome any more
Let's make one we adore
I won't let you astray
There used to be so many
But now there's not
I wish you would help me try
Do you wanna build a browser?”
by @olafurw

In case anyone here is interested... we're having an Idris Developers Meeting next month (online). Details here: github.com/idris-lang/Idris2/w

My plan is to use it to spend a whole week at once working on the new Idris core, rather than a few hours here and there every week... but please come along for as little or as much of it as you like!

I have/had a List on Twitter called "PL people" followed by bunch of people, it would be handy to have something like this here too! Are you involved with programming languages/compilers either in academia or the industry? Reply here so it can be easier for us to find each other!

Turtle graphics as a program number 3 seems like a good fit

To help out newcomers, what is your favorite Mastodon-app for android-phones?
Reply for other alternatives I haven't found yet.

Show older
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.