Live data from Hacker News

Motto: Unsafe languages allow mostly-safe implementations

humprog.org

1–8 of 8 posts

Re: Motto: Unsafe languages allow mostly-safe implementations

#3

Title change? The linked content is fine but the submitted title ("Motto: Unsafe languages allow mostly-safe implementations") doesn't appear anywhere in it.

Yes please. The submitted title is very opinionated (even if it states a derisory opinion that I agree with) and it hides the utility of TFA.

TFA's title is `libcrunch: run-time type- and bounds-checking for C (and maybe other languages...)`, which is plenty useful enough, and also useful enough for me to immediately form an opinion like submitter's.

Re: Motto: Unsafe languages allow mostly-safe implementations

#4

Title change? The linked content is fine but the submitted title ("Motto: Unsafe languages allow mostly-safe implementations") doesn't appear anywhere in it.

Yes please. The submitted title is very opinionated (even if it states a derisory opinion that I agree with) and it hides the utility of TFA. TFA's title is `libcrunch: run-time type- and bounds-checking for C (and maybe other languages...)`, which is plenty useful enough, and also useful enough for me to immediately form an opinion like submitter's.

"libcrunch: run-time type- and bounds-checking for C" seems like a good title.

Re: Motto: Unsafe languages allow mostly-safe implementations

#6

Title change? The linked content is fine but the submitted title ("Motto: Unsafe languages allow mostly-safe implementations") doesn't appear anywhere in it.

sorry about the misleading title choice; it’s quoted from the author’s homepage in reference to this work: https://www.humprog.org/~stephen/

also, could be marked [2017]

Re: Motto: Unsafe languages allow mostly-safe implementations

#7
post #6

Title change? The linked content is fine but the submitted title ("Motto: Unsafe languages allow mostly-safe implementations") doesn't appear anywhere in it.

sorry about the misleading title choice; it’s quoted from the author’s homepage in reference to this work: https://www.humprog.org/~stephen/ also, could be marked [2017]

Thanks for the link!