Miles Sabin's Avatar

Miles Sabin

@milessabin.com

Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.

1,366
Followers
1,018
Following
475
Posts
01.07.2023
Joined
Posts Following

Latest posts by Miles Sabin @milessabin.com

Preview
Typelevel Foundation is a 501(c)(3) public charity

The Typelevel Foundation was determined to be a 501(c)(3) public charity!

This is a testament to the intellectual merit and educational value of our community's contributions to functional programming. Congratulations!

typelevel.org/blog/charity...

05.03.2026 14:55 πŸ‘ 7 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0

Nice to wake up to good news for a change.

27.02.2026 06:01 πŸ‘ 6 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

All of them (please πŸ™‚)

24.02.2026 14:41 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I found the last chapters of Rodrigo Nunes' Neither Vertical nor Horizontal super interesting on this.

22.02.2026 13:49 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

No B.S. Johnson reference?

09.02.2026 12:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

@jemgilbert.bsky.social @profafinlayson.bsky.social where's the emergency podcast? It's been at least twenty minutes ...

08.02.2026 14:30 πŸ‘ 3 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

I was wondering if you could split the arrays around a common pivot, then parallelize the upper and lower merges.

06.02.2026 09:54 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Is there any interesting distribution of the elements within the arrays?

06.02.2026 08:47 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I'd be interested to know what you've tried. Are the arrays the same length? Length (much?) greater than N?

06.02.2026 08:36 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

The spectacle is NOT a collection of images ...

31.01.2026 19:29 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

@barnabyedwards.bsky.social Hey! I'd love a Babycham ...

13.01.2026 22:29 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

What do we want? Flexible strategic pluralism!

When do we want it? The future limits of possibility are opaque!!!

11.01.2026 11:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
BΓ©la Tarr on SΓ‘tΓ‘ntangΓ³ at 30: β€œThe length of a movie all depends on what you want to say. I don’t care what is acceptable” With the news of BΓ©la Tarr’s death at 70, we revisit our 2024 interview in which the visionary Hungarian director looked back on the making of one of the monumental films in modern cinema: his cosmic,...

RIP BΓ©la Tarr ... www.bfi.org.uk/interviews/b...

06.01.2026 13:42 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 1

Early Christmas present from me if you're reading this and you're a:

- Senior web developer
- In London
- Really into books and libraries
- Looking for work rn

I am excited to inform you that the British Library is hiring a new head of web development

ce0752li.webitrent.c...

24.12.2025 11:30 πŸ‘ 23 πŸ” 19 πŸ’¬ 2 πŸ“Œ 0

For sale: coffin, barely used ...

02.12.2025 11:00 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Black Narcissus

28.11.2025 21:23 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

In any case, gmail is also about to pull the plug on fetching and forwarding from pop accounts, so even if I still cared about the occasional spam that's sent to that address, I'd need a different e-mail client to read it. 3/3

26.11.2025 19:58 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I say "forgotten" because it really was forgotten ... I switched away from that service provider (Mistral, if anyone from Brighton remembers them) in the early 00's ... somehow the pop account and my access to it survived despite it not being paid for in over 20 years. 2/3

26.11.2025 19:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

All that is solid melts into air ...

The plug is finally being pulled on the forgotten pop (!!!) e-mail account which I've had since the 1990's. 1/3

26.11.2025 19:58 πŸ‘ 1 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Well that was fun ...

22.11.2025 23:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Photo of the cover of the book "Analytic Philosophy and the Return of Hegelian Thought", Paul Redding

Photo of the cover of the book "Analytic Philosophy and the Return of Hegelian Thought", Paul Redding

A little light reading for the weekend ...

21.11.2025 11:01 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
The report said the increase in green party support suggested for a significant minority of Jews, domestic priorities and progressive values outweigh foreign policy concerns.

The report said the increase in green party support suggested for a significant minority of Jews, domestic priorities and progressive values outweigh foreign policy concerns.

The Guardian are reporting a significant increase in Jewish people voting for the Green Party.

It's almost like many of us grew up learning a history of persecution & violence.

We don't oppose the Genocide in spite of being Jewish but because of it.

Never again for everyone.

20.11.2025 08:08 πŸ‘ 1253 πŸ” 307 πŸ’¬ 21 πŸ“Œ 11

Lucky me just snagged a return ...

17.11.2025 21:24 πŸ‘ 5 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

Number of refugees per 1,000 people:

πŸ‡±πŸ‡§ Lebanon: 137
πŸ‡©πŸ‡ͺ Germany: 31
πŸ‡ΈπŸ‡ͺ Sweden: 23
πŸ‡§πŸ‡ͺ Belgium: 14
πŸ‡³πŸ‡± Netherlands: 13
πŸ‡¬πŸ‡§ UK: 6.5

We are not a "generous country". There is no crisis, other than a bankrupt political elite scapegoating the most vulnerable people on Earth.

17.11.2025 08:40 πŸ‘ 9 πŸ” 6 πŸ’¬ 0 πŸ“Œ 0

Well done New York!

05.11.2025 07:19 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
CNBC headline: "Elon Musk’s AI-powered Wikipedia competitor goes live after a rocky launch". I've struck through "AI-powered" in red, and replaced it with "Wikipedia-powered"

CNBC headline: "Elon Musk’s AI-powered Wikipedia competitor goes live after a rocky launch". I've struck through "AI-powered" in red, and replaced it with "Wikipedia-powered"

Grokipedia attribution text: "The content is adapted from Wikipedia, licensed under Creative Commons Attribution-ShareAlike 4.0 License."

Grokipedia attribution text: "The content is adapted from Wikipedia, licensed under Creative Commons Attribution-ShareAlike 4.0 License."

fixed that for you

28.10.2025 16:33 πŸ‘ 4424 πŸ” 1060 πŸ’¬ 68 πŸ“Œ 50
Preview
β€˜Change course now’: humanity has missed 1.5C climate target, says UN head Exclusive: β€˜Devastating consequences’ now inevitable but emissions cuts still vital, says AntΓ³nio Guterres in sole interview before Cop30

Overshooting 1.5Β°C wasn't 'inevitable.'

We've been pushed by fossil fuel giants & governments that pander to them.

Every delay, every oil field, every broken promise made this crisis worse.

Keir Starmer, will you promise to leave Rosebank undeveloped?

www.theguardian.com/environment/...

28.10.2025 11:20 πŸ‘ 2331 πŸ” 800 πŸ’¬ 49 πŸ“Œ 35
Preview
Government will not 'be held to ransom' by doctors strike, says Wes Streeting The health secretary is refusing to make concessions on pay after the BMA announced a further walkout.

Wes Streeting says "little or no support" for striking docs. Let's prove this cunt wrong. Repost if you wanna show solidarity with essential workers fighting for their rights after years of underfunding and real terms pay cuts. Who's with me?

#NHSHeroes

✊️✊️✊️✊️✊️

www.bbc.co.uk/news/article...

26.10.2025 20:33 πŸ‘ 60 πŸ” 41 πŸ’¬ 4 πŸ“Œ 4

Anxiety inducing though ... Belle Tout is getting perilously close to the edge ...

25.10.2025 15:14 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Sir, this is a Declining Authoritarian Global Hegemon ...

22.10.2025 19:15 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0