Also @ocharles@mastodon.social
Joined February 2007
- Tweets 17,544
- Following 1,118
- Followers 3,781
- Likes 24,262
750 Photos and videos
Pinned Tweet
28 Nov 2022
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 @ocharles@mastodon.social. Peace ✌️ mastodon.social/@ocharles
1
11
0ch4rl3s.nfo retweeted
26 Nov 2022
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.
2
5
16
0ch4rl3s.nfo retweeted
Write your tests purely in terms of the public API, you will thank yourself 😭
2
2
20
0ch4rl3s.nfo retweeted
23 Nov 2022
Tout plaquer et déposer son CV pour être testeur de jeux de parc pour enfants, clairement c'est l'objectif.
158
5,336
29,805
23 Nov 2022
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
0ch4rl3s.nfo retweeted
22 Nov 2022
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…
5
101
306
19 Nov 2022
"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
19 Nov 2022
Incredible. Not liking this current trend of constantly one-uping each other on behind so incredibly detached from reality
1
0ch4rl3s.nfo retweeted
1 Nov 2022
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)
11
63
244
18 Nov 2022
Shubh Saran is criminally underrated - I hope he plays in the UK soon! youtube.com/watch?v=il5ate36…
0ch4rl3s.nfo retweeted
15 Nov 2022
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
45
0ch4rl3s.nfo retweeted
15 Nov 2022
Grandad Rogers talks about his first job as a mystery solver
171
1,175
6,957
0ch4rl3s.nfo retweeted
14 Nov 2022
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
14 Nov 2022
Days since I lost hours of producitivity due accidentally writing let x = x: 0
5
1
21
0ch4rl3s.nfo retweeted
13 Nov 2022
Elon’s own website keeps fact checking him lmao
Community note
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/
396
12,773
153,215
0ch4rl3s.nfo retweeted
11 Nov 2022
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.
190
1,145
9,335
0ch4rl3s.nfo retweeted
11 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
190