Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

CHERI Alliance @cheri_alliance@infosec.exchange

11/5/2025, 10:36:15 AM

Public

CHERIoT 1.0 is here! A stable, CHERI based platform for memory safe microcontroller systems is now real. From tiny cores to dual issue designs, CHERIoT scales while keeping the same software base.

CHERIoT 1.0 Specification Released – CHERI Alliance

Adam Finney – CHERI Alliance 5 November 2025, Cambridge – New Release CHERIoT 1.0 provides a stable, hardware-enforced platform for building memory safe, compartmentalised systems in the microcontroller class. The specification defines the instruction set architecture, language extensions, and the complete compilation and relocation model, enabling developers to build software that is safeguarded against buffer […]

cheri-alliance.org · CHERI Alliance

If you have a fediverse account, you can quote this note from your own instance. Search https://infosec.exchange/users/cheri_alliance/statuses/115496647079569283 on your instance and quote it. (Note that quoting is not supported in Mastodon.)