Get the latest tech news

Schanuel's Conjecture and the Semantics of Triton's FPSan


I’ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It’s implemented as a Triton compiler pass, but has none of the desirab…

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Semantics

Semantics

Photo of conjecture

conjecture

Photo of triton

triton

Related news:

News photo

Show HN: Honker – Postgres NOTIFY/LISTEN Semantics for SQLite

News photo

Rubysyn: Clarifying Ruby's Syntax and Semantics

News photo

I rebuilt FlashAttention in Triton to understand the performance archaeology