Mrs. Truffle
heni.lol
I write software for fun and profit. Hardware/software RE, gamedev, compiler engineering, HDL/Verilog. VTuber. 32, two cats.
👤 Joined on 01 Temmuz 2025
75
Followers
106
Following
225
Total Posts
📜 Kullanıcı Geçmişi
- 01 Tem 2025, 16:45
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@vagabond-truffle.bsky.social - 30 Ara 2025, 16:44
✏️ Kullanıcı adı değişti:
@vagabond-truffle.bsky.social→@heni.lol
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
that being said, the technique definitely works, and it's how I did philpax.me/notes/projec... (very skint on detail, need to do a proper writeup sometime) I did a static port from Lua to Rust, and then hammered at it with multiple game-playing policies+agent analysis to squeeze out the divergences
Show Post
A lot of people doing red teaming/security work treat LLMs like a superfluid of pure intelligence that can drop into a codebase and find vulns via pure analysis, and that works ok, but having them vuln-hunt via writing extensive proptest coverage and composing what falls out is also very effective
Show Post
Friend of mine has a little jar of the citric acid powder they put on gummies to make them sour They will dip already-sour gummies into the powder to make them even sourer It’s so good
Show Post