I read Programming Erlang later, but it was just for fun, and I knew most things already at that point.

And Texas is famous for its property taxes.

Operating a business means consuming and producing things, which involves paying taxes.

First, this is narrowly about federal income tax. SpaceX presumably pays plenty of other taxes.

Second, using the projected profits in the article, SpaceX will have exhausted its NOL pool by the end of this year, and so will pay billions in federal income tax next year.

But more important: the whole point of these tax cuts and programs is to let businesses use losses today so they can create value — and tax revenue — tomorrow. Of course, if you take a snapshot after part 1 but before part 2, it will always look like “X gets Y from government and gives nothing back”.

I picked up Joe's Erlang book years after out of pure joy/curiosity.

Especially with LLMs, totally unnecessary.

Still, every release now contains new type system features. Next up is full type inference. [2] After that will be typed structs.

[1] José Valim giving his balanced view on type systems: https://www.youtube.com/watch?v=giYbq4HmfGA

[2] https://hexdocs.pm/elixir/main/changelog.html

i.e. AGI is a philosophical problem, not a scaling problem.

Though we understand them little, we know the default mode network and sleep play key roles. That is likely because they aid some universal property of AGI. Concepts we don't understand like motivation, curiosity, and qualia are likely part of the picture too. Evolution is far too efficient for these to be mere side effects.

(And of course LLMs have none of these properties.)

When a human solves a problem, their search space is not random - just like a chess grandmaster's search space of moves is not random.

How our brains are so efficient when problem solving while also able to generate novelty is a mystery.

Excited to follow your progress :)

When sandboxing user code in another runtime, you need to serialize the data to and from that runtime. That comes with a performance penalty.

So, for example, if you sandbox code in WASM, you need to pick a transport data format, like JSON. You need to serialize Elixir data structures into JSON, send it to WASM, and then deserialize the result. For a high-performance data pipeline, this adds up!

But if your sandbox is in the host language, no serialization/de-serialization is required. You can execute the sandboxed language in microseconds.

I wrote more about this here: https://blog.sequinstream.com/why-we-built-mini-elixir/

Wish this library existed just a couple months ago!

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

Points: 6

# Comments: 0

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

Points: 3

# Comments: 0

There is a lot of tedium in software development and these tools help alleviate it.

We're making CDC easy enough for weekend projects yet robust enough for Fortune 500 companies.

Sequin is open source/MIT (https://github.com/sequinstream/sequin). We're backed by Kleiner Perkins and Craft Ventures.

Tech Stack: Elixir/Phoenix, LiveView + Svelte, Postgres

What makes this role exciting:

- Join an early-stage open source project with significant technical influence

- Build a tool you would use for a user you understand

- Work deeply with Postgres

- Solve novel distributed systems challenges (not building CRUD apps)

- Work with Elixir/Phoenix and OTP primitives in production

- High-energy environment focused on rapid iteration and customer impact–we ship a lot, and fast!

We're based in San Francisco, where we have an office. Learn more: https://sequin.notion.site/

The main thing we want to communicate is that we're able to keep up with workloads Debezium can handle.

(And, re: RabbitMQ, I wouldn't write off a platform based on a single application built on that platform :) )

We're building the world's fastest change data capture (CDC) platform for Postgres. CDC is a proven pattern that enables real-time use cases like triggering side effects, fanning out events, caching at the edge, and audit logging - but existing solutions are notoriously difficult to set up and maintain.

We're making CDC easy enough for weekend projects yet robust enough for Fortune 500 companies.

Sequin is open source/MIT (https://github.com/sequinstream/sequin). We're backed by Kleiner Perkins and Craft Ventures.

Tech Stack: Elixir/Phoenix, LiveView + Svelte, Postgres

What makes this role exciting:

- Join an early-stage open source project with significant technical influence

- Build a tool you would use for a user you understand

- Work deeply with Postgres

- Solve novel distributed systems challenges (not building CRUD apps)

- Work with Elixir/Phoenix and OTP primitives in production

- High-energy environment focused on rapid iteration and customer impact–we ship a lot, and fast!

We're based in San Francisco, where we have an office. Learn more: https://sequin.notion.site/

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

Points: 1

# Comments: 0

If so, are these trends harmful to open source? Are we not choosing between:

1. A world where all revenue in OSS infrastructure ultimately flows to a few big platform companies.

2. A world where these carve-outs are commonplace.

Meta's carve-out with Llama is so interesting because it practically calls the big companies out by name. Should there be a similar standard license for open source infrastructure?

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

Points: 61

# Comments: 15