1
Show HN: Understanding Floating Point
从看似“坏掉”的浮点数到清晰理解IEEE-754，一步步带你掌握底层设计权衡
I wrote an interactive introduction to IEEE-754 floating point and would love some feedback. My main issue with existing treatments of this topic (and…
2
Show HN: Formally Verified FPSan
用Lean定理证明器对Triton的FPSan进行形式化验证，确保浮点数运算的数学正确性
Article URL: https://github.com/bollu/fpsan-verification Comments URL: https://news.ycombinator.com/item?id=48677601 Points: 2 # Comments: 0
3
Hiding in Plain Floats: Steganographic Carriers for Indirect Prompt and Content Injection
AI安全新视角：利用浮点数隐写术绕过提示注入防御，实现间接攻击
arXiv:2606.08403v1 Announce Type: cross Abstract: Text-centered prompt-injection defenses assume that the malicious signal is visible in one of the in…