Swift at Apple: Migrating the TrueType hinting interpreter

(swift.org)

212 points | by DASD 17 hours ago

15 comments

  • jacquesgt 11 hours ago
    If you want to help improve the security of OS software through the magic of memory safe languages, the team that did this work is hiring: https://jobs.apple.com/en-us/search?search=Spear&sort=releva...

    Knowledge of Swift not required. If you know your way around OS software, can reason about the security of the code you write, and are excited about writing exhaustively tested software, we’d love to talk to you.

    We’re hiring for roles in kernel/systems and userspace. Like the Platforms SOTU mentioned, we’re using Swift at all layers of the software stack now. https://www.youtube.com/live/yl2jsIoMfDU

    I had the pleasure of leading the effort to ship Swift in the Secure Enclave back in 2022. Now I have multiple teams working on accelerating the transition to memory safe languages. We’re showing that with good planning and a relentless focus on testing, we can improve security, performance, and functionality. And we get to have a ton of fun working with some amazing colleagues. It’s the most enjoyable and impactful work I’ve ever done in my career.

    • byproxy 7 hours ago
      Any resources you'd recommend for learning about reasoning about the security of code?
  • KolmogorovComp 5 hours ago
    > Operations like filter and map allocate memory, but that allocation is only necessary if the value escapes. The Swift standard library provides .lazy.map and .lazy.filter, but they don’t work in every case. For logic that only iterates over the filter or map, it’s much more efficient to loop with continue (or use for … in … where) and transform elements into local variables as necessary.

    It does feel like a compiler/optimiser failure to have to rewrite those cases.

  • comex 11 hours ago
    Beware: As of a few months ago, when I tried to use the lifetime features shown off in this post, I ran into constant compiler crashes with very simple programs, until I gave up and wrote off the features as unusable. This happened on both stable and nightly compilers. I guess they work well enough for this TrueType interpreter, but I suspect they’re using a narrow subset of what the features are supposed to support. Or maybe things have been fixed very recently.

    That said, I’m looking forward to using Swift lifetimes once they actually work!

    • stephencanon 11 hours ago
      The work discussed in this post shipped in the OS last year (fall 2025), so nothing here is dependent on very recent changes.
    • monster_truck 3 hours ago
      Average swift experience
  • pjmlp 16 hours ago
    During the State of Platform keynote, on the subject of Swift adoption across macOS, several examples were given, not only TrueType engine.

    RIS is happening across all OS levels, if the keynote is to be believed.

    • JimDabell 1 hour ago
      Alexandre Colucci has published a series of articles analysing the use of Swift in iOS and macOS by Apple here:

      https://blog.timac.org/categories/reverse-engineering/

      And frequently discussed on Hacker News:

      https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

    • MBCook 13 hours ago
      They’ve been doing it for years. I don’t remember how we first knew, but I know they’ve been using Swift in kernels for at least some of the other chips like the Secure Enclave or whatever.

      I’m not sure exactly which. I assume it’s some of the code and not all. But it’s not new in the abstract.

      That said I don’t think I’ve heard of it in the kernel of MacOS on the main processor. That may be new.

      Either way this is certainly the most concrete announcement I remember them ever giving on this stuff.

      • commandersaki 12 hours ago
        I know internally they use an IPsec implementation written by Rust (I think in the iCloud infra). Heard this from an ex-Apple engineer Ben (forgot his last name) that did a wonderful presentation of Rust from first principles. He said that it was hard to get people in on Rust when most would argue for Swift.

        Edit: This is the guy: https://rustcurious.com/course/

      • pjmlp 5 hours ago
        Some stuff was discussed at Meet with Apple security event a few months ago, and the talks on FoundationDB rewrite, or why Swift Embedded subset came to be.

        However I miss them actually having had one of those 15 - 30m WWDC sessions, where they could have gone a bit deeper into the keynote examples

    • DASD 16 hours ago
      Curious the direction of Webkit as there was a nebulous mention of select portions being rewritten from C++ to Swift. And yet, the new ECMAScript module (ESM) loader for Safari 27 is implemented in C++ (https://webkit.org/blog/17967/news-from-wwdc26-webkit-in-saf...).
      • pjmlp 15 hours ago
        No idea, maybe the private parts of the code, Safari isn't open source, or is coming later.

        In any case I would have liked to have more info during the deep dive sessions.

        As it is, Meet with Apple on security (a 5h long event) had much more information.

    • hirvi74 14 hours ago
      What does RIS stand for?
      • gyomu 14 hours ago
        Rewrite in Swift
        • willXare 14 hours ago
          So RIS is Apple’s version of RiiR, but with better fonts.
          • cwillu 12 hours ago
            s/better/blurrier/
            • steve1977 8 hours ago
              Life without retina displays is possible, but pointless.
              • tonyedgecombe 31 minutes ago
                I sometimes wish I’d never seen a Retina display. There’s no going back for me now.
              • ahartmetz 1 hour ago
                Lower DPI is quite okay with good font rendering (FreeType, slight hinting, subpixel rendering). I have both kinds of devices.
            • thewebguyd 12 hours ago
              Careful, you’ll bring out all the “but it’s true to print media” people.
  • mrpippy 16 hours ago
    The author discussed this a bit on Mastodon as well:

    https://xoxo.zone/@numist/116716469017975106

  • saagarjha 16 hours ago
    Interesting that this is published under the MIT, rather than Apple’s more favorite Apache 2, license
    • JumpCrisscross 16 hours ago
      Why is it interesting?
      • drob518 15 hours ago
        Presumably because MIT is even more permissive and it’s a change in Apple’s behavior.
        • favorited 14 hours ago
          Some corporations prefer Apache 2.0 for projects where they'll be accepting contributions, because it includes patent protection and retaliation clauses. In case like this, where source code is just being published for reference and contributions aren't accepted, those risks don't exist.
        • zdw 14 hours ago
          Given the age of TrueType, wouldn't nearly all patents be expired already?

          Apache2's license I've heard described as mutually-assured-patent-destruction - if you use the code and make a patent claim, your rights to use the code go away.

          So Apache2 offers little benefit here, and MIT may get it into more hands?

  • yyyk 3 hours ago
    "we used a fuzzer to minimize a corpus of 10 million PDF files down to 4,200 without any loss of code coverage"

    Did they need a fuzzer for that? They could've render them all and see what's exercised?

    • thechao 1 hour ago
      Its a set cover problem, and is NP-hard. 4100 of something probably runs nicely in your laptop in a reasonable amount of time.
  • weinzierl 16 hours ago
    Back in 2023 there was talks about Microsoft rewriting the font stuff in Rust for similar reasons Apple is now doing the Swift move.

    I'm not sure what became of it and if it ever shipped. If anyone knows I'd be curious.

  • ks2048 11 hours ago
    So, hinting only takes place at low resolutions, I believe. How often is it used, eg viewing “typical” PDFs on “typical” screens?
  • airstrike 15 hours ago
    As much as I enjoyed Swift, one can only wonder what the world would look like if they had gone with Rust as their default language instead.
    • AceJohnny2 14 hours ago
      Rust doesn't have an ABI [1]. Swift needed one to be a useable application language:

      https://faultlore.com/blah/swift-abi/ (written by a core Rust developer)

      [1] apart from the basic/universal C one, which prevents exposing any useful Rust semantics over the interface

    • afavour 14 hours ago
      One of the genius things about Swift is its interop with Objective C. Made the switch over considerably easier for developers. I’m not sure what that looks like in a Rust world.

      Rust is also just a more complex language. I’m not convinced the benefits would have been worth it.

      • inkyoto 7 hours ago
        Not just interoperability with Objective C but with C (full) and C++ (increasingly better but not full) as well.

        Swift is also interoperable with different versions of itself courtesy of the Swift stable ABI (Application Binary Interface)[0], which they invested a significant amount of time into at the expense of adding other new features to the language, which have come along later.

        Rust offers a different approach: recompile everything and static linking.

        [0] https://faultlore.com/blah/swift-abi/

        • pjmlp 5 hours ago
          C compatibility comes via Objective-C, because contrary to C++, Objective-C extends C, instead of being based on a C subset.

          You missed Java as well.

    • jadengeller 15 hours ago
      Modern Swift borrows a lot from Rust! And it also has its own benefits, both ergonomic and also supporting eg generic in dynamic libraries
      • airstrike 15 hours ago
        These days I mainly write Rust but I did write a semi complex iOS app and enjoyed Swift. I just didn't love how slow the type checker was and how it got lost. I recall having to break things into smaller bits to help the compiler, and there were some oddities about the language.

        The gap between the two languages is quite small, it just makes me wish Apple was also all-in on Rust

        • MBCook 13 hours ago
          In the last year they’ve added improvements to the type checker to speed it up, those would have been released now.

          They have further and much more significant changes that I think might have recently landed in the development version. That should make an even bigger difference. But it’s not in a released version yet.

          And yes, none of us like that one part of Swift. Especially the DRASTIC difference compared to objective-C which really only checked syntax and little else.

          It’s still probably my favorite language right now though I don’t get to write in it much.

        • DenisChetwynd 14 hours ago
          maybe so on the surface, but it remains quite massive underneath; these languages are fundamentally different and target entirely different use cases
          • airstrike 12 hours ago
            I'm not sure Rust has one specific use case as its main goal, despite being immediately suitable for systems programming.

            I use it for making user-facing desktop applications, to name one example.

        • inkyoto 7 hours ago
          I see Swift as a more approachable version of Rust.

          If somebody is mulling over Rust but finds it too difficult to grasp, they could start off with Swift first and then move over to Rust.

          One of the main advantages of Rust is a more developed and thriving ecosystem.

      • ecshafer 15 hours ago
        Swift and Rust were developed at similar times. I think of them more as having similar influences than borrowing from each other.
        • pohl 12 hours ago
          There’s no reason to invent your own head canon, the influence was openly acknowledged when Swift was new and it continues now that the language is developed out in the open (see Swift Ownership Manifesto)
        • pjmlp 5 hours ago
          Additionally both have influences from CLU, C++, Object Pascal, Modula-2, Mesa/Cedar, Standard ML, Cyclone.

          Many features that get discussed as being Swift/Rust, trace back to one of those languages.

        • est31 15 hours ago
          Similar times and the Rust originator went on to work on Swift after it.
          • DenisChetwynd 15 hours ago
            Graydon Hoare's impact on the language is marginal than that of Chris Lattner, the originator (also, Hoare joined the team much later)
      • vardump 15 hours ago
        Does it borrow borrow checker?
        • tialaramex 13 hours ago
          I believe Swift tends to use reference counting and copy-on-write strategies. This, like GC, is less for the programmer to think about and doesn't require the semantic checks, but sometimes the performance cost is unacceptable compared to what you'd write in Rust.
          • airspeedswift 13 hours ago
            You can choose to use either refcounting or unique ownership for your types. For most use cases, refcounted (+ copy-on-write) is the best choice and is the default, but the truetype interpreter made extensive use of non-refcounted types to achieve this performance.
          • pjmlp 5 hours ago
            You can pick and chose, and memory ownership is getting better in latest versions.

            Being more ergonomic is relevant enough for increasing language adoption, that possible improvements are now on Rust roadmap.

          • MBCook 13 hours ago
            They have either recently added or talked about a borrow style system in the language as a way to avoid more copies and speed things up/lower memory usage/help with asynchronous programming.
        • anextio 14 hours ago
          Yes, it has a borrow checker.
    • pjmlp 5 hours ago
      Swift takes the right approach in language ergonomics, many of its use cases would be much harder with explicit .clone() all over the place, lack of back references, no standard ABI for binary libraries, interop with Objective-C and C++, no standard concurrency runtime, or error handling types.

      Rust 2026 roadmap has language ergonomics on it for a reason.

      That said, outside Apple ecosystem you probably better with Rust, or if one has no GC issues, OCaml, Haskell, F#, Scala, C#.

    • jounker 3 hours ago
      Apple has a runtime system that looks a lot like smalltalk. Everything at that layer is dynamic. They needed a language that could seamlessly interact with that system.
  • raphlinus 15 hours ago
    Welcome to the club of doing high performance text in a memory safe language!
    • masiulis 6 hours ago
      There are dozens of us! Dozens!

      Vello has been a big inspiration and source of knowledge for my own webgpu text renderer, thank you for that!

    • WalterGR 6 hours ago
      > high performance text

      Just strings or rendering strings?

      If the latter, who are the other members of the club?

  • AndriyKunitsyn 14 hours ago
    What's funny is from 2023 (I think), macOS just draws the UI unhinted. You have a 1080p display and you don't want to see the letters in the UI blurred to death? Tough luck, 1080p is incompatible with macOS, everybody needs "retina", and nobody cares that Windows and all Linux DEs look on 1080p just fine.

    It looks like this hinter will be used only in rendering PDFs, because that's where they test the performance.

    • jacquesgt 10 hours ago
      While hinting is disabled for most fonts, there are some fonts that require hinting to render correctly. We have to support hinting for those fonts, and it was easier to make it secure by rewriting hinting in Swift than it would have been to comprehensively identify every font created by those foundries.
    • nomel 14 hours ago
      My last 1080p monitor was around 20 years ago. I have trouble comprehending people still use them regularly.
      • afavour 13 hours ago
        A very quick search yielded Dell selling 1080p laptops today:

        https://www.dell.com/en-us/shop/dell-laptops/dell-15-laptop/...

        It is very, very common. Just not in the Mac world.

      • AndriyKunitsyn 14 hours ago
        People also use usable mice instead of touchpads, and they put the "ctrl" key where Apple thinks a useless "fn" should be. All kinds of things happen outside Apple world.

        To me, it's more about what I'm used to. I have a perfectly fine several years-old monitor, so why should I throw it away?

      • yjftsjthsd-h 7 hours ago
        Then let me blow your mind:) One of my daily drivers is an ex-Chromebook at 1366x768. Granted, it's also physically smallish so the DPI isn't quite as low as a macbook would be with those pixels, but still. And that's a touch cramped but it's fine.
        • incanus77 6 hours ago
          I'm reading on that resolution right now! MacBook Air 11" running Linux that I use as a quick hacking/reading machine in bed.
      • mschuster91 13 hours ago
        The problem is, as soon as you are not on a Mac but Linux or Windows, you are in for an awful, truly awful lot of pain. HiDPI support is a mess because even in the rare case applications are made with HiDPI in mind they are not tested on HiDPI machines.

        Other way around, most Mac software is not tested how it behaves on inferior external monitors.

        • AndriyKunitsyn 10 hours ago
          What kind of windows programs are these? HiDPI is more than a decade old. A desktop application, no matter what OS it is, should always be tested with different scaling factors.
          • mschuster91 5 hours ago
            Ham radio software, both open-source and commercial, is a big thing, and so is many an in-house development in many businesses.
    • TazeTSchnitzel 13 hours ago
      macOS has been drawing unhinted text for an eternity, and for those who can tolerate it on low-DPI screens, it's a great thing: the letter shapes look the same at all sizes, and the spacing between letters is consistent at all sizes.
      • bschwindHN 12 hours ago
        I'm a high DPI snob so I haven't used a low res monitor for work in forever, but isn't the entire point of font hinting to make the text more legible at smaller pixel grid sizes? Yes, of course the shapes are more consistent since the hinter isn't touching them, but isn't the end result just less legible text?
        • kccqzy 11 hours ago
          Hinting purposefully destroys letter shapes in exchange for crispness. People who like macOS style font rendering prioritize letter shapes faithful to the font designer more than crispness.

          Whether good letter shapes is more legible or crisper text is more legible is basically subjective. In the 2000s before HiDPI became popular different people really thought one was more legible than the other and vice versa. HiDPI made this basically moot.

    • carlosjobim 55 minutes ago
      Retina displays were introduced more than a decade ago. Why should Apple still support outdated technology after such a long time?

      If you work with text and fine UI elements, do yourself a favour and get proper tools for the job. Get an ergonomic mouse and a good keyboard while you're at it. In every other field professionals use high quality tools to do their jobs, IT shouldn't be any different.

      A plumber has equipment worth tens of thousands of dollars, while IT professionals think it's outrageous to pay a few hundred for equipment which is undeniably an improvement.

    • kbolino 13 hours ago
      I had this problem on the first Apple Silicon Mac Mini in 2020 so it's at least a little older than 2023.
  • LoganDark 15 hours ago
    I'm surprised the code has visible LLM smells. Though, I shouldn't be surprised. I hope the important bits are still human-controlled (and the same for Apple's many operating systems that absolutely deserve to remain stable and understood).
    • airspeedswift 15 hours ago
      I assure you, every inch of the interpreter code has been stared at by humans, a lot. TBH even the assembly generated by it has.
      • ahartmetz 1 hour ago
        All 150 kloc in six months by two people? Actually, it sounds like way too much code for the task unless 70+% of it is tests.
    • dgellow 15 hours ago
      From what I got Apple is using claude code A LOT internally
      • Cassell 15 hours ago
        It would be interesting to see their internal guidance on LLM use. It’s a massive amount of new power that has to be wielded carefully. That kind of guidance might mean the survival or downfall of some big corps in the next few years.
      • wahnfrieden 15 hours ago
        Yes they are using Claude Code - not the Xcode agents.

        It worries me. I hope Codex adoption picks up there.

        • andrekandre 12 hours ago
          thats a shame if true, they really should be dog-fooding that horrible agent ui in xcode to bring it up to a usable state
          • wahnfrieden 11 hours ago
            A lot of devs are tricked into using it because it’s official
            • LoganDark 3 hours ago
              I love how it doesn't even support reasoning output or edit tool diffs. (Yes it can show diffs sometimes when using the 100% official flow but not when using ACP)
  • troupo 16 hours ago
    I think these are the types of things Apple should've focused on instead of half-heartedly barging ahead with SwiftUI and breaking the language in the process
    • saagarjha 16 hours ago
      I mean they’re doing both
  • wg0 15 hours ago
    No mention of AI? Hand written code?
    • numist 14 hours ago
      There's mention at the end. The models (and Swift itself!) have evolved a lot since this project started, so the early code is largely hand-rolled and the later changes were mostly authored by centaurs (to steal a term from chess).

      But I personally reviewed every line that shipped and was absolutely insufferable about testing.