Richard Casetta

Software Engineer, passionate about functional programming, formal methods and maths

[Cecilie 🧙‍♀️ @cvennevik]

Okay - I promise this isn't a cheap gotcha or me being obtuse:

What does "up-front design" mean when all programming is design?🧵

[gabby @GabriellaG439]

To put this another way: I feel like the primary feature of type systems is not to make sense of silly code, but rather to stop people from writing silly code in the first place. Grafting on a type system after the fact only really works if you're willing to rewrite silly code

[Richard Casetta @r_casetta]

@tikhonjelvis @shwestrick @JAldrichPL My key point here is that functional programming (and functional objects) are nice for modelling business logic and immutable component running on a single host, while object-oriented programming is good for describing the components and connectors of a distributed system.

[Richard Casetta @r_casetta]

@tikhonjelvis @shwestrick @JAldrichPL Which is why objects (with mutable state encapsulation) seem a bad idea for business logic: we create a distributed system in memory on a single host, and we know distributed systems are hard, which makes it difficult to understand and predict behaviour.

[Tomas Petricek (find me on BlueSky) @tomaspetricek]

Rather than expressing your ideas through a relatively well defined and structured PL, you will have to express your ideas through an opaque and unpredictable AI. You'll think you are using a natural language, but really, you'll be learning an artificial language of the machine.

[Martin Fowler @martinfowler]

NEW § @BrandonByars: we should prefer general purpose languages for integration: they manage the complexity of evolving interfaces and prevent implementation leaking into those interfaces

https://t.co/DIUENi6bg5

[gabby @GabriellaG439]

Giant Kubernetes configuration files would still be a pain for a human to edit and audit even if you wrote them in JSON instead of YAML

In my view, the real issue is the lack of programming language features. A human could improve their readability if given the tools to do so

[Jonathan Beurel • dopamine.dev @JonathanBeurel]

🇫🇷 Bonjour tout le monde !
Aujourd'hui est une grande journée pour https://t.co/yWt9c6JbKG
Nous lançons notre Product Hunt !
Nous travaillons avec @Zoom depuis quelques mois pour permettre aux commerciaux B2B d'accéder à la donnée @salesforce directement en call Zoom.

[Benjamin Grandfond @benjaM1]

Today is a big day @bonjourteam 🤩

For the last 3 months, we built a @zoom app to make your @salesforce available directly in your notes during a call and save a ton of time to salespeople!

And now it is on @ProductHunt 🚀 We'd love any support and feedback! 😊

[Benjamin Grandfond @benjaM1]

We @bonjourteam built something very cool for salespeople. Stay tuned subscribing to https://t.co/NkXgfoAwRb #Salesforce #Zoom

[Jamie Kyle is on 🦋 @buildsghost]

Just sorta positing here, but I think that the lack of really high quality/advanced compilers for the web has led to developers not considering how much a compiler could really do for them... we're mostly limited to peephole/local optimization with relatively small exceptions

[Yaron (Ron) Minsky @yminsky]

Interested in type systems and applied PL research? Jane Street is (still) growing our compilers team. There's a ton of ambitious projects underway, and more to come if we can find more of the right people.

(would love some retweets on this!)

https://t.co/8y7ul1ZXma

[Jonathan Schuster @SchuCodes]

Just blogged about my career mission: "to give software developers knowledge and tools to help them reason about their programs" (https://t.co/sSNRo1m32S). A summary thread: (1/N)

[Programming Wisdom @CodeWisdom]

"Computer languages differ not so much in what they make possible, but in what they make easy." - Larry Wall

[Jeremy Kun ([email protected]) @jeremyjkun]

Tbh I just want all the math and programming people to be friends and be fulfilled making math and programs together.

[Stephen Diehl @smdiehl]

Once you push through the crypto gaslighting, you realise there's no meaningful tech here at all all, and the whole of it just gambling, regulatory arbitrage, and scams.

Torching the planet to sell expensive entries in a database really is as stupid as it seems.

[Cher Scarlett 🌌 @cherthedev]

Some days I can't believe where I am.

10 years ago I was walking down the side of the road with nothing but pocket change; toddler on my hip, gas can in my hand, barely awake from the night shift at Krispy Kreme, about to be evicted...

Today I'm merging my own PRs at Apple.