@acid2

Also @ocharles@mastodon.social

 London
ocharles.org.uk
Joined February 2007
  • Tweets17.5K
  • Following1.1K
  • Followers3.8K
750Media
In light of all the recent decisions made, I've decided to wind down activity here now. I can't use this platform in good conscience, and will be moving to Mastodon. You can find me at @[email protected]. Peace ✌️ mastodon.social/@ocharles

Ollie Charles (@[email protected])

106 Posts, 378 Following, 706 Followers · Haskell programmer. Also like graphics programming, electronic music, jazz, metal, cycling and weightlifting. https://ocharles.org.uk

mastodon.social
1
11
A new Haskell coverage report tool is ready to try out! github.com/NorfairKing/dekki… If you've been looking forward to try it, please have a look. I would be happy with any feedback.

GitHub - NorfairKing/dekking

Contribute to NorfairKing/dekking development by creating an account on GitHub.

github.com
2
5
16
Write your tests purely in terms of the public API, you will thank yourself 😭
2
2
20
Tout plaquer et déposer son CV pour être testeur de jeux de parc pour enfants, clairement c'est l'objectif.
158
5,239
375
29,432
I'm exploring replacing a project's use of "lens" with "optics". Does anyone know how I traverse over a lens (not a traversal)? In lens this is `traverseOf`, but `traverseOf` in optics requires `Applicative f` (but `Functor f` is enough).
2
2
4
Huge news for Haskell today: our WASM backend has been merged into GHC! Compared to our older "Asterius" work, the result is greater speed and support of advanced runtime features. 🚀 tweag.io/blog/2022-11-22-was…

WebAssembly backend merged into GHC

Announcing the GHC WebAssembly backend – present and future

tweag.io
5
100
11
305
"Of course I am not Qatari, I am not an Arab, I am not African, I am not gay, I am not disabled,” he added. “But I feel like it, because I know what it means [..], to be bullied, as a foreigner in a foreign country. As a child I was bullied – because I had red hair and freckles"
1
1
Incredible. Not liking this current trend of constantly one-uping each other on behind so incredibly detached from reality
1
Gonna miss this site
3
I'm making category theory videos on YouTube! The first two are up: they're on presheaves and products (from the Yoneda perspective). youtube.com/watch?v=CY21lm4D… youtube.com/watch?v=ge5M-YCJ… Who are these for? (1/3)

Why presheaves? (Episode #1) Diagrams, actions, and representability

The first in a series of videos on the role of presheaves in catego...

youtube.com
11
63
1
240
Shubh Saran is criminally underrated - I hope he plays in the UK soon! youtube.com/watch?v=il5ate36…
0ch4rl3s.nfo retweeted
0ch4rl3s.nfo@acid210 Nov 2007
Does anyone have a Twitter account?
4
7
The ability to unpack sum types will come with ghc-9.6. Shoutout to @_osa1 wo worked on this ages ago and obsidian systems who did the brunt of the work to resurface and update this code.
3
8
1
45
0ch4rl3s.nfo retweeted
Michael Fry@BigDirtyFry15 Nov 2022
Grandad Rogers talks about his first job as a mystery solver

Grandad Rogers on Mystery Inc.

169
1,136
363
6,865
I've released difftastic 0.38! In this release: * Better display of line numbers * A bunch of display bugs fixed * Better handling of parse errors in input files github.com/Wilfred/difftasti…
2
4
24
Days since I lost hours of producitivity due accidentally writing let x = x: 0
5
1
21
Elon’s own website keeps fact checking him lmao
Readers added context they thought people might want to know
The referenced note was not added by Twitter's fact-checking team. It was added through the crowdsourced Birdwatch program by independent Twitter users. blog.twitter.com/en_us/topics/p… twitter.github.io/birdwatch/
393
12,414
562
151,104
Whenever I visit London I’m fascinated by the distinctive sound of the Jubilee Line trains accelerating. Last time I visited, I thought of the idea to turn it into a pad, and it has now become a staple sound in one of my current game projects.
188
1,121
181
9,219
0ch4rl3s.nfo retweeted
gabby@GabriellaG43911 Nov 2022
Right now I'm working on a NixOS book The main summary is that I'm about 60 pages in and I'll begin publishing my work in progress on Leanpub once the cover is ready
7
17
1
190
Load more