Show newer

You aren't going to take a photo that matches one which Apple checks for... But many many people will take photos that fall into the "false positive" category, triggering human review.

Show thread

@freemo it looks clean and nice to me. I like the theme, the curve drawing is flash and cool. The small print things at the bottom look great. Hooray for static sites!

I'm browsing via chrome on an Android device - no noticed render issues.

@rjayasinghe was ist das?

Bacon, onion, and beans or potatoes? Looks great.

@lupyuen nice find. I've not searched the dependencies I'm using in my current project yet, for unsafe, but the deps tree has gotten larger than I thought it would. I'm sure it's in there somewhere. I'm curious about where and why. And whether it's easier to find than just grepping through all the source code.

"In this research, we explore whether is, in fact, being used to
ensure memory safety and avoid concurrency bugs"

arxiv.org/abs/2007.00752

Is Rust Used Safely by Software Developers?

Rust, an emerging programming language with explosive growth, provides a robust type system that enables programmers to write memory-safe and data-race free code. To allow access to a machine's hardware and to support low-level performance optimizations, a second language, Unsafe Rust, is embedded in Rust. It contains support for operations that are difficult to statically check, such as C-style pointers for access to arbitrary memory locations and mutable global variables. When a program uses these features, the compiler is unable to statically guarantee the safety properties Rust promotes. In this work, we perform a large-scale empirical study to explore how software developers are using Unsafe Rust in real-world Rust libraries and applications. Our results indicate that software engineers use the keyword unsafe in less than 30% of Rust libraries, but more than half cannot be entirely statically checked by the Rust compiler because of Unsafe Rust hidden somewhere in a library's call chain. We conclude that although the use of the keyword unsafe is limited, the propagation of unsafeness offers a challenge to the claim of Rust as a memory-safe language. Furthermore, we recommend changes to the Rust compiler and to the central Rust repository's interface to help Rust software developers be aware of when their Rust code is unsafe.

arxiv.org

I predict that in 50 years or so, the way we use plastics today—from clothing to cosmetics to packaging—will be viewed the same way we now think of DDT or freon

Building a web service to make personal channels for streaming devices like the Roku. Almost ready to ask people to try it... Every inch closer is satisfying.

Selfie, ec ☯️ 🐡 

@claudiom@mastodon.sdf.org cool shirt, you look kinda badass

This is the best science explainer I've seen in a while. Pretty fun.

Can any wind powered vehicle go directly downwind faster than the wind itself? Seems impossible.

youtu.be/jyQwgBAaBag

@lain living is easy with eyes closed, misunderstanding all you see

Hack a Sat 2 quals was a great CTF this year - thanks guys.

"Separating humans is not ok", he says, regarding a Foo concert.

Fool not concerned about separating humans who can't afford to go. Child. Just leave off the actor part.

yahoo.com/entertainment/ricky-

Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.