§ 512. STATE PIE
The state pie shall be apple pie.
Sec. 2. SERVING APPLE PIE
When serving apple pie in Vermont, a "good faith" effort shall be made to meet one or more of the following conditions:
(a) with a glass of cold milk,
(b) with a slice of cheddar cheese weighing a minimum of 1/2 ounce,
(c) with a large scoop of vanilla ice cream.
Some updates, now at 8.3x performance boost since I started using the new tips and tricks from the Apple performance talk.
Started to use third party benchmarks to compare notes.
On VteBench, comparing MacOS Terminal, main, perf branch and Ghostty yields some amazing results, I couldn't believe my own eyes:
When I first tried, "termbench small", it was a worthless experiment, it would never end. Now, it does better than both MacOS Tahoe and Ghostty:
Abstract This RFC proposes the creation of a Safety Group within the LLVM project, similar to the existing Security Group. The group would serve as a community-driven forum to address the challenges of using LLVM in safety-critical systems development, such as those governed by ISO 26262 (automotive), DO-178C (aerospace), or EN 50128 (railways). It would focus on enabling qualified use of LLVM components through shared infrastructure, quality best practices, documentation, collaboration, and lon...
Where to next for static race detection? It is really good at verifying lock based patterns now, but that's not enough for verifying real-world programs, which use all sorts of interesting idioms to avoid races (and hence undefined behaviour!)
On Friday afternoon Karoliine Holter is presenting our TOPLAS paper at #PLDI: "Sound Static Data Race Verification for C: Is the Race Lost?" Joint work with my colleagues from Tartu: Karoliine, Simmo Saan, and Vesal Vojdani.
We identified 20 coding idioms to avoid races by separating accesses in time and space; some existing tool can verify 8 of the 20. If you want to verify real world programs you'd better be able to handle these idioms: we show that they do occur in real programs from the Concrat suite.
PDF: https://patricklam.ca/papers/25.toplas.data-race-empirical.pdf
Apple Silicon CPU Optimization Guide version 4.0 has been released, with fantastic details about the SME Engine microarchitecture (including some fancy operation fusion pairs), and new information for the A17 Pro, A18 and M4 CPUs:
https://developer.apple.com/download/apple-silicon-cpu-optimization-guide/
Miguel de Icaza ᯅ🍉
Jessica Paquette
PrettyBuildings
Patrick Lam
Dougall