pwm

16 ms·

1.
by pwm 1y ago
Sic transit gloria mundi
2.
by pwm 1y ago
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.
3.
by pwm 1y ago
Artificial | Full-time | Remote (Europe) | London | https://artificial.io/careers/ We are building the specialty (re)insurance landscape of the future. Our technology is revolutionising how brokers and carriers operate
4.
by pwm 1y ago
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.
5.
by pwm 1y ago
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 lazy eval is indeed a great fit! For anyone interes
6.
by pwm 2y ago
TIL there's a vouche feature. Thanks!
7.
by pwm 2y ago
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 usual advice of "when stuck, go for a walk&quo
8.
by pwm 2y ago
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 intuitive: data Thing = ThingA Int | Thi
9.
by pwm 2y ago
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 virtuous cycle is an interesting topic to explore.
10.
by pwm 3y ago
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 a great thing? During the day his solar panels cha
11.
by pwm 4y ago
https://archive.is/8jV2P
12.
by pwm 4y ago
> 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, this would make me depressed rather quickly. I can&#
13.
by pwm 4y ago
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 from an obvious logistical but also from an environmental
14.
by pwm 4y ago
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 that became mighty expensive.
15.
by pwm 4y ago
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 apartment going into a nice office was great. Nowadays I'
16.
by pwm 4y ago
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 capture as well as how answers and decisions are derived fro
17.
by pwm 4y ago
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 creative field like software competitive advantage often outweig
18.
by pwm 4y ago
> 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.
19.
by pwm 4y ago
> 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 eg. in Haskell you run a Result-returni
20.
by pwm 4y ago
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 => (a -> b) -
21.
by pwm 4y ago
> 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: λ> :kind Bool Bool :: Type λ> :kind Maybe
22.
by pwm 4y ago
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 simply constants. Maybe is an unary type cons
23.
by pwm 4y ago
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 product types that are ubiquitous in most/all langu
24.
by pwm 5y ago
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) polymorphism. In short the differe
25.
by pwm 5y ago
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 example. Also if I put the above example in my work project I
26.
by pwm 5y ago
Just to preserve the full message :) "Something’s gone awry and we’re having trouble loading your workspace. Sorry we can’t be more specific - this is one of those cases where we don’t know what’s gone wrong either. A restart of Slack
27.
by pwm 5y ago
Related: https://www.tweag.io/blog/2020-12-16-trustix-announcement/
28.
by pwm 5y ago
Sure, I don't disagree but (to me anyway) it's important to point out the difference between reality vs. our potential intake from it. The blind men and the elephant parable applies.
29.
by pwm 5y ago
> We do experience reality directly: our nerve endings do. Depending on how you define "reality" we only experience a tiny subset of it. We can only see/hear/touch/smell/taste a very restricted universe, onl
30.
by pwm 5y ago
Why do you feel that OP is looking down on you? That's not at all what I took away from his post.

More ›