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
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
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 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"
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
β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
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