crvdgc

4 ms·

1.
by crvdgc 29d ago
A video of the launch and landing: https://www.youtube.com/watch?v=IcnebC7xva4
2.
by crvdgc 1mo ago
In Morocco?
3.
by crvdgc 2mo ago
My guess would be the version number tracks the architecture change, not the weight change.
4.
by crvdgc 2mo ago
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 possible way to pass the safety without an ex
5.
by crvdgc 2mo ago
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 others just feels wrong.
6.
by crvdgc 2mo ago
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... )
7.
by crvdgc 3mo ago
That language should be called Fusion and this language Fission.
8.
by crvdgc 3mo ago
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.
9.
by crvdgc 3mo ago
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?
10.
by crvdgc 3mo ago
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 time to be epoch among other things.
11.
by crvdgc 4mo ago
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 together, for a long period of time, AI was regarded as pseudo
12.
by crvdgc 4mo ago
While in Japan, I heard an urban legend that, it typically takes 5 accumulated years for a foreigner to acquire hay fever in Japan.
13.
by crvdgc 4mo ago
In the long term, the biggest problem is that space data centers are very hard to defend against missiles.
14.
by crvdgc 4mo ago
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.
15.
by crvdgc 5mo ago
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 type functions. In full dependent type, you can in addition w
16.
by crvdgc 5mo ago
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 tourist and they are allowed to drink by their own count
17.
by crvdgc 5mo ago
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 a proof, then there's no bug.
18.
by crvdgc 5mo ago
For what it worth, there's uBlacklist for Google. https://ublacklist.github.io/docs/getting-started
19.
by crvdgc 6mo ago
Sovereign AI adds another layer of meaning now that sovereignties are at war.
20.
by crvdgc 6mo ago
> GitHub does not and does not plan to include advertisements in GitHub They already did! https://github.com/orgs/community/discussions/65245
21.
by crvdgc 6mo ago
People, we just solved the LLM watermarking problem.
22.
by crvdgc 6mo ago
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 case, I'd imagine attestation apps like banki
23.
by crvdgc 7mo ago
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. They don't have to be powerful, but they'll
24.
by crvdgc 7mo ago
How long before people realize that they too have limited context length and adopt: - memory/yyyy-mm-dd.md - MEMORY.md - SOUL.md
25.
by crvdgc 7mo ago
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 you love, you’re going to make your decision. Nothing
26.
by crvdgc 8mo ago
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. So this part really should be handed over to a
27.
by crvdgc 8mo ago
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 Rocq probably deserves some discussion, where the software is
28.
by crvdgc 8mo ago
This specific example to me is less likely a consequence of model collapsing, but the "personality" adjustment about how aggressively it should read into the user's intention. From time to time, I enjoy the model guessing wha
29.
by crvdgc 9mo ago
> But let's hit the random button on wikipedia and pick a sentence, see if you can draw a picture to convey it, mm? The inverse is also difficult. Pick a random 15 second movie clip, how to describe it using text without losing much
30.
by crvdgc 9mo ago
> how do you verify the verification program? The program used to check the validity of a proof is called a kernel. It just need to check one step at a time and the possible steps can be taken are just basic logic rules. People can gain

More ›