When random.bytes() runs but doesn't work

17 points by Funes- 3 hours ago | 3 comments

anonymousiam 55 minutes ago |

This post assumed that the author of the "runs" commit was not acting maliciously. Has that been established? It's not mentioned in this article.

eru 9 minutes ago | |

Also: writing this stuff in C just begs for bugs.

LLM agents are cheap and good enough that you can write in eg Lean or whatever. Or at least write it in Rust.

Sharlin 25 minutes ago | |

Hanlon’s razor.