posix_monad

5 ms·

1.
by posix_monad 2y ago
With mergeMaps, you don't have to write out all of the properties.
2.
by posix_monad 2y ago
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: Map<string, Type> And also compose t
3.
by posix_monad 2y ago
Building a language is too hard. You need to create: - Grammar, parser, compiler, interpreter (delete as appropriate) - Editor plugins for nice syntax highlighting - Language server - Packages for common things - Nice website (or no one wil
4.
WebCrawler – search engine operating for 30 years(en.wikipedia.org)
7 points by posix_monad 2y ago|0 comments
5.
by posix_monad 2y ago
Does MongoDB have serious market share compared to DynamoDB (and similar clones from Azure, GCP) at this point?
6.
by posix_monad 2y ago
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 rotation and revocation?
7.
Ask HN: How do you approach service-to-service authentication?
1 points by posix_monad 2y ago|4 comments
8.
by posix_monad 2y ago
https://archive.is/8cEHA
9.
by posix_monad 2y ago
Vast majority do not have the disposable income to invest in stocks.
10.
by posix_monad 2y ago
Nah, that was Postgres vector extensions
11.
Economic impacts of mortgage credit expansion policies(sciencedirect.com)
2 points by posix_monad 2y ago|0 comments
12.
by posix_monad 2y ago
https://archive.is/yzqkJ
13.
Brown's golden shot was not the miss his critics would have you believe (2015)(thetimes.com)
1 points by posix_monad 2y ago|1 comments
14.
by posix_monad 2y ago
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 the cultural artefacts of that time.
15.
by posix_monad 2y ago
https://archive.ph/WrZ5L
16.
by posix_monad 2y ago
That solution doesn't work for Meta. Who on earth would choose to opt-in?
17.
by posix_monad 2y ago
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 developer knowledge, but it also inhibits acquiring develope
18.
by posix_monad 2y ago
Not sure what you mean here - Microsoft are actively working on F# and the .NET Spark and Torch bindings.
19.
by posix_monad 2y ago
https://archive.ph/Uu6YC
20.
UK's Right-Wing Reform Party Floats Overhaul of BOE's QE Program(bloomberg.com)
1 points by posix_monad 2y ago|1 comments
21.
by posix_monad 2y ago
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 is despite a pretty compelling proposition of lightweig
22.
by posix_monad 2y ago
Python's dominance is holding us back. We need a stack with a more principled approach to environments and native dependencies.
23.
Static single assignment for functional programmers (2011)(wingolog.org)
8 points by posix_monad 2y ago|2 comments
24.
by posix_monad 2y ago
Rough news for the LSE, which was already trying to make that play.
25.
by posix_monad 2y ago
Blank Street is eating their lunch
26.
by posix_monad 2y ago
> build a extremely minimal kernel (i.e. ditch Linux entirely) and link your application against necessary bits of code It would be nice, but this is really hard to do when modern software has so many layers of crud. Good luck getting sa
27.
by posix_monad 2y ago
You can publish across platforms with modern .NET
28.
by posix_monad 2y ago
Cross compilation story in C# is very good actually.
29.
by posix_monad 2y ago
> Tools like this do the deployment, they aren't generally deployed themselves. It will have to be executed on many different developer machines (or even your own machine several years in the future) so a simple, reproducible build
30.
by posix_monad 2y ago
Python seems like a really poor choice for infrastructure. - Python is not easy to build into portable binaries - The package ecosystem is very hard to use in a reproducible way - The language is not truly typed - types add massive value fo

More ›