mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#paper

23 posts14 participants4 posts today

It Is Time to Standardize Principles and Practices for Software Memory Safety:

dl.acm.org/doi/10.1145/3708553

"Twenty-one authors, spanning academia and industry, with expertise in memory-safety research, deployment, and policy, argue that standardization is an essential next step to achieving universal strong memory safety."

Communications of the ACMIt Is Time to Standardize Principles and Practices for Software Memory Safety | Communications of the ACM

Back in Brooklyn now. On my way back, I stopped at my alma mater- Alfred University in a rural one stoplight town of Alfred, NY.

Nice to see my old sculpture and art school building haunts. While I was there I saw a bunch of old and new professors, sat in on 2 student critiques, and met with a promising young neon bender, artist and glassblower,

@AbbeyfuckingDivens

and chatted a bunch with my former neon teacher, Sarah Blood.

The roll of paper next to the neon bombarder in the neon shop is the "high tech temperature guage". Long a controversial practice in neon nerddom, when the paper smokes and discolors- the glass is hot. I aim for incinerating the paper :).

Exciting things to see at the school as per usual- an its nice to be back home. About to head back in to work as I type this.