@joaompfe

Typed functional programming.

 Dublin City, Ireland
Joined August 2022
  • Tweets7.2K
  • Following441
  • Followers240
184Media
They can make gold out of mercury. But can they make bitcoin out of mercury?
1
22
Maybe I’ll buy a Fairphone since their logo says FP.
1
23
I must say that seeing PHP and Node.js systems collapsing is very funny.
1
39
Code is the context.
Leo builds
@LeoBuilds_Oct 21
If you use Codex and Claude on the same codebase, how do you share context between them?
1
41
There’s never been a greater time in history to be a software engineer.
1
3
136
Another great reason to use Haskell is that it’s not PHP…
5
125
Specially since we have AI now that can migrate your PHP app to a better language and fix and a lot of the slop along the way (because if you program in PHP I’m sure there’s a lot of slop).
Travis Whitaker (hs/acc)
@TravisMWhitaker19h
People who use absolute dog shit, worst of the worst, you’d be better off doing any kind of unskilled manual labor tier programming languages are all really upset today. Wonder why…
2
37
People who use absolute dog shit, worst of the worst, you’d be better off doing any kind of unskilled manual labor tier programming languages are all really upset today. Wonder why…
7
3
4
86
7,628
How on earth did this happen: The Indian certificate authority (CA) eMudhra had one job (well, two): 1. Create secure, 384-bit private keys 2. Store these securely and do not leak them Well, eMudhra chose private keys between 1 and 256 (the numbers!!) and called it a day. WTF
Linus Mixson
@LinusMixsonOct 20
I don't really understand why this would happen. It seems higher-effort than standard key generation.
226
645
128
7,496
468,405
After seeing a few videos from France, I just want to say: Heil Hitler.
4
45
In the small, every technique works.
3
69
This is what @Lipton tea looks like! Full of dried larva’s! Absolutely disgusting! I wonder what else is in it. Probably some dried poop.
1
2
56
Man is an animal of habits.
28
This is what happens when you have too much subsidies. Cool!
Elon Musk
@elonmuskOct 16
Turns out the future does have flying cars
3
3
284
Unison Cloud, our distributed computing platform, is now open source: unison-lang.org/blog/unison-… ✅ Service deploys in seconds. ✅ Fast, typed, inter-service communication ✅ High level, multi-node structured concurrency programming model ✅ Typed storage ...and more

Unison Cloud is now open source · Unison programming language

Unison Cloud is open source, MIT licensed. We think this tech will be more useful to the world as an open source technology and hope that people build great things with it.

unison-lang.org
4
15
6
81
3,435
Most programming languages do not allow you to build reliable abstractions. That includes all mainstream, side-effectful, languages.
2
11
367
It’s always great to hear Odersky. On saving prompts together with the code: with the exception of things that cannot be easily expressed with the type system (e.g. typeclass laws), I am almost always against comments. And prompts seem the same.
Matej Cerny
@matej_cernyOct 14
Even though Scala is niche, I still think it's the most AI-ready language. Martin Odersky's @scaladays keynote shows why 👇 youtube.com/watch?v=jlJyuJhD…

Martin Odersky – Keynote: The End of Programming? #ScalaDays

More: https://scaladays.org/sessions/Opening-Session-Keynote-The-En...

youtube.com
30
My agents know how to write commit messages: - Title only. Nobody reads commit bodies. Noise. - No Jira keys. That shit is noise. Code is the source of truth.
3
127
I am guessing this is irony. But if not… I wonder what you guy have been doing all this time. Closing Jira tickets?
Kevin Naughton Jr.
@KevinNaughtonJrOct 14
i can't believe software is dead it's a shame because i spent all these years getting good at solving hard problems sucks that those skills aren't applicable to anything else
2
55
I have no doubt all all personal data in all European government systems is already leaked into the secret services of Russia, China, and USA/Israel. This was probably true before the agentic bots, but now there’s simply no way it isn’t true.
3
30
Load more