rienbdj

And now letterboxed is eating their lunch.

OCaml already starts form a memory safe base being GCd?

Can selectively turn off the borrow check for dev builds?

Seems like Rust unsafe could be improved without changing the language design.

Anyone know a good into to queuing theory?

Masters programs are much less competitive than undergrad. It’ll still be there.

Take the job. You can do the masters after. The job offer might not still be there.

Ask HN: add a flag for articles about AI?

I would love to see Elm adopt an effects system as an answer to React hooks.

Not sure how one can be healthy and sedentary.

Plus the only group with any disposable incomes increasingly becomes the super rich. So all the support functions of this… restaurants, high end boutiques, wellness clinics, tailors, … start to cluster. The servant class then push prices up further by trying to live a commutable distance to work.

What is a beam solver?

Were you able to rig up the solver to the running game?

Curious what this looks like!

Cool game.

Seeing as this is HN, please can you talk tech stack?

In the early days of music streaming, many of the entrants were seeding their service with vast libraries of pirated content. The winners cut deals with the copyright holders and then went after the rest.

I have a theory that LLM generated code in a highly modular style (simple data, pure functions) will be easier to “recover” by a human team when the LLM gets muddled. So Haskell, basically.

Looks like a nice language. They market it as a Rust-like looks more like an ML to me.

all that matters is that the properties of the system are validated

I don’t think this is possible in practice without leaning on the stability of the code base.

Not a bad solution at all. It does require some discipline to write deterministic templates etc. though.

This feels like a “sell the shovels” move. Social media is full of “this one prompt to get rich quick”. It’s the new “one weird trick”.

There are compile-to-yaml config languages

Tragedy of the commons. What stops a company taking on the strong junior engineers you just invested time and resources into?

Not many people are employed as computer scientists (they are mostly academics) compared to SWEs.

Can’t sustain six figure salaries because current prompts are wrong.

Cut juniors for AI

Save money

Invest in market share

Increase market cap

Hire the last remaining seniors at higher rates but only where needed

Great time to be a shareholder or staff level engineer. For everyone else, the ladder has been pulled.

Pretty good performance for low effort is a big win.

Build systems are a much harder problem, probably because mainstream languages are all edited the same way, but not built the same way.

The closest we have right now are build systems in the Bazel / Buck2 lineage.

The burden of proof is the other way

Training AI models to drive valuation reminds me of high frequency trading

Really cool nice job!

With more and more ecosystem libraries being written in Rust (and a Python wrapper) could this be a way to expand the Haskell ecosystem?

Reading what Stainless is/was - why was this a company and not an open source project?