ยง 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.
A belated international horseshoe crab day to all who celebrate.
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
Jo Wolfe, PhD
Miguel de Icaza แฏ
๐
Jessica Paquette
PrettyBuildings
Patrick Lam
~meoralis~
Jennifer | Sidewalk Safari
Nick ๐ณ๏ธโ๐๐ณ๏ธโโง๏ธ
jack
Stoneface Vimes
Infoseepage
Alessandro Corazza ๐จ๐ฆ
Jo Dusepo 
ุฌููุงูุง ุฏูุณูพู
Schokoholic
millennial falcon
a fish named dog ๐๏ธโก๏ธโพ๏ธ
Eyeshine
Jennifer
Rob Vincent ๐๏ธ
sarpau
Arratoon
Patioboater
Robin Barton
jt