Viewing profile — lifthrasiir

I'm on a mobile right now so I can't give the exact paper link but you can learn about the CORE-MATH project [1]. [1] https://core-math.gitlabpages.inria.fr/

The dilemma is hypothetical (because we now know the exact precision requirement for those functions over all 64-bit doubles) but let's assume that we don't know that and also we h…

Common sense testing only tells about the presence of common sense, that's it. It is clear from recent events that LLMs do definitely possess some sort of intelligence even though …

It is a project-wide concern, so the stake is obviously high.

They learned English or gave up.

All of which have been challenged though. As the stake is high, any such reason (for or against LLMs, to be fair) has to be backed with Wikipedia-level evidences at the very least.…

The OP said the Mandela effect [1] which is definitely about the past event. Anyhow, I'm okay with Codeberg's decision (I'm not even its stakeholder, so what can I say about that a…

Many influential F/OSS projects started with a small number of users (and contributors), and will continue to do so for the foreseeable future. Codeberg effectively says that it on…

Do yourself a favor and look at the actual HN thread [1] when Codeberg was widely discussed for the first time. It is crystal clear that Codeberg was seen as a direct alternative t…

I think an even better advice is that everyone should know array programming, because you generally need that mindset for SIMD optimizations as (packed) SIMD-specific techniques ar…

In the other words, free() is a flawed API. :-)

This follows what SourceHut did in 2022 [1], but I think SourceHut did much better job to announce that (as of this writing). [1] https://sourcehut.org/blog/2022-10-31-tos-update-c…

Apparently in early this month.

> In the three examples below, the model accurately renders Japanese, Korean, and Spanish respectively. And yet the Korean text is not accurate... [1] [1] E.g. "드레스 컬렉션 dress colle…

I used to make a hybrid bitmap-vector font called Unison [1] a decade ago and I made it in that way so that I don't have to learn the fine art of (vector) typography. Or at least t…

Probably, but knowing that redirection operators can be freely moved within normal arguments [EDIT: thank ButlerianJihad for pursuing me to make this more accurate] is useful.

Don't do this: cat file | wc -l => wc -l head -n 5 file cat file | awk '{print $1}' => awk '{print $1}' file cat file | sort => sort file Do this instead: cat file | wc -l => The f…

How does it compare with utf8proc [1]? I'm aware that Mojibake does a bit more than utf8proc (e.g. bi-di) but that seems marginal to me. [1] https://juliastrings.github.io/utf8proc…

Context: 码 means "code" in Chinese and prominently appears in words like, e.g. 源代码 (source code).

> exfiltrating user data (including env files, entire source code etc) which is what grok-build did here I think env files are filtered out [1]. Anyway, the most suspicious code wo…

Is this the infamous "cloud upload" routine? I'm not sure it is indeed insidious, though it is of course possible that the code has been filtered out. https://github.com/xai-org/gr…

Sharing those things to coding agents and model providers is probably inevitable for the use. The memory with random tidbits is not.

I think it is already done via a subagent, otherwise the context window would be flooded with long responses. In this case the subagent should've reported that a (attacker-controll…

That's why I don't turn memory on. (Claude Code too though for a different reason.) After all the current memory system is too crude to be useful anyway.

You are right. (Ziv's rounding is essentially a method that keeps error bounds and increases the precision on the inconclusive result.) I think atan2 suffers from the same problem …