Viewing profile — pwm

Sic transit gloria mundi

I'm assuming a lot is coming from companies where there's fomo that if you don't use the latest and greatest tooling, your competitors will and you'll be left behind.

Artificial | Full-time | Remote (Europe) | London | https://artificial.io/careers/ We are building the specialty (re)insurance landscape of the future. Our technology is revolution…

Thanks for this! It's always nice to learn about the origins of things. I was around when they were called "self"/"super", but I never made the connection to OOP.

I would love to read more about all this, especially how overlays came from "object-oriented" programming. To me, the interesting part is their self-referential nature, for which l…

TIL there's a vouche feature. Thanks!

One thing I've discovered and utilised from a relatively early age was synergising the difference in how my conscious and subconscious processes information. It's really just the u…

Apologies for my meta-meta-comment :) I've been writing code for ~30 years in various languages, and today my brain can't compute how people find any syntax other than this more in…

Very cool! We developed similar technologies for a very different domain (insurance automation). Side note: I also think that weaving logical inference and llms together into a vir…

I know next to nothing about these but a friend of mine was grumbling the other day about why can't he just use his electric car's huge battery to power his house. It sounded like …

https://archive.is/8jV2P

> I think for the last 10 years of my career at BigTech, I can't possibly quantify my impact in numeric terms because they were such small pieces of gargantuan projects. Honestly, …

I know a lot of people dislike bitcoin here but I'm wondering (with the huge assumption that its value stabilises over time) would it not actually be a better solution? Not just fr…

Not sure if you’d win that bet or not but my anecdata is that me and probably the majority of my social circle spend near-0 on alcohol and sweets. They/we buy good quality food and…

Pretty much yep. I'd also say it boils down to age which tends to correlate with having a family and also better WFH conditions. When I was young, single, living in a small apartme…

At our company we came to the same conclusion. We have a DSL that is essentially a programmable schema to describe the shape of the data (more specifically a contract) you want to …

It feels like there is an article like this every other week. They reflect the same generic view which is broadly true yet I think is not very useful as an advice. In a highly crea…

> Likewise, it's not an audit trail it's a "history" or "undo". Depends on the industry. The one I work in audit trail is a well-defined and mandatory business concern.

> forever being assaulted by Result . Without .unwrap() your progress would be destroyed as you'd have to immediately deal with every unhappy path. I don't know much about Rust but…

Not OP but they meant https://hackage.haskell.org/package/base-4.16.1.0/docs/Data-... As you have the normal map function for Functors (using Haskell): > :t fmap fmap :: Functor f …

> So in essence I could think of types as functions (possibly nullary) from types to types? Type constructors, yes. In Haskell the type of type constructors are called kinds: λ> :k…

It's just semantics. data Bool = False | True data Maybe a = Nothing | Just a Bool is a nullary type constructor or simply type. False and True are nullary data constructors or sim…

Sum types are one of those things missing from most mainstream languages that people don't even realise that they are deprived of something fundamental. They naturally complement p…

In the context of Haskell "ad-hoc" means ad-hoc polymorphism. See https://wiki.haskell.org/Polymorphism for details on parametric (ie. unconstrained) vs. ad-hoc (ie. constrained) p…

For readers wondering why this is, there are a few things at play here. I preface my explanation by saying that the benefit of type classes vastly outweigh issues like the above ex…