and JavaCard 1.0 wants to know what a GC is. No need to throw away perfectly fin... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

josefx on June 20, 2017 | parent | context | favorite | on: GERT: Run Go on Bare Metal ARMv7

and JavaCard 1.0 wants to know what a GC is. No need to throw away perfectly fine objects.

nickpsecurity on June 20, 2017 [–]

A few of it's family members will even proof mathematically that they won't throw those objects away.

https://www.commoncriteriaportal.org/iccc/9iccc/pdf/B2404.pd...

http://www.cs.nott.ac.uk/~pszgmh/appsem-slides/barthe.pdf

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact