Hacker News: posix_monad

New comment by posix_monad in "Types as Interfaces"

posix_monad — Tue, 23 Jul 2024 13:56:07 +0000

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

New comment by posix_monad in "Types as Interfaces"

posix_monad — Tue, 23 Jul 2024 10:06:17 +0000

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

And also compose those:

    type Foo = { "_foo", int }

    type Bar = { "_bar", string }

    type FooBar = mergeMaps Foo Bar

But at compile-time, of course.

Have any languages achieved this? I know TypeScript can do some of these things, but it's clunky.

New comment by posix_monad in "Little Languages (1986) [pdf]"

posix_monad — Thu, 18 Jul 2024 15:22:19 +0000

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 will use it)

- etc...

So the pressure is always to shoe-horn a big existing language into you problem. Maybe you can build a nice library if your language has decent syntax (or little to no syntax). If you have an AST representation, you probably dump it to JSON etc.

I am curious if any projects are trying to make this easier.

WebCrawler – search engine operating for 30 years

posix_monad — Mon, 15 Jul 2024 12:40:56 +0000

Article URL: https://en.wikipedia.org/wiki/WebCrawler

Comments URL: https://news.ycombinator.com/item?id=40967334

Points: 7

# Comments: 0

New comment by posix_monad in "Mongo but on Postgres and with strong consistency benefits"

posix_monad — Sun, 07 Jul 2024 17:23:50 +0000

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

New comment by posix_monad in "Ask HN: How do you approach service-to-service authentication?"

posix_monad — Mon, 01 Jul 2024 17:35:41 +0000

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?

Ask HN: How do you approach service-to-service authentication?

posix_monad — Mon, 01 Jul 2024 17:07:43 +0000

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 minimal set of consumers. There should be low boiler-plate for maintaining service identities and things like token revocation, secret rotation, etc. should be "easy". Bonus points for avoiding vendor lock-in.

What approach do you use for securing service-to-service access?

Comments URL: https://news.ycombinator.com/item?id=40847828

Points: 1

# Comments: 4

New comment by posix_monad in "Our Underground Future (2012)"

posix_monad — Fri, 28 Jun 2024 18:11:56 +0000

https://archive.is/8cEHA

New comment by posix_monad in "The economics of the Birkin handbag"

posix_monad — Mon, 24 Jun 2024 08:36:02 +0000

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

New comment by posix_monad in "OpenAI Acquires Rockset"

posix_monad — Fri, 21 Jun 2024 16:28:28 +0000

Nah, that was Postgres vector extensions

Economic impacts of mortgage credit expansion policies

posix_monad — Fri, 21 Jun 2024 12:54:04 +0000

Article URL: https://www.sciencedirect.com/science/article/pii/S0094119023000815

Comments URL: https://news.ycombinator.com/item?id=40749101

Points: 2

# Comments: 0

New comment by posix_monad in "Brown's golden shot was not the miss his critics would have you believe (2015)"

posix_monad — Thu, 20 Jun 2024 14:07:54 +0000

https://archive.is/yzqkJ

Brown's golden shot was not the miss his critics would have you believe (2015)

posix_monad — Thu, 20 Jun 2024 14:07:47 +0000

Article URL: https://www.thetimes.com/article/browns-golden-shot-was-not-the-miss-his-critics-would-have-you-believe-kdb5d2l8zct

Comments URL: https://news.ycombinator.com/item?id=40738960

Points: 1

# Comments: 1

New comment by posix_monad in "Social-Media Influencers Aren't Getting Rich–They're Barely Getting By"

posix_monad — Wed, 19 Jun 2024 09:46:57 +0000

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.

New comment by posix_monad in "Social-Media Influencers Aren't Getting Rich–They're Barely Getting By"

posix_monad — Tue, 18 Jun 2024 13:42:42 +0000

https://archive.ph/WrZ5L

New comment by posix_monad in "Meta won't train AI on Euro posts after all, as watchdogs put their paws down"

posix_monad — Mon, 17 Jun 2024 08:17:49 +0000

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

New comment by posix_monad in "Home-Cooked Software and Barefoot Developers"

posix_monad — Wed, 12 Jun 2024 10:33:23 +0000

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 developer knowledge.

New comment by posix_monad in "Ask HN: Machine learning engineers, what do you do at work?"

posix_monad — Tue, 11 Jun 2024 15:51:45 +0000

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

New comment by posix_monad in "UK's Right-Wing Reform Party Floats Overhaul of BOE's QE Program"

posix_monad — Mon, 10 Jun 2024 15:54:44 +0000

https://archive.ph/Uu6YC

UK's Right-Wing Reform Party Floats Overhaul of BOE's QE Program

posix_monad — Mon, 10 Jun 2024 15:54:39 +0000

Article URL: https://www.bloomberg.com/news/articles/2024-06-09/uk-s-right-wing-reform-party-floats-overhaul-of-boe-s-qe-program

Comments URL: https://news.ycombinator.com/item?id=40634926

Points: 1

# Comments: 1