David Chisnall (*Now with 50% more sarcasm!*)

@david_chisnall@infosec.exchange
2.7K Followers
83 Following
6.7K Posts

I am Director of System Architecture at SCI Semiconductor and a Visiting Researcher at the University of Cambridge Computer Laboratory. I remain actively involved in the #CHERI project, where I led the early language / compiler strand of the research, and am the maintainer of the #CHERIoT Platform.

I was on the FreeBSD Core Team for two terms, have been an LLVM developer since 2008, am the author of the GNUstep Objective-C runtime (libobjc2 and associated clang support), and am responsible for libcxxrt and the BSD-licensed device tree compiler.

Opinions expressed by me are not necessarily opinions. In all probability they are random ramblings and should be ignored. Failure to ignore may result in severe boredom and / or confusion. Shake well before opening. Keep refrigerated.

Warning: May contain greater than the recommended daily allowance of sarcasm.

No license, implied or explicit, is granted to use any of my posts for training AI models.

Does anyone know if GitHub Code Spaces work in China (specifically, Shanghai)? We are hoping to use them for a #CHERIoT tutorial at the RISC-V event in a few weeks.
Another Godot community survey, another reminder that once more a year has passed without my finding time to play with Godot. Any year now...

Enjoy. #AI #CEO.

Source: "Internet" 🫣

Edit: Apparently, the original images are due to Allie Brosh at https://hyperboleandahalf.blogspot.com/ . Still don't know who added the text.

The Godot Community Poll for 2025 is live!

If you use Godot Engine or interact in the wider Godot community in any way, please consider taking 5 mins to fill it out and help the project. :)

https://godotengine.org/article/godot-community-poll-2025/

#godot #GodotEngine #GameDev #IndieDev #IndieGameDev #OpenSource

Godot Community Poll 2025 – Godot Engine

We want to learn more about the Godot community, understand who the users of the engine are, and find out how we can better support you.

Godot Engine
They are starting to get it ...
@StephaneDucasse kicks off #esug2025, _your_ conference!

Bringing it in for a vertical boop, squirrel-style. Classy.

#sillyScribbles #squirrel #boop

Helpful hint, dingbats. In the US alone, there's some 320 million people who DON'T live in the 5 largest metro areas. Maybe a few of them are really good talent for you?
"People who use AI at work feel that they're more productive" is an argument I've been seeing in various forms lately, which, as a recommendation, is not far removed from "people on cocaine at parties feel that they're more interesting."
×

@nyrath @aeva @Doomed_Daniel @cjust @USBTypeSteve

Tap the BIG GEAR for settings, tapped on Other, maybe this setting for Default Format for Toots is the control?

@guamwatt @nyrath @aeva @cjust @USBTypeSteve

the different "font" is using weird unicode chars instead of actual formatting

that "default format" thing is not a regular Mastodon feature, but one of the "glitch-soc" fork: https://glitch-soc.github.io/docs/features/rich-text/

Formatted toots | Mastodon Glitch Edition

@Doomed_Daniel @guamwatt @nyrath @cjust @USBTypeSteve do not listen to these fools, you have to ask gargon to enable it for you
@5ciFiGirl @guamwatt @nyrath @Doomed_Daniel @cjust @USBTypeSteve what about that instance for dolphins where people can only say the letter "E" I bet you didn't think of that did you