Viewing profile — posix_monad

With mergeMaps, you don't have to write out all of the properties.

MLs require a lot of ceremony modelling simple record types. What we want to express here is an object with a map of properties (name to type): string Type map For the OOP minded: …

Building a language is too hard. You need to create: - Grammar, parser, compiler, interpreter (delete as appropriate) - Editor plugins for nice syntax highlighting - Language serve…

Does MongoDB have serious market share compared to DynamoDB (and similar clones from Azure, GCP) at this point?

Yes, this is a reasonable approach, but how are certificates deployed and managed? How do we deploy a list of certificates that a service should accept? How do we do certificate ro…

Services often need to talk to each-other, but how should they control access? In an ideal world, callers can prove who they are to services and services only grant access to a min…

https://archive.is/8cEHA

Vast majority do not have the disposable income to invest in stocks.

Nah, that was Postgres vector extensions

https://archive.is/yzqkJ

There is a value in living in a society that is culturally rich, not just GDP rich. The last era where we had this kind of society, was probably the 70s and we are still recycling …

https://archive.ph/WrZ5L

That solution doesn't work for Meta. Who on earth would choose to opt-in?

Copilot (and so on) are simultaneously incredible and not nearly enough. You cannot ask it to build a complex system and then use the output as-is. It's not enough to replace devel…

Not sure what you mean here - Microsoft are actively working on F# and the .NET Spark and Torch bindings.

https://archive.ph/Uu6YC

I don't think the ML community has an appetite for learning a different language. There are Microsoft-backed F# bindings for Spark and Torch, but no one seems interested. And this …

Python's dominance is holding us back. We need a stack with a more principled approach to environments and native dependencies.

Rough news for the LSE, which was already trying to make that play.