The home for great developer writing.

We surface the best developer writing from thousands of independent blogs, updated daily.

Schanuel’s conjecture and the semantics of FPSan

· Cp4space Hatsya · May 3, 2026, 3:47 p.m.

Schanuel's conjecture FPSan tool Triton compiler Compiler Development

Summary

The author discusses their recent work on a tool named FPSan, developed in collaboration with Pawel Szczerbuk. The post highlights the unique aspects of FPSan as a Triton compiler pass, focusing on its unexpected properties as opposed to traditional compiler characteristics.

Read full post on cp4space.hatsya.com →

MORE POSTS LIKE THIS

Adding Go's defer to the TypeScript Compiler

Healeycodes · Aug 2, 2026

typescript Go Programming

Kraid: A new compiler for Panfrost

Collabora Blog · Jun 25, 2026

Compiler Development Rust Programming

BASIC09 programming language front-end developed for LLVM

Adafruit Industries Blog · Jun 24, 2026

programming Projects

I am working on a programming language that is more secure than Rust.. In Rust

Users Rust Lang · May 30, 2026

programming-languages Rust

Eleven years to a finite recursive type alias

Ponylang · May 17, 2026

ponyc Finite recursive type aliases

Clojure on Fennel part three: parsing

Andreyor · Apr 27, 2026

Clojure fennel

Discover more posts →

AUTHOR

Sponsored

Zulip

Organized team chat for people who take work seriously. Topic-based threading keeps conversations focused.

Become a sponsor →