Programming starts with types, functions, and abstraction. Everything else comes as a result of compositionality.

Linux runs: - The Internet. - The stock market. - 100% of world's 500 fastest supercomputers. - And your phone (Android). Then why only 4% of desktop computers?

Magnetic Selection

... I’m predicting a software engineering gold rush where more and more human engineers will have to be hired to clean up the train wrecks left behind by the next few years of vibe programming ... ... the current LLM lemming rush over a cliff ... [0] I used to think that

Wonderful collection of links .. another book on Applied Category Theory I really enjoyed is this one by Fong and Spivak ..

Why use functional effects in your model? Functional effect systems help you build the stories / recipes of your program, which are pure values. Many such values can be composed together to form larger values. In the Scala 3/ZIO example shown `generateTrades` builds a

Once you are into functional programming almost all of the GoF patterns dissolve into natural constructs and idioms of FP - higher order functions, algebraic data types and pattern matching, combinators like map and fold and various algebraic composition techniques. You don’t

the best way to get good at something is usually to just practice actually doing the thing in question. a lot of very capable people outsmart themselves with complex plans that involve working a lot on fake prerequisites.

To some extent statically typed functional programming is algebraic programming. There are quite a bit of algebra as the underpinning of many abstractions that we use in FP on a regular basis. Do you think some basic knowledge of abstract algebra helps think about building and

If you're considering to submit a talk to one of @aardling_eu 's conferences (@ddd_eu, @datameshlive , @EventCentricEU , @ncraftsConf ), it's a good idea to watch @einarwh's talk :-) https://t.co/gEPIu5MIhG

Some good news and a big discount 45% on several titles today: 🟢 Functional Design and Architecture 🟣 Architecture Modernization 🟡 Grokking Functional Programming 🟠 Grokking Simplicity

Optimize first for readability and then for performance. Reasons: 1. The whole codebase needs to be readable. Not the whole of the codebase needs to be equally performant. 2. Once you have a modular and readable codebase, identify the hotspots that need to be optimised for

55 years ago today Apollo 11 took off —and then landed a man on the moon — thanks to software from an MIT team led by 32-year-old Margaret Hamilton. Full video: https://t.co/2mlGxroap7 (v/@MAKERSwomen) More: https://t.co/9fiNllXZEW @NASA

This looks pretty neat - a TUI for Apache Kafka https://t.co/XXqPTcQaNc

Shower thoughts: Vim commands are a DSL for editing text. That's what puts it in a different power class. Because it occurs to me that to be a Domain Specific Language, you really need to have a Domain Specific *Grammar*. #Vim has editing grammar, and that's what sets it apart.

As someone who likes to program in a statically typed language, having a mental model in terms of typed abstractions seems very natural to me. And you can apply equational reasoning on this model to discover the algebraic properties. In the paper Why calculating is better than

This paper was core to TigerBeetle’s design in 2020. The idea that more than scalability in the cost-agnostic sense (“do more with more”), we should think of scalability also in terms of optimizing the unit of scale (“do more with less”).

@ericevans0 @ddd_eu "People with DDD skills will be necessary" @ericevans0 @ddd_eu #dddeu

Now "What We Know We Don't Know" by @hillelogram at @ddd_eu #dddeu on empirical software engineering, the science of figuring out what actually works and doesn't work in SE

Closing the first day of DDD Europe is @ziobrando on "Modelling Up" #dddeu

Yes, test the domain behaviors - the algebra not the implementation ..