Baris Erdem

b-erdem.github.io

Personal site of Baris Erdem, featuring notes on systems software, formal methods, and the BEAM.

why we picked it

Baris Erdem shares detailed technical notes on systems programming and formal verification, with a focus on the BEAM ecosystem. The site suits developers who enjoy deep dives into language internals and practical formal methods. The writing is concise and assumes technical familiarity, making it a solid reference for the curious engineer.

Checked with Google Web Risk · 2 days ago

Visit b-erdem.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026