Ovid: A pi extension that makes it record proof its features actually workgithub.com2 points·by s314·11 dni temu·1 comments
Porting Zircon (Fuchsia OS's kernel) C++ code to Rustcs.opensource.google4 points·by s314·w zeszłym miesiącu·2 comments
What political censorship looks like inside an LLM's weights (Qwen 3.5)vas-blog.pages.dev82 points·by s314·2 miesiące temu·44 comments
Crates.io: Malicious crates faster_log and async_printlnblog.rust-lang.org2 points·by s314·10 miesięcy temu·0 comments
s314·11 dni temu·discussI 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·2 miesiące temu·discussUsing a logit lens (prior art: https://www.lesswrong.com/posts/AcKRB8wDpdaN6v6ru/interpreti...)
s314·2 miesiące temu·discussYou 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·2 miesiące temu·discussIt wasn't "a prompt" but several prompts that transformed the raw experimental results to a blog.> hallucinated from the LLMs world knowledgeThis can't be true because I checked whether the content was consistent with the experimental outputs
s314·2 miesiące temu·discuss> Steering seems like a circumventable kludge compared to adjusting the training data directlyCorrect. Steering is used in mechanistic interpretability studies to prove that your model is correct. There are other better ways to "decensor".
s314·2 miesiące temu·discussMarkdown feels too minimal and HTML feels too complex. I think we need something in between
s314·3 miesiące temu·discussExpanding this analogy: LLMs like Claude are like V8, and agent harnesses like Claude Code are like Node.js.