Viewing profile — crvdgc

My guess would be the version number tracks the architecture change, not the weight change.

For the sake of argument, let's assume everything in the post is agreed upon, does this mean 1. They'll open source the alignment technology? For open weight models, it's the only …

Even if that's the case, the tragedy should have been disclosed reponsibily. The fact that the parents had to make further efforts to go through their daughters death to warn other…

Thank you. Video from the thread: https://www.youtube.com/watch?v=x9XDsiG40Uk (comment itself: https://www.reddit.com/r/space/comments/1usdigz/comment/owna... )

That language should be called Fusion and this language Fission.

Some providers in the UK issue debit cards with limited interest-free overdraft and charge back features. So they are basically credit cards if you squint your eyes enough.

Vision has been in A/B testing for a while now (at least in China). Is there an official announcement that this will be available for everyone?

Nix also needs the build output to be deterministic to calculate the hash. It also has the problems of timestamps etc. The build environment tries to be hermetic by setting the tim…

In his later years (late 1980s), he also advocated for AI and human superpower research. The superpower thing turned out to be pseudoscience later. As a result of being lumped toge…

While in Japan, I heard an urban legend that, it typically takes 5 accumulated years for a foreigner to acquire hay fever in Japan.

In the long term, the biggest problem is that space data centers are very hard to defend against missiles.

Another angle is that most donations to Linux kernel are in the form of paid employees doing kernel work. I wonder how much the kernel need besides that.

comptime is a restricted form of dependent typing. In addition to the normal value to value, type to type, and type to value functions, in comptime, you can write static value to t…

I didn't find anything particular, but in general it should apply to anyone under the jurisdiction. I think it's illegal to drink underage in the US, even if the person is a touris…

Unfortunately, the discussion focused on the somewhat click baity title "proved this program correct". It's unclear what "this program" is. If it refers to the core algorithm with …

For what it worth, there's uBlacklist for Google. https://ublacklist.github.io/docs/getting-started

Sovereign AI adds another layer of meaning now that sovereignties are at war.

> GitHub does not and does not plan to include advertisements in GitHub They already did! https://github.com/orgs/community/discussions/65245

People, we just solved the LLM watermarking problem.

Even alternatives like GrapheneOS relies on AOSP. I wonder if it's possible for regulators in certain countries to pressure Google to kill it in the future. Even if that's not the …

In theory, it's possible to have a third party (other than Google or Apple) to provide attestation on third party hardware. You can have a separate core and kernel to run such code…

How long before people realize that they too have limited context length and adopt: - memory/yyyy-mm-dd.md - MEMORY.md - SOUL.md

At least for this article it's more about the job, or to be precise, the past where job and passion coincided: > Ultimately if you have a mortgage and a car payment and a family yo…

Among the six patterns identified, it's interesting that "Iterative AI Debugging" takes more time (and possibly tokens) but results in worse scores than letting AI do everything. S…

Some valid points, but I hope the authors had developed them more. On the semantic gap between the original software and its representation in the ITP, program extraction like in R…