HackerTrans
TopNewTrendsCommentsPastAskShowJobs

s314

no profile record

Submissions

Ovid: A pi extension that makes it record proof its features actually work

github.com
2 points·by s314·قبل 11 يومًا·1 comments

Porting Zircon (Fuchsia OS's kernel) C++ code to Rust

cs.opensource.google
4 points·by s314·الشهر الماضي·2 comments

What political censorship looks like inside an LLM's weights (Qwen 3.5)

vas-blog.pages.dev
82 points·by s314·قبل شهرين·44 comments

A text adventure game, all in Markdown

vas-blog.pages.dev
1 points·by s314·قبل 3 أشهر·3 comments

Crates.io: Malicious crates faster_log and async_println

blog.rust-lang.org
2 points·by s314·قبل 10 أشهر·0 comments

comments

s314
·قبل 11 يومًا·discuss
I built https://github.com/Srinivasa314/ovid, a pi extension that makes it verify the features it builds and record terminal+browser videos onto the PR. The verifications are ordinary code, so re-running them is cheap and no LLM is needed.
s314
·قبل شهرين·discuss
Using a logit lens (prior art: https://www.lesswrong.com/posts/AcKRB8wDpdaN6v6ru/interpreti...)
s314
·قبل شهرين·discuss
You can actually de-censor an LLM without understanding how it works from a mechanistic perspective. (See R1 1776)

So I don't think there'll be effort to "obfuscate"
s314
·قبل شهرين·discuss
It wasn't "a prompt" but several prompts that transformed the raw experimental results to a blog.

> hallucinated from the LLMs world knowledge

This can't be true because I checked whether the content was consistent with the experimental outputs
s314
·قبل شهرين·discuss
> Steering seems like a circumventable kludge compared to adjusting the training data directly

Correct. Steering is used in mechanistic interpretability studies to prove that your model is correct. There are other better ways to "decensor".
s314
·قبل شهرين·discuss
Markdown feels too minimal and HTML feels too complex. I think we need something in between
s314
·قبل 3 أشهر·discuss
Expanding this analogy: LLMs like Claude are like V8, and agent harnesses like Claude Code are like Node.js.
s314
·قبل 3 أشهر·discuss
You can think of the LLM like an interpreter.