Reletter
Artwork for Zero Cost Abstractions

Zero Cost Abstractions

Jad Ghalayini

Remember, programmer time is free!

Platform
Substack
PricingOnly free issuesPublishesTwice weekly
Issues12Founded3 years agoLast Issue3 years ago
Active

Read this Newsletter

zerocost.substack.com
Artwork for Zero Cost Abstractions

Latest Issues

Over-ordering and Referential Transparency

In the first article in this series, we gave a simple type-theoretic presentation of SSA, and stated some basic syntactic properties of this theory, such as weakening and substitution, which, for compiler hackers, are essential building blo...

3 years ago
2

Freyd Category Semantics for SSA

In the previous article in this series, we gave a type-theoretic account of SSA form, and showed that it satisfied syntactic substitution, or, in compiler hacker terminology, that we could do constant propagation, rename variables, splice c...

3 years ago
3

What is SSA?

It’s my birthday, and so, to celebrate, we’ll be starting a new series, in which we try to build a compiler intermediate representation and implement various analyses and optimizations, while exploring the mathematics underpinning our work....

3 years ago
4

Fun with Sentence Embedding

It’s been a while! I got back from ICFP'23 where I presented my work on Explicit Refinement Types, got buried in PhD work, and now need to get back to writing. So to celebrate my return, let’s do something a little different, and write some...

3 years ago
4

Cache is King

The fastest program is the program which does the least work, and the most effective way to do less work is to avoid repeating work you’ve already done. It follows that caching is probably the most fundamental optimization technique there i...

3 years ago
5

Key Facts

Contact Information
Newsletter Author
Number of Subscribers
Find out how many people subscribe to this newsletter.

Audience Metrics

Subscribers, engagement, traffic and sponsorship for Zero Cost Abstractions.

SubscribersMonthly Web VisitsAccepts Sponsors
Estimated Cost per Ad

Authors

The writers behind this newsletter.

  • Jad Ghalayini

    Level 7 academic. Nanosecond wise, hour foolish.

  • Frequently Asked Questions

    How can I access the email archive for Zero Cost Abstractions?

    You can find recent issues that have been published by Zero Cost Abstractions on Reletter by scrolling up to where it says Latest Issues. Tap on the link for any of the most recent emails or hit More Issues to see older ones.

    How many subscribers does Zero Cost Abstractions have?

    To see how many people subscribe to Zero Cost Abstractions, simply upgrade your Reletter account. We provide readership numbers and lots of other stats for this newsletter so you can decide if it's worth reaching out to.

    How can I advertise in Zero Cost Abstractions?

    Newsletter advertising can be extremely effective when it's done right. Before you pitch Zero Cost Abstractions as a potential sponsor or partner, make sure that you've done your research and checked its newsletter stats with Reletter.

    Then, personalize one of our winning pitching templates and send it to the right person using the contact info provided.

    How much does it cost to sponsor a publication like Zero Cost Abstractions?

    Newsletter ad rates (or CPM) vary depending on many factors, including industry, number of subscribers, open rate, ad placement and more.

    To find out how much an ad will cost, contact Zero Cost Abstractions using the contact information provided and ask for a copy of their media kit.

    How can I find newsletters related to Zero Cost Abstractions?

    Scroll up to where it says Related Newsletters to see other publications like Zero Cost Abstractions. You can also search our email newsletter directory to discover other newsletters that cover the topics you're interested in.

    How do I contact Zero Cost Abstractions?

    Reletter provides this newsletter's website URL above, where you will often find their contact information. We also provide links to associated social media accounts and pitching templates so you can reach out fast.