Joined March 2013
- Tweets 45,421
- Following 326
- Followers 369
- Likes 91,675
3,693 Photos and videos
Pinned Tweet
21 Sep 2022
Support Ukraine stopputin.net
24 Feb 2022
I condemn and oppose the war with Ukraine started by Russia.
This war didn't start today, it started 8 years ago.
Putin is not my president. He and every member of the ruling United Russia party are criminals and belong to prison.
This war is a disgrace.
1
🐷🐷🐷
> Derbyshire police officer investigated for using AI to 'create evidence' in multiple cases
news.sky.com/story/derbyshir…
24
Jun 13
1
1
39
🇺🇦 · ⚪️🔴⚪️ retweeted
if you have a $1 net worth,
you are closer to the 2nd richest person on earth, than he is to Elon.
read that again.
182
610
13,019
887,471
Jun 13
> Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell
irfanali.org/blog/repmin
21
🇺🇦 · ⚪️🔴⚪️ retweeted
Jun 11
The sound of meowing 🐾
ALT A four-panel comic featuring a fluffy black cat with very large round eyes, shown getting progressively closer to the viewer in each panel against a pale blue background. The cat says, “Hello human..” then “my old friend.” followed by “I’ve come to ask..” and finally, in an extreme close-up, “for food again.”
20
870
6,641
63,883
🇺🇦 · ⚪️🔴⚪️ retweeted
Jun 10
If you have ever read the Linux kernel source code and have come across READ_ONCE(), WRITE_ONCE(), and barrier() macros without fully understanding them, the articles below will help clarify how they work. These are excellent resources to learn about memory barriers and different memory models.
An introduction to lockless algorithms
lwn.net/Articles/844224/
Lockless patterns: relaxed access and partial memory barriers
lwn.net/Articles/846700/
Lockless patterns: full memory barriers
lwn.net/Articles/847481/
Linux Kernel Memory Barriers
kernel.org/doc/Documentation…
Memory Model and Synchronization Primitive - Part 1: Memory Barrier
alibabacloud.com/blog/memory…
Memory Model and Synchronization Primitive - Part 2: Memory Model
alibabacloud.com/blog/597461
2
39
260
9,562
🇺🇦 · ⚪️🔴⚪️ retweeted
Jun 11
Simon Peyton Jones (Co-creator of Haskell): "Why is the Internet so insecure? Primarily because all of our software infrastructure is written in unsafe languages like C.
If we'd written all of our Internet software and operating Systems in Haskell, 99% of all these exploits would be removed by construction.
It's like we've built a boat out of paper clips, and we're surprised if it's leaky. You shouldn't build boats out of paperclips, right, because they have holes in them. But then it's too late.
So we spend incredible amounts of human ingenuity and effort patching the holes in our boat built of paper clips. It's tragic."
Jun 8
Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages.
In this episode:
• Useful and useless programming languages
• Rust vs C
• Haskell vs OCaml
• Why functional programming matters
• Static languages and their value for LLMs
• Why Excel is his 2nd favorite programming language
Where to watch:
• YouTube - youtu.be/xcB_LF3cdqw
• Spotify - open.spotify.com/episode/5d9…
• Apple Podcasts - podcasts.apple.com/us/podcas…
• Transcript - developing.dev/p/co-creator-…
Thank you to the sponsor of this episode for supporting my work:
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at workos.com/
Chapters:
00:00 - Intro
00:39 - What functional programming is
09:18 - Downsides of functional programming
10:53 - Specialized hardware for functional programming
21:47 - Haskell is useless
25:59 - Rust vs C
28:26 - Haskell vs OCaml
35:26 - Side effects in Haskell
44:26 - Type systems
57:30 - How the Haskell compiler works
01:04:35 - Why Haskell is talked about more than used
01:09:07 - Avoiding success at all costs
01:11:12 - LLMs and programming languages
01:13:57 - New programming language design
01:15:59 - Should students continue to learn programming
01:22:33 - Why Excel is is 2nd favorite programming language
01:25:04 - Advice for his younger self
67
31
301
65,799
🇺🇦 · ⚪️🔴⚪️ retweeted
Jun 10
the Linux kernel had this bug too in kallsyms.c
Vegard Nossum fixed it and Linus signed off on the patch
the fix was changing mid = (low high) / 2 to mid = low (high - low) / 2
Joshua Bloch ended his article with a line that still holds up today
"it is hard to write even the smallest piece of code correctly, and our whole world runs on big, complex pieces of code"
research.google/blog/extra-e…
2
37
2,930
🇺🇦 · ⚪️🔴⚪️ retweeted
Jun 8
Jun 8
Vibe-coding is just a gambling addiction for SWEs
72
1,782
13,437
564,733
Jun 9
Most people significantly underestimate how much of the world exists despite C
Jun 8
most non-C developers are just users playing inside a C dev’s program.
25