Viewing profile — cobbal

AI is a technology for removing nines from uptime, and adding them to Sturgeon's law.

ACM agrees I think: https://dl.acm.org/openaccess > Beginning January 2026, all ACM publications and related artifacts in the ACM Digital Library will be made open access.

Determinism isn't the main hurdle. It would be a moderate effort to engineer a deterministic claude that would be no more useful than the current one. The key characteristic of a c…

You may have been thinking of this one instead https://what-if.xkcd.com/141/ . Maybe we should put Randall on the supervillain watchlist.

This is a case of lethal trifecta. This particular one can be fixed by either not giving the AI private data, or by removing the exfiltration opportunity. Why does the comment-summ…

Sadly, I suspect this will be the best piece of marketing they could ever hope for. "It's so advanced the government made us add extra security* to stop hackers!" *(ask it in a mor…

Here's the threat model I (a luddite) use to evaluate these. The claude code harness can be mostly trusted, the model cannot be trusted because it is exposed to untrusted data from…

That's funny. It told me that blocking "npm run build" was the wrong answer. Maybe it doesn't really under The threat model.

If co-authorship implies holding rights, then what gives the "primary author" who just prompted for the code the right to add their own name?

It makes up for that by also multiplying the productivity and happiness of the people who have to review your code by 0.5 too.

I think that's selling the theorems a little short. A math system with arithmetic is equal to, or more powerful than, a computer. For an example, even classical logic comes with th…

Null doesn't. `union(Int?, String?)` will only have 1 type of null, unlike a proper discriminated union.

Take your pick :) https://www.templatemaker.nl/en/

Can you set your clock forward or does this also require phoning home to a central server to install an app on your computer?

Here's a version from 2014 in the same style if you're curious: https://web.archive.org/web/20140702092610/https://news.ycom...

They're not doing so here, but shipping a wasm-compiled binary with npm that uses node's WASI API is a really easy way to ship a cross-platform CLI utility. Just needs ~20 lines of…

We guarantee 5 nines of uptime, and 1 nine of not killing people

It's just a regional thing. Neither is correct or wrong. You may as well yell at a french person that the word is "cheese", not "formage". From the very article you linked: > In En…

This is cutting off the "Access to private data" leg of the lethal trifecta. One of the few ways to actually make an agent secure.

Ohhhh... So that's why it's called Y combinator.

That's essentially correct. Extraction is a term in roqc. A rocq program contains both a computational part, and proofs about that computation, all mixed together in the type syste…

Wolfram alpha thinks it's prime: https://www.wolframalpha.com/input?i=factor+0xcb80ebbd975f00...

Is early termination the only supported side effect? Its name suggests a more general capability, but I didn't see more examples in my (cursory) look at the readme

Not saying if the title is good or bad, but just to provide context: there's a tradition of these style of apple-language explainers / cheat sheets titled in this pattern. First I'…