homarp

https://news.ycombinator.com/item?id=50205816 seems to differ

"Aeneas currently functionalizes a subset of safe Rust, and we are in the process of extending the functional model with reasoning based on separation logic to support unsafe code and concurrent code."

Disneyland with the Death Penalty" is a 4,500-word article about Singapore written by William Gibson. It wad his first major piece of non-fiction.

and https://arxiv.org/abs/2510.01237

note that at least "Handwriting but not typewriting leads to widespread brain connectivity: a high-density EEG study with implications for the classroom" is critized - https://www.frontiersin.org/journals/psychology/articles/10....