giraffe_lady

Catholics don't formally recognize them but most or maybe all orthodox christian churches do.

The far right's win on hacker news goes mostly without comment, however. Very uh, interesting views you guys got in here.

I don’t know it’s not my paper. I don’t want to talk shit but I’m also a little confused at this apparent limitation.

No it’s more about speed and quality of the feedback loop. So you want the compiler that catches the most stuff when given the least information.

I will add you to the list, I’ll definitely post it on HN also.

They had originally planned on june and my part is in so…. Me too.

Yes I contributed code to a paper on it this spring. It’s hard to measure and “studying” it just means feeding money into frontier models. If anyone has a few billion tokens for a couple masters students hmu so they can get it published.

Both force the model to reason about types too much. The more constrained type system plus global inference merely holds them to what they already wrote, with very fast feedback.

Rust is fine if you need it but most things don’t and ocaml has more convenient abstractions for “regular” work. If you need rust you need rust but ocaml isn’t that far off in perf.

Haskell type system is too expressive, it itself becomes a place for the agent to make mistakes and get bogged down.

OCaml is the LLM secret weapon right now. They are better at writing it than they are any other language.* That’s all I have to say about it.

* Other “pure” hindley-milner languages are tied but among them ocaml has some particular strengths that I’m sure others will discuss.

A couple software examples off the top of my head are Richard Hipp with SQLite and Matthew Ahrens with ZFS. Both almost incomprehensibly sophisticated projects executed well over decades.

Neither are anything like a solo effort in the way these examples are, and it's hard to say what they'd be like without the long individual involvement.

Yeah that comment isn't quite fair but Berry does have a massive blindspot around labor. His entire like, deal, is built on the nearly-unmentioned-in-his-entire-works fact that he's describing a world of agrarian landowners who do relatively little productive work themselves. We can't all be gentleman farmers!

The fact that his writings are still so good and useful and interesting speaks incredibly highly of his powers of perception and skill as a writer. But it makes them nearly useless in a "how ought we to be" conversation, which is one of the main things his works engage with. So it really is a huge problem with his entire project.

I think, at least for the next few years, certain preferences and consensuses were accidentally embedded in the models to your benefit.

They love htmx! Claude will independently suggest using it instead of more general js frameworks for smaller projects. A gpt model told me, and I wrote this down because it was striking, "htmx won the argument it was making."

It's the same thing with rust. I'm an ocaml expert and ocaml genuinely fits a lot of the problems I work with better regardless of that. But because of when the models were trained and what they were trained on, a certain sort of alt-consensus opinion is frozen into them, and it believes rust is a better choice for nearly everything!

I think you're good for the next few years at least. It's an open question what happens after that dead internet theory recursive loop of llms trained on llm output etc so who knows you might be good forever.

Do you think that's a different understanding of the situation than the one that the state currently has?

Is it not "legitimate" in the same way to kill terrorists?

> Palestine Action has been designated a terrorist group in the UK as well after sabotaging military aircraft

This is already an extreme perversion of justice all on its own. Damaging military equipment is absolutely outside any useful definition of terrorism. This is simply armed conflict.

Why do you think I haven't done this?