Converting Hackage (Haskell package db) to use narrower queries that could be implemented in SQL: https://github.com/haskell/hackage-server/pull/1532

score 1 · canonical

Does this work on all hardware revisions? What happens after you gain arbitrary code execution? Do you need to run the glitch every time you boot the console?

score 1 · canonical

• 4:41: Reference to Peter Naur’s 1985 paper Programming as Theory Building
• 5:45: With AI, nobody has the theory, so the code is effectively legacy immediately after writing.
• 13:18: But with AI, we can also connect natural language to formal verification
• Demo of LemmaScript with Dafny
• 24:36: Presentation of Djinnlang paper, unambiguous specification with an LLM in the compiler
• 26:53: Mention of Guardians of the Agents, Formal verification of AI workflows
• 32:24: Instead of “code review”, we should review “coherence of the system”

Nada Amin is a professor at Harvard SEAS. A research assistant at SEAS receives between $53k and $83k per year.

score 1 · canonical

Hasty generalization is just one of the logical fallacies in the text. It also has post hoc fallacy when unscientifically linking AI usage to the drop in comp.sci students in Iceland. Possibly cherry picking too?

Language like “true believers” is also basically an ad hominem, making an instance of poisoning the well.

score 0 · canonical

This is authored by @JamieTanna.

score 1 · canonical

Here’s an archive.today snapshot: https://archive.is/pv8AQ

Note that Archive.today has been fiddling with snapshots. But I don’t think they have any affiliation around Linux UI ricing.

score 1 · canonical

It gets to be a bit problematic when you’re letting the bots write the code and you can’t really attribute copyright properly.

Anthropic offers an indemnification arrangement, which should mean it’s only going to be a problem for Anthropic!

This is covered in section K of the commercial terms.

score 1 · canonical

Topicality: Lobsters is focused pretty narrowly on computing; tags like art don’t imply every piece of art is on-topic. Some rules of thumb for great stories to submit: Will this improve the reader’s next program?

Yes, if your Debian system is considered a program.

Will it deepen their understanding of their last program?

If their last program used rsync and they have automatic upgrades, I suppose it might?

Will it be more interesting in five or ten years?

Definitely more interesting, I love retrocomputing and old news. Something voyeur about it, and so weird that people in the old days were so different from us, and yet so similar.

Some things that are off-topic here but popular on larger, similar sites: entrepreneurship,

Doesn’t apply

management,

Doesn’t apply

news about companies that employ a lot of programmers,

Doesn’t apply

investing,

Doesn’t apply

world events,

Doesn’t apply

anthropology,

Doesn’t apply

self-help,

Doesn’t apply

personal productivity systems,

Doesn’t apply

last-resort customer service requests via public shaming, “I wanted to see what this site’s amazing users think about this off-topic thing”,

Doesn’t apply

and defining the single morally correct economic and political system for the entire world when we can’t even settle tabs vs. spaces.

Doesn’t apply

score 1 · canonical