Representing Type Lattices Compactly

https://bernsteinbear.com/blog/lattice-bitset/

#HackerNews #Representing #Type #Lattices #Compactly #TypeLattices #CompactData #Structures #HackerNews #TechBlog #LatticeBitset

#letsroll

⚄ ⚂ ⚁ ⚄ ⚃→#scion
⚃ ⚅ ⚅ ⚁ ⚂→#recreate
⚅ ⚃ ⚅ ⚁ ⚀→#unsworn
⚃ ⚀ ⚀ ⚁ ⚅→#mating
⚃ ⚂ ⚅ ⚃ ⚁→#passover
⚀ ⚅ ⚃ ⚁ ⚁→#compactly

scion-recreate-unsworn-mating-passover-compactly

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚂ ⚂ ⚂ ⚂ ⚃→#handgun
⚅ ⚁ ⚀ ⚃ ⚂→#thesaurus
⚂ ⚀ ⚃ ⚃ ⚅→#freemason
⚃ ⚃ ⚄ ⚅ ⚀→#polar
⚅ ⚂ ⚁ ⚀ ⚀→#twilight
⚀ ⚅ ⚃ ⚁ ⚁→#compactly

handgun-thesaurus-freemason-polar-twilight-compactly

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚄ ⚄ ⚄ ⚀ ⚁→#splice
⚅ ⚀ ⚄ ⚁ ⚀→#synapse
⚃ ⚃ ⚃ ⚀ ⚂→#plasma
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚀ ⚁ ⚂ ⚄ ⚀→#array
⚃ ⚀ ⚅ ⚂ ⚄→#name

splice-synapse-plasma-compactly-array-name

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚀ ⚁ ⚂ ⚁ ⚂→#armchair
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚁ ⚃ ⚅ ⚃ ⚅→#eldercare
⚁ ⚄ ⚁ ⚀ ⚃→#emotion
⚃ ⚁ ⚃ ⚄ ⚄→#only
⚂ ⚄ ⚅ ⚁ ⚀→#latrine

armchair-compactly-eldercare-emotion-only-latrine

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚃ ⚂ ⚅ ⚃ ⚃→#password
⚂ ⚁ ⚃ ⚄ ⚂→#gore
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚄ ⚀ ⚂ ⚀ ⚂→#rematch
⚂ ⚄ ⚁ ⚄ ⚂→#jumbo
⚁ ⚂ ⚄ ⚅ ⚄→#dizziness

password-gore-compactly-rematch-jumbo-dizziness

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚁ ⚃ ⚃ ⚂ ⚁→#dyslexia
⚀ ⚀ ⚀ ⚁ ⚄→#abrasive
⚅ ⚅ ⚀ ⚁ ⚂→#vowel
⚀ ⚁ ⚅ ⚂ ⚄→#backboard
⚁ ⚅ ⚄ ⚀ ⚄→#feel

compactly-dyslexia-abrasive-vowel-backboard-feel

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚄ ⚂ ⚄ ⚄ ⚃→#service
⚂ ⚃ ⚂ ⚅ ⚂→#idly
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚄ ⚄ ⚄ ⚄ ⚃→#spotted
⚄ ⚃ ⚀ ⚂ ⚅→#shindig
⚅ ⚂ ⚀ ⚄ ⚀→#tweak

shindig-idly-service-compactly-spotted-tweak

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚂ ⚂ ⚃ ⚀ ⚂→#hangnail
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚂ ⚂ ⚃ ⚂ ⚄→#harbor
⚄ ⚅ ⚂ ⚄ ⚃→#stingily
⚃ ⚁ ⚅ ⚄ ⚄→#outright
⚃ ⚂ ⚄ ⚂ ⚃→#paralysis

outright-hangnail-compactly-paralysis-harbor-stingily

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚅ ⚁ ⚁ ⚄ ⚅→#thursday
⚅ ⚃ ⚁ ⚀ ⚅→#unlaced
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚀ ⚁ ⚄ ⚀ ⚁→#attitude
⚁ ⚅ ⚁ ⚂ ⚃→#expedited
⚀ ⚂ ⚃ ⚁ ⚃→#bleach

expedited-compactly-bleach-attitude-unlaced-thursday

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚂ ⚀ ⚃ ⚁ ⚃→#frayed
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚄ ⚄ ⚅ ⚁ ⚅→#sprung
⚀ ⚁ ⚁ ⚃ ⚂→#appraisal
⚀ ⚅ ⚂ ⚀ ⚂→#cohesive
⚄ ⚀ ⚄ ⚂ ⚂→#research

research-appraisal-cohesive-sprung-compactly-frayed

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases

#letsroll

⚂ ⚅ ⚂ ⚁ ⚂→#lukewarm
⚀ ⚃ ⚄ ⚃ ⚁→#candle
⚀ ⚅ ⚂ ⚁ ⚁→#coleslaw
⚅ ⚅ ⚄ ⚄ ⚁→#yanking
⚀ ⚅ ⚃ ⚁ ⚁→#compactly
⚀ ⚃ ⚃ ⚅ ⚅→#calculus

coleslaw-compactly-candle-lukewarm-calculus-yanking

Roll your own @ https://www.eff.org/deeplinks/2016/07/new-wordlists-random-passphrases