Laurence Tratt(@laurencetratt) 's Twitter Profileg
Laurence Tratt

@laurencetratt

Shopify / Royal Academy of Engineering Research Chair in Language Engineering.

ID:195140001

linkhttp://tratt.net/laurie/ calendar_today25-09-2010 22:41:27

9,1K Tweets

3,3K Followers

296 Following

Follow People
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

New post: 'Programming' and 'Programmers' Mean Different Things to Different People tratt.net/laurie/blog/20…

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

I'm a day late on this, but there are now new versions of lrpar (crates.io/crates/lrpar) and friends -- mostly a minor update this time.

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

Inspired by 'Everything that uses configuration files should report where they're located' utcc.utoronto.ca/~cks/space/blo…, pizauth has tentatively grown an 'info' command (with a stable '-j' option for JSON output) github.com/ltratt/pizauth….

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

Yesterday I learnt that `realloc(..., 0)` does different things on different platforms. Today I learn from this (worth reading!) article developers.redhat.com/articles/2023/… that it'll soon be UB. [I discovered this idiom because of a widely used program whose code I was looking at...]

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

It's now exactly 1 year since the BIOS for my Framework laptop was released knowledgebase.frame.work/en_us/framewor…. This wouldn't be a problem except the BIOS has more flaws than average (inc. making the fan a jet exhaust). Has it been abandoned? I hope not, but it does now look like it.

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

One reason I like reading human history: it reminds me of my place in the general scale of things i.e. insignificant. But seeing truly planetary history makes me realise that I need a word much stronger word than 'insignificant' to describe my true place! twitter.com/Rainmaker1973/…

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

I'd suggest ignoring the generic title: this excellent article is best thought of as 'an overview of the sorts of modern type systems that you find in languages in Rust'. borretti.me/article/type-s…

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

A really good, concise, summary of PGO/FDO in LLVM and the underlying techniques that make it work from Amir. aaupov.github.io/blog/2023/07/0…

account_circle
Laurence Tratt(@laurencetratt) 's Twitter Profile Photo

Perhaps the easiest way of seeing CHERI in action is this video: my normal OpenBSD desktop on the top and CHERI on the bottom. Notice that the buffer overrun in the `strcpy` (don't forget the extra NULL byte strcpy adds!) is caught by CHERI.

account_circle