From 382b5ebb123cd1c9a8eff6808e9f6b67c212ab29 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 21 Jul 2023 12:48:08 -0700 Subject: [PATCH] Fitting main body into 1p --- papers/hatra23/hatra23.pdf | Bin 399414 -> 399315 bytes papers/hatra23/hatra23.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf index 6f01d92a76ff86f57e038474527ed82f1b3cbc99..60201e651322b49b8097d3f533d5da0869124dd4 100644 GIT binary patch delta 10282 zcmai(Lv$q!ux?|cT7NIxmf?Rp%NaFgPS#_ACd+Xr(@`v%Z(12tH^9Kt>)LE01w_u;kvlApwBt9bJVw| z4CrU~3P*t40l$3of3vO96&>WBh=~hb+O~NtFyz9hf2#3%yr}Vd`aZeP6zVyu(zy$r zpuniP=u%H^)H|$^FO|1=J@;vQBlz4%Q|Q}?1jKjpeFzcI`FRPYlM90M>r=>lIt?Aw z#Bb{I-->wiz3Yiry_fc1>RbM*sOLxCj(PaIe)2`8jL;J`kukMnQybWanl(zRBtPHm z*s_84^9z`T>bO)TzCVTeXN5i*)1&-9pZ;x+EQk4Pw({vbe0@L)eg@nqvb6Xc4NPeXPT>{2jcBCk?2OLFt56Pqi8{POZ#^!b@~`8V8kUq6saCne0m3$ zKcIW)``*;B3|?(6hA^Eun=5>Yx}-dojpEy-#4d&AkgWc4yQ$W ztzM_(+JQoDOWlbQ^^GnYMS^s2^V*AG)5lAvg3g57l4oaGCGh_|$u?BY9lj zZt0MdDMPD)U#CUK{xIlzwe9#NjF+*T*D+ANjh@i9eWnFMsW)UXV98c4V>9NbRW7@^ zIEH6FvGgTRxWb*yZR7KKep0jjrjQ#;Ifq8Z^FaGF@Q*ULDTP2#GNahLPA1CJ#h$&M z5J5OeAK_0OG(sqQYC$feB2X;C3@6^4;LZ>mFGXO|BBCy0a%)JY(t-}pY~Y8?h$wN= zd0{42-&q!cqD`fJ13_Y^vbkt7v+U7Bm{_4GkZQ$zBkhHt=KpaVBuxp@V zCuM#qtpEE*j(7X4#=qJ%}d z;vQL9*%KK%eFw)v7Gu^Lw7S$s3jA}mXjeZKCKrq_E=!gZl|3hcg{y@@@kptClj9O- z6fley?#_5uB;J=zQIjxszO;&psc8DZi(s)={p08Dd3rMn-cbi!bN(c)5B`+AU16#Z zykID3>G8J<6gG(j8Ten9J$MV`=GK7Rnprtz|;*^oaR|R9fMyD45HvTQHV>N@B2~ zd5AqV1tV#HNHC?lMcDp8!2@n&T(WU!lR7IExWN5BU&~MZ8E~g;0m%NC+OkxJ6_l$c z6!MVNM8dxedV?ptDL-&abJ03Um!XtFye-d2sBmRbm<7A^Ck#<%1_GtONDv=PB`R~k zoK4!7-dFY?lkG-Bh;1M?WCXJa!99qr=%rTCe88>nM@PFc!LMQiJ?g|3M)R2Xa~TlQ zOVymU0Quy2&vXR*7=j@{GnlzQ69TLE)flPv2v`Qje^)MT;;!M`P!u)DVZeq!tK6(8-A0iy=BDH}xs1#pbO28&!U?^4I|jY>R39=`*W4Q8w5RIphroyy&ojKYto& z|Hbwt@w8R!%UMw1=T2M?PbZe+9E zs%kI3_QOu zL1S0SLO-XNV$E&m{VIK`U5?XjV)_E?XoOd<)XuY66lcNafQ0;BJ(=X7f6G)zCY@hD zp!!8$z*)?r7AUnRL+d0s_CC>FId(Cj?1ax2T2wabwuLG693v9%RNH63*x{``H<%Rt zkPxwpA<2$!(H21Yo;wq}JLnEa=t7qWi^0yOM_NV&QNa@$o+{D!OU7Ss>; zc>MSG{5%XvFrgj-J$kxqw~oHt>L^#d1Pb!hE@^vp&Er;6iOLi-wBv8hC%rdmY5Xk3 zRWuo4E$ls1TX8k^kN(IUE*EyZ3Co$dGtm9|5hc9Pah?y*G%tt2+oombD196_3m&I& z!O)mIfax-Ukzwa@rU>5T&#|Y+g@RP^b?U?C8Nn_t=5xZL7VAPly-m3|F(Gc2FS_xE z+0#<`z=NXrTE__V53MPc{7-5{k1f%tjfY7X>2xmlyp@6`=(JMz$IcSiSxPchsdRU> z1Azq$%K*ye&Rw0=nTf#xSWHg&R_CS%g@SC&`#{fGLE*y2`Sqr#BpPptmb{STG{^fj z)PBKRnX)ER{{@-lR%R5u9y7-qww|0h!%V(}?J8oa%{V*=QhnN?*a0lfvqd$XZhHPy8Y8) z>#?c2rRuBfFgqSo&YQ6UlDL_uhzS(&3N_r^fw={2QKV7ySaqGo(zkeB>)F6>QA6SJ zVDr{Vu+&zNqkh0RFc_DAE|!#8&nmIH&|so5k&H4OVPd@*;^El(mCsvw7+%gyT33p- zw8l{cW8}2T(l4-hjA`4%Q&LIgaP^()n}xYtmwkBic*5F0+$BtzK~CmE#CGU3PxsVA zb7kffjLB1Asb9EV;%05_IenFs!_>}0sz*Sp*^36`Xgif@BTr;MfOkQ-f*VinlXs=& z96b&bhx z2#AQxfdj}g0ywg1JLa%T@QQJLtBsscCr|=g)2rNbW?Ci;fco|-q1pe2+0WIwfc2HO z1A-uhFr(|NYZJQP^6)#V;7{E$sS%t3v@_!#KL^?Gg4xY&)5VszfN{<)_G^}C zJk5@DR&{jD!Jg!dBcpRq^DDYJ1P(b4H=uoX^&#uOEj5LcEd>=q)LeCpBlj$YuFyQ< z3-)^Hqd;l)mshGBHSRKMfeY)h;lqWrQD4wr+44>;V!p8afy8)|7ZvUgqd@l|bFL-k zW+nuAFu!MJzz_i=?u8N$S!vlX=zd6d`lU9YmoRc+(H^@^0%!XVKte_#kC!iA#r|j` zWdr#B+HOjdRx}CP1!a|?;sige&m2N^Dlr3*yXus^L!aL?M=)Z-jj|0Rfh z#6`lw5lN-IW8H!1Lz+b>_+2egx}Swzby3D373|Pbn`zMBay;Wlb&~n&HmU~0+YNqA zemkQ+Rz-yVdmc&+4O=<|dlL1@3ZNIY?Zd$mrjF+5pGv@Ry9o)*0QK7UCm)oO8E!7? zS~(;gt?hL>=aR@C4HT+U&mC&43MnY&IEz)ro|!=m{|`HG>*{kpDLjZP%&o+?SpR;{ zA|TRJ$xq)*DWsGi^}r}rBAp5B2jGWn4`@R$a{w}xO(Er1Roi3WZe_b86zSKaE@mC)Tg#Z8|~M2J?%=4kH8?C#P1N+9Ay-2Eb3?elLi95C?98 z$Nc<=H(Rdgy>%E>_o0$a{ z_i5AR#G|9en7g+DouMoMO{`Vc-q~A-PhZ~2^;~FHC)*=Sa`PVIkAna@7!5Ln@O$)c z9Os2?&oj?ELB#2&x_S@i&vVd?rfZeyXBelpeL}t9?r;rZ_aYH#k+>ItKEVj=?b#8Y zpR1-u^E(SjLsEk&i}CV~l~Og0e!t@jsDG#jpJ$BVT&g z=4Dip=%{8F@D6iKfGF+wBaHhKY*cjrC+N%h4bKKOx6vj<@?`D08VH(44ltE-My>BT ziq?a&zbLj66VM zh#eS;CiD1hp%99Aq3e9Rg&PC}?*Xo-!oxM6%@tl@=#UD`r~9Rmhnh*cNj@0(7?*_@ zU0%eRiVcg_P$!Gr*KxiBbzNZYuuxz}%*ig9g)GuvKrLp@OHIr_0mcZdYOHL$04`p3 zo+f*5MezUSDI-2y|65^vdH$C+$@r>*Q*d*$nV4{znll18xr`YB?Ck7}ChR;WjGSyN z92Q(07G|v6Y)yTBm5AV+|8t6_Bu2u4zo%qHQi3!wl{PV=pxf6zpEe_gsW;&Zw)FLw znU8O_1C>OvBewDwxG)SG$78619x|yvCtL))Jp}a>Aom$?G#9g|JMMF+neMKP)p3{? zv!?P&#iPbHXU2+abAC-)y}Bt|qgZ~9Bj>&Y_=;XSb0rm7k@HLyVe9{KT=g(7mde)Z z9f53l6RQYz1t|?Xe&~on;3+OTPATE!`azDFaYtzrcm;XHDp?rx7jsJ%gmUH#5iVvC z^MM%Ci5+k%AEwk^W{3Ww{!%C*_mR~b6__8Uc0f#>%DRDY^Hug)OdZYa=DZ%s2i~Cj z@DP?a%@?U>JEHS@QVE!D)q7!7I@z=~y<6R;Y>oc`PR**d9Kb>2K)S-JSy>P#r%x5NaP|n8T~;9B85Bc-z6a+zGyV zYcv-iGEJ@zmnvK_3D{M|mfo3z_y>|1W<78@Or2CZVXJ@*yMdV|HZ7{2g%4)J3nRJB zj0MF9R+vWZUx`{B)>q3f%dIq8%J|*pw(w-m(=nf?t5RbUy6ZI}jf^$#6s_&>=~mcV z)Y(ic@Yi&}K{G<0GO38Jc$Z6lD!+@RcOzFrsdWc+^^G=e+Bu3|A-m|6NaZdT|blFjPlKqED* z4r1L8Ud>trA6ge(vsGGv6i=X#!>3TIf7pjTA_{>G;w+DzenD7K870=M@yOpii1rxm z#)KT!hSmE9TxN&eT_y*i-7Ud5UGCeS9ECl41=mXM;~LB7&AoQx4v?c5COg*?b--}Z zNlMQ%5-lK`N7zMzuO}*`l4C8vWT+)e$czg#K3-HC$TJ?MNeX#V7uXtpqQJ32u%p7e z%~d^snhq3l@#%of$m*2m@}IT`hw}}5AjA%4CzT=+Dz4zokp2^4QBRXnSI!g*8R5~X zwT!i4GIP19mN&r<3eJ~u5=#cUmmj>ed|}BI87ra6^D-HFR0>KUTtV*Vy`7(> zZTG?C#910~asu-@U^)!^Mj-}?%@z;NUj(j+V%QjzlNc)}pWxCIfU6A#v0CwIZni8; zeHB)zBX1u^BA9PCz3_m#RrJc3e3z82n+<B6I|iz z*-!#uNu2Ze1g=8vkA$dB>?jJW9AgNrxk4bB`#Bp z0ZA+ZKHO3$WThpX(h1IpTsiwW>@`D0kfTg~#Z{n39+qy(O=H<>3^s1FbdYgZtJ!tu zee`r@UK~^^)M^QCPa~CTa-j7+T4f#BxKx;EJ~L+A0*93v0nuH>!3@YQ3485q6w9ci zmlx$nEceasNzm?J}G%Gk@%C3i+iJl+UbM(1sX7$C4@5Aw( zG2DPH`Mo?Sk$k<(d8OlNuOL_rbS&qH(j#Eo&}+eP)VITUIo5mE!8#gf2h3h^br2S~ z?_*>ISmGv9ffB4f&G95qF7AL=YEp-Z1icplSZx4@yxld{58(b$S6)Kq(X+Sc7{e{( zRNJ3R=z?ud$N4YWP zNku;m<0ldasy2^Cgye(4c0*PYB32T>{{!MbApZlZZ6yI3=myKm$_C(K=gDA!f+6^S z0)&E@0_XU@zuFmHZAW~bPXE>VJyU*UoHmmrq+syB+=_fP#(ZaP6(KyOWy0RxIFiue|PCUC`&d#){aDz5z5-g$z2^mpXrT3KT{l~IIUi6a$0gajf+A4%p*zVyLHTTrjWE{uX5ty@)bgQAt@disbF zk(f5KTjl(((a3&P6Na$;KV8uxR)xZR%@Vk^4Jtn&G2zii8^Dc9tkF`L<%06%#Y?Io z@(V*fg;l-xpdc(Ip#SQ}7DJ%lH1|t$(isiDYr*UX0VKEC!XMHHB~p9Q)1XD;JP^#y zq2L&UfS~rko-446obD8)0myb+*E*J+-z@>bIM|km|mpz4XB@1V^rb0dZFoe>PIZ-Io|fV z8+TNEo3! z*3^5lz-I?|e(&MxY0<*BczJCW@6caR^J*$UZPeW1*|pJS{}eD>Fws3X9DU(^Gi0&M z?22^uSm2xE-D|PLSLdg5DY*T3a#_8K0eS!r*7&P7UUL0H&IkIRnBKR&BAVY^f1d8g zcA9YUJ4nM92z)G zS7Z|qxPFE`eT3Ym1lLMK%tK5;%!y&cVZy;><)@5E_yxsloR2~}clg?{O}y;_`k3V+ zEy$f1dUI_976|hF_@@;ck>V4y1XWHsM}>3n@X@&W-9(8BGc@Is8L3KqH1|(S@U?Ie zvSS`M2DNo5ECkh663dCa^&zaHr5a-PXA4n`xynv(6>#}O5y}Y+8Oi`FeSjuYbYQ_> zUHm19t$Glu2V10quP!Dd<>_z?6eK)OyT@=$BYzYPw)&C5q6mxAGq6ewE52E6!~&y< zSscQofcBHu4=khFcm3`_SnC4eEx;7v6gCxtQmrjigZqdxgqz#P;bF)!#KZBybR;BD zYrYB}wnsdc4y*l;F<)%|M(p8Ix+7xFXsG9{U5E&UiFyL{Q`l@02Rld>B&Ndef>mRW zh8t~4Qyi6(Bv3Dedw*NoYyCX7tw_|i+4mMirys0|l%$-Os`o0&$^`Q>lbH*Wk5BV! zzsdOBW#KyS+erRUW5i5yEO;Vw*?a&Xf^QgT`fRo0YD(N%&$RhY&~R^wp-K+b{r$*Q z$|PY#q`N*yLU^U*)02<`s_xXoI(JBtv{PA@&?EuhD5sK+n{)s!8jdE< zW1F*%T$Ihg5B1QzS;hVCMii$$yulN{{Hp8-Y>m z_I133Ku{DO;8Q#We4UwbpXM$nG7ettCncUduCmgT%JQQT>pqWwOdT^0ey{S49C$;u zW_8oKmQV6mv2lGo(2CWSbC|L}eA!q0G67e21@{@&!`{I->x#ivydaX}iFxEn!CJsFdI> z&`y-#D1};Pm#_f>VTSCdb=&W*3?+3tBt+Pk#B5F}`R>LocxnC&_w#ZLdsUQS7QT86 zi}CSH)ZD&%JS;v%axgGLdT}V#FsD|{R{mKkMcGJ+j5R3#!+Go)1#4nZ zomHMkY|u89Rn?X!do<|t55tek6wKGp`2k%owOj0Qo}9&UP~`$ahWuB756cNo5=2)l^nehW{uV?-D9c_%6^+Hds3}~ZpYjxe zh-kxu9|Gtc_<{7p+s^JVL!04=&)C7WT)MF9Vb#yD>m2Gyrr5>`r+UD&*N%kE6(onQ zYU$n%t44)o5P~{dOKTOvZqbjTwkibFDXawhY8y3o-QO*0m3VCsMkP$K+p-XxR=hU~ z6H}tSjhPdGlne`vg>f@Zs-M=CsOsY9-vg|p0m3>HzGcJT_hBlNaLiB_A=Ldx&1muT z33`{!vQBw38M02+Q{+}&m8xaMP9&?kkDZtwrZxwEdKb*;dX7c$ zG=&vxPFQ<2j5;E4)gueK_ky7s&((OlE$hq@iFuGNW$Q$WseiHpVc zuwgHfHxM2!BOx)J=`s5sf(LqOQ^~tx@_HfbPWgibba9saJOmYwq&r5g?+Yhydytl) z*s6tQ<9F!cKxiNA(&gxnl1806b0ucjp>dovP=tj=cfLVCB0HHQfkirs4SHg}DHD=G zB1&C} z#4jW-Vm(!3v8&K>O6{QM0hc18>N@F&S@Usw8gdI7wP!fST48paCHiqL=hAMetl%k*_ht zV3uuJ`^WU0jwM=V6#^0~48X~brhUbVCr`t) z>iBPsWo{WSN@;Fwfw|e(K_km4W}5}6$1CC^^Lw@nqu4Jtv3e>RP2@kxESNBX=%Y&k zGR*vKDeYDjM&sR8?LyG?1+5dOoVd_<-3Jd`7GgjIF5xFqb$~Ma=p0Ro{y}rcNN6H z=ZSy-r!8Yw-)>W%i*GgywoN9WdVdada|dUZyo?)LUU6kiJDos$cW#b)y?&%V|998z zp3cz{b!me04`jyqvAg!|3lE~_dY_j5u_kB#dz1x-iRVR578^I`Z6daFp+x)jjNPYy zYf}1vXz!=KL^j9&LdVSAMTHW`XT7H~;=rLVV429UkJmtMQINy7AV(jh6BHt-=ILfU zx>`yvu=A%3XJTX3LQ=~Ly<9D&Axbc`Pp5GDN_4$`Za25r7k2Uuc3Y%=vtTQ?o?5O( zxUD|a^E?z2m%8!)jst^m0^KORNk=@zo!rGoODVgt zBQf6oh?>XFFScu_Us8B_JpW_GLg4P$Ic|t8vq7uYE%15ta_UcJ-JDM`4fRBhvDi%JUmHD1-&CTRe0T_f{)MP!iu zqJv|tdd`#e^sYQp%<;~)s_w(MCYxmL`cYEj%U=%?7FxfH5qHB`%(DhN6+yQZc+16L zU(CVN^;oH?owy^HNIqOl@tk9&mPp82Ea?13&J8_ikMYIluFAPXrM(x0)0;Y#q>z(Y zi=FXQvEZYs*G!XunZbk&-86Tl+wIo zl3D}RP0$fG1b9<)!v;Vo6(+?`pd3&;FDA2Z#HKN+GNDQ}IbJIMqwL-h@l~sUUY!Bv zL4S{?gjqj7RPqtTo#{j6olJQg>}Ombz4#2X$5kD_?%5OLdBaDPa2;Yj@9PMuXhUG7 zi{S2pK_|_qjGR&3#lG`zwL>gkqPPxq8=--y6O5T$>$jkm?7)`-V1-sKkEeuZ*p&4d z!8lwCNtwWrjj^m=ccJidq+bDx;|-xp@9L!vo~1eHd*+o#Y-&uNTcnf`mi+Eh{EV7O z8eQbusZC7e`m8SaTr#`NEYPN$@0PswIZ|OSaEQJx`92yQHOF3SeI!P`_unh*k}Q4JK49FOjdJ-q*Yr%!V#K)kQ+MnK z%ewkNyz+AsxIN8{UhR7+rFuI)4XiIxpNu&ge1}-N`S18_JMk`#9IvKfc%<3;?RX_N zs>bQyqjG5Q+9vu%@vM8nzkb>aF)jLe?ktCmt^u>FM{D9>YyFy5F5&9$<1#=OiXs|7 zlnRV_pM>xIM)4)WX6-Vpho*x?rW=3e4=&M`hskSrQ|z7J=^8Qh^I1$dhDF9tJPJ-t zN%$?tr;QyKc8O;o1{doajLqzTy%J@G9FB=W45+}Jz3MdmnGdAh={UfWfOGWs1Zzup z%^TK7x*uP)W!h1f!)F=MU?;#r`?*AFd_bzL=ZTAC+9GXke2Db1o@nV);I*2ljTszb z;>GQBv$G&!5RRQ|>Kk&tXp_I z;NoFp6J--);SeO@|NoBYBQVRGJ6O6|k+8FIW;h=~(}D;Wc$h;~Fa!5pEspWu9WLK{ zkxaRs{CA(tFQY)hls2SjVS|PwvU%bqDzAv?$~5DcqDB4BJI52guC8;|b&=x*(Zi9^ z_k*L`j3{VwOIN&XX%O^IV{3oJVeVhIcUJ)J_5g)HeyAp%_?=Hvk4 zvNDWzA~H`R?5lF&0s+gt4T;zhiBBY($l!yVr%hd)58NsH9q3r$MLuW2L*NZMEjFcYUD0jX-Xc z&RjswDsfI5e$KN%&R*{fHO{Ufr_k#02t@55UhNQ!-C(*-U&0gDJ;9VvzzOGS2J%lB RVgxRBb_7aF2_;E{{{uj_ykh_W delta 10387 zcmai&Q*fXS(4}MBwryu(PHfw@lQ%XewlPU2wlSI5wrxB4zuMZ``tP=?&&5;SSAEgd z=gimQwAA6$RltICar2}r??Tc5aXLR;H@MJx&NV0OdDZbkL12D#Q4b}dmlLeh(>A9z zxEEN^AkzEEg_mGl)^0;}fPyWIOi7Rl7vP^9FHc5kB3F4m-fMTgeD6=LB42yq)p`w> z{fb_k{G?N6z<#B}j2`7M+`P~*EXsdxz+J*G+^gsv{@(8yh(K25-JPEV_-Koc2Yr$y z9Ik>H(Sitdy|t*J=Wdq54Y+|hXZU7=QU zmKpn;Bg&zM$%)3KAF&ieT&19E?!;+fT5K_nB}s~(PZP`c_zu@4wVp@YsY_(CLfe+^ z%`E|8gTIOs(k5u#OGmY&S(WY98-52Do9)0q9>Zg?PH@T7{W%aYWlQ5&Q?!=>YiDjX z1xoG<)idKB#mb+xSDD1KWzznkWv13i-B~R}Oi%6_bL{L+-unX!$OAQYV^_v>#B@1+ zmBWHl^XLAY8dCQ8$m*Kb-VgJEKRq$6zLd|)PLozqTkYOkayxwd49cDVI!##-aK*j* z^x<~DU)P^`gr5QN8C!_^sAj?u+MW0W6Sy3McwC7DeP3cCCBdaKZ1AG6YcB=g8iRqZ z7Dg%S#GLe$#XWr#NU5g2eXPpWM^iS4bO8VyUQAKq2?;J(0WM=E=1}_$O zvR2bWe^1^(Sw_IgnN+v_4FLP{EKu1a`?C(Wz>fPH1Th0xCyEPv5#@<)K*nt*!Jm#Z_-D9eJt|YB_v4N=bIY3JD8` zMuQ!Pn_G(L@P;Bo847613OJi`J}O$D?erYhfd*sGPeyqN{`Z0`@Tub;SISln1~-jh zNm?WA({u$OC;aOUM6iLQ8u{F{Mr|@?fwq5NgR)2WIxavQR3v2e-Oi0x529%^^3Dlu zm{C^Fs=%pWHTKr2#z<#KFZl<+zCuZS$HbAMj4l%((9~73{CsW2$Fkn3q>Jbw=WlEZ z_rd8Wh})OEDDjDjHE*c%4!Q_!7?AoCL(SY9WVi}w>L{^fQq1Ovp2+OAcR6(YT5(^Ke#<_p5=m(mVFm6?}r`7jSFQJHs%>bCE_wm!Of8P9-)OS;n9$%vYC^vb5Y+%7RA0^5W+A!A6S zBUBd@dg?~qD3)wZ_wD`n`XrWEGSydKWs3uzkzfHEDIQjgZOFg20;5P}zIg*@f~i{| z6Aa)|Wh2+ilGGh+Ul5MwA`qFbK*HI`?ri2+xjKhZT-y}~ckXhv9VYtL#ZaE(dO+v~ zNtS{#Nx$QX^$M<~< zz>6a-y0-8-Wmh?#H1%LqZ{`35UoC6>MfwS5RCx&-?k~joxB55nliSCs@KIeYO!qGh zQdpr{*YaQG4X>_FQk?KX^6(dJ@qaMf8{VQ^};h=@HkSiz$;4%q7*%^kc z1c@!Q!a#n0JKAT_v6@hY_ea4nsQ-6;-%(cxyw>6$i|a22v|7T)-)#!OEUkaDggLv~ z&4E)6ZH;TKHxuMz`)fKK7zw z5;$FYzUb!P8noB36;HYksP1w>j!=|rTI))<^V4I7i%ZSxm(&G$w4JSNFDLV?byTgt z0W}M45&jewYI`7g_Dw&$x+@(=t&)cjWLFR)TtJL=g_4tycR=|=x=KQo5|yt1$;M)D zr)41X6qc##g}O~8g;I;LQ;bm`l$RThC@R{#X3l%vvBxL}ywz6$M6&e!IkUIFEdpKJ zTWkc`sc{AId_e37Z=~!zi&k{r6!q#RT67>5_3~?feEPY2`+v$p8UE8$7AD*?#ze4t z*cr3!gMpe_J@cuk-`=UsL;MHTEhZBr$FIHp_FmlrRH%#z!#GCR7yGRyphO|OZXVt7g?#q@T%H+MLBG0tRXyj2L znR8yAw7cN=X>@$$9Bw6jO%xuD8oyt%?!d>H={12#LHOz78P9P=MRv9TmaLdjOb}Hj z@Iwu0-ZBP1#Pu*m7CdOF5aFbAx0W0Nb4b_k0uGuK~UBDs|wXK0Uv zE9JitWAkLNU7gLNuj6HF(=Q7JnrN4+#=x@YfLJ?6W9M=K(}A?D_ex$RcW1ZHW$ay^ zCPzB+8hU2GXLQD)v}up+Mcr)NtE{a7m!C6LPj33)kAFVjJ}KMX5oz-xW^*i2ZtM{K z)$tTbM|Zfh-LQ6ZvLC9cQ_H0-@8GWRMaV$=7^HzoZtq73JrS;HiMDHkS2O`m%hkt-S)%_Q>VK8g zSF)PDr^eg<<*jtl7&ae6NtVY;96brmA3rSNYG@8mt3J^8ql2{a!ryyq#cssY%Cy_$ zq1Diq<{0fOR6FRiBU-m!u>VygN{&xt(5yrLoRxf-An=41a;spup_AtBz+VHn6C93+ zZ;2vnV=m~V$HrNh;Hg}_!2%0{l+HdkJ^B!c3R0}sY~{QENPX}O`ICFS>VjNNDKg)x zroAqPBRwfq^OD@dOdsm2&dRQr@4-X!+Y_S6t|GWNIkjq54`N3#u%%TpY2#k@pD-wRamd@DV9 z*3t%BHrn+SxDkfaw_i4)xc>-wpLya#P)5`}ww+k4nd3PykBfCSQ$i@=!308KnUe2S z;9t)zdJ+C=n;^zg_o^R9;bk~LuM-~U2Gi6VBu8gGIiXJ;U@zQKhG9Klp;^2Lw z{hHXF_qc!^oG*Mtwm3Poj8vExTb;RiQ(8)K3Wd@7hY%QST+!bOiZGzqct3|gaSjq` zAt5AKzx_+>yx|+P?Eu6fFalz>6nV^=uwbuE1ys65r3)IVe>b7 zI(2%o0Vi-)SZx9q&xQ>-zfm&gEQmSNya(#>$Ai&VFJ8pZMm;?R%e;dr$Go<_)^~M% z0YytD&tGViM2_6V(G3nQbj64JBBi`JkL27=S92GkdsQxYyh9vr@w|jx6U$A{g>uPs z^)9JE?Wu5?i{E>W-@d37BCHjUd@r+5@BTryN35a=7PLVD;eK)^b{$RpEOp`Jk<+l- z(eRXE%;9i0B;6+;W{+#{iQOd?VvV#)ZYAI9zOO1JW{*8E%l*OPwp7lZ5B`Qt^W$o6FIH?YIp#E9d~tfiMAp_u1a&qdb}Wl`xj~@7 zR-WREy!wT;qiTw;AGp*cJAEuQ9eY40d46%AjDqpi(43Y~B&Bp-@O3q0!h`ha01i>% zbP4nH3}qjS?CycYkE$~^{l&H|{J|yI8n`yyVYS6@3KEeQ2xmlt%D0r&d3-;IpUn<^ zoB}J2hA8*a*kF`1zu6{RQy^6y8Uy_RH0Oyn0^ZWQ`SyuZk=;(v`(dq$O4s0m7)eqX z0jm9F)EhSj)-HXRxDScc-#$}1PYhAWd5v7q=sJfIn<{6aMaA(y(+XcQmiRH&eJ#(M zCMVS6+M_Hvu?q{#K{g>}NBE`}D)McBkzcJMse#elPS493EjaB&F;a#iXV%jILN>1F zaBNx*Wblm83f;#qyu8<-;w-#bhNhwBq;Q2ryH*)#(UudIQmskf=Vb=PJn^>iX;9ixN$LvsS8T zN&h8j!?fd2vU8-&ki#%@Miit1Zj?~AT3O53ZLSo=#LSb%4lx&eVMjF3H^YCvhg)hBd+qy!#O(WdBdX3DS(=(k$b_o3x>P|t zS;se=*`c0%h`9ELCL^+kCezQehcy`mP9~{tQpNZ*d(&$Y5cXXk> znfuW#{%{PuNdl7glH9GoA`5tSLJhlX6T}VKLS_d_8hr!@167GZuDZgygZE{4wn*1B zxmS3LJJ935iFvy>g2v_a%d&qQLYR*D20jpC1+$Y%5eXHP^QBAA4qMdHBr}yW#ezq8 zbZ9MNu9-|;tgGctbHTeNYs9jELMKPWk^%E_0~eMrEIA^>#Zv56f^gaJXC^#6AYIPbE`2~mLNBSMvhj(#uw5Z6=d@}f3(e>~LdrA<-EJRFQ*PCz z&Z#*tvrrlC;3^*0a3#|Dhb1db#zBKY$l-dM3C9E4C7_ zJ*gH#5UEEMT=z4WwA_@YLllAc5=bao&R_Ur4`vqw!ATQtIzlcl<{^0G(nq)k%H$h9 zUW5%(JOBm8xeIcJJ23w$ahr1*`xeDNZoQ-X>)4vVK;L|5>7dij`m0(3ic!UArG_!H z^Qw!C-NKR_l(PTPO0u>(Duu#m%@3lI9^_8BF!2~(qSy@)4>JP#CG()XiBRSR!s5c9;A4BQ7An!POg%r=G@!7WfT#7=Bx;gTa&zkh+54pR+VJig_7oto11|82js$vsw18oOuv|b$^$N0}B*9nb^H!BFs;ANqf#*W_KT)0`^n_-3j z=)1G$@a?zcjzc94f0~XtC)PB&#Ub2_tly&_H<2iXYmOo;GI0R2y3{|Wp*L9}`%K&rYyv#@e-@Un5F&w@h{ z{6BaAhZ+a{zoGD?uC^n-REPg@ZH1IAn7jMsVmND{xpsUP+^-8B=TK0IW(q2d(cL}s zfKS2ltdfp)nv#8f9O22c(zN?aL&gR&Y-JouIMimPmwoflJGgWu$Y_!#SJ7ipDGb?+ zg0Pl>qq5T6x-GcNFh+qMcw(ha6i`9DhYR^$0iME~R>qM2 zV6YStwFeQcFjP#*eyw(Ru`i^FmUK35h81N6J3EFsvnSbAb~LzAYlzuRSeJ&*VVg$ ziKXVxiJs#k9*NW=VFk*N+<$`|L~x|2%y}14$eM)9`y7MnQ(XLNUnfKGCN+ut>G>vnAL$^zE{f@mMH+}BJN7zXX5vHI; ziJ}3i{RZ|^q_^*pg}j$zA>D)k?*4ta-ed2t6ruDF+b3L@W zcdG?LwC~BR7kQYvcTEJyWyK1-W%n|UTPd2GPyIVpFMsKUt zm1rbvO5Bf4!`w|*;ZS?zbWsed(No9V`=;VajbYpcre@0Ro}aWY&lW{A4_C5yrvU~X z=?DFZTG3<*t1YTqM>3nQpuHkM0Kojskt6>%q1+c?hKh90Y@CC{T5@t=CKHB#&=9+yx=aO9Pr(^tE=8b zM7=o8wPlxEugFjm9^PfqV-`!S?M+Ia;kLQnhr~*M($@qWw)L8yd5w;z`AT$9US7@} zr41TJ{6ixPj> zfdmQ{rgzU?Y^~QGy+i1#D&*?44c6nyd+Vl$L7$N66NrQfAN+R|$2umI!??rJS@OLA z@ZmEf6Ap#!uFtlUj(=&7j-nnz?0v){QTJnDP5mw-2$V7u!QkFRM3+qdM=mvyVzQz5 z-tE^z#&Yrcs2NWHz+mpX@kNdw>u^vf$RK6vy`C4lCXF1fx$L_ghsK^S$9}?J@Hb_6 z4pCUje?+g)1KN8&cSC`>acW253B~Kl_wp;Q+BfD}(&la~MvIU=E-Fo8prk-_i9~s9 z@=7U*X~V2Ig_EL-Z&`U+%d3Y~I?%W1lu+n>trk_%s+CP@ zps^^=dOOM);JwO{C;z5qeylD@8?}>TnN!O5+hx+pCosLBK1l7FPHO%5HozIex)H7W z;RU9rV7;3oTgur^V}j9tBrR4A1A_-zd5~!xv|-c)M6%!vV#*x|fv(oU>!C2HWCuPO ztg1nUIr6TNp_+CkVkx!jz_H&&=6CG`L(HA2@pW0&l=RC-1mzyGQOLf1YAIFbteb*t z*p_YMJv-sAMUfrTRn)>n>7{YR`ov-nv`M?PuS6T{#<$aqLCO`bqF-s-C}fbH+t;Y& z+lI3OB>`GGB#|9~iv9ddxb%jb?7%L21OK!(F}8L;*|fX%1L`Q*bO*;BSt?Ry>!DAb zxnK&UrpRsF7Uac2QAEG*;GEW{$MNPjQkFqgR>c9CQ0w#+`QiF+i6<_?y zw;k}~P$-oGvk_;xoh0wMMjq+#kKzVACd+An33{-Ci4J*E4w|zwFukg2CvI?KPDH-Q zrLT|Df36=AJe}z-6rQ(4413W$@!aJym9~3VF0qs=h6`}FewdE&pJ1+890uFpb?MtN zt_Afg+OYfke)0>>)`og{m6rY{&vrGhGA|iPJ+uhauWwo zSxrp+34bP|sy{ZZBsD3Q+BEeFEq@&CMssI|$w5E%t6?V~vfo$ik~y?{fAUOh^9T0F4}OQ!trsE93HKp);!hK!{%Mp$!CmlZoYkV;H7$j3$R zm;4=A7lJC_V2YDl?n6QC!d6;ghM@^0$>s}WD^?z&7t%$M@Pbw3ls5)iB|eulSToVZ zS+4f(entGAC@mP?*U>SEA~_C5>@r+KrlCW%zJv5H^T%()`uULq+qdpaJ}|3iMYncG zPas7{tJJwDp_#E^yeZ{-^%hzM{PNv4i zx#21EClhE?V8gAXPCuIw+9Z5;azmy$T|#i_d++*X{8~rgDY?08#!@-(u>M5YL(t{z z?(wu+z8_#YLyYWmDf2F*-w6OZTXMek8W+uu{{}P|ku2`-{3Rk_qKlk!_T%|;vV5^w z2OW_CrcUlwFAiR`h=#Xttdo7Oxhr>m#dq#*m7V?7lCF0U>(+x|ZG0TgjyC%QoJZo( zmWy#m-^CRveGa5_ahTQ(w%WMj@Rl)%Fnc9#30xdDMpv`Jm8`DPb<;rVaU!H8LHdq_;BcG>d zH_Du5iH)4gRq}@TB~#N78BK%YxV0H6m+Ct%HJqv##INNFjmy+_0JRJ~kLvcQu@!*7mF7=#Nqje*N$|Ea zBZ^~v&lHz?RSBSm&z$wAet4GdYNmIq8Gkv|-tOPk=o%BG=d+Hry{pIjhAyOBTS~vs zUm6dQ?euvhJw_yJG7IH#n12??;}9Nm6<&1Lg)|^$&(s^E+Z4-lY(#0dM3KY1rgR7; z6EyeEeI(^@jBe3#5fJBhzuC(Safd=pkv&zx&PT&D`T_H(2gtm^I(9H$B8tKivkJE-7pKF;>C{5KtblQ;|%(Ja8;A<^eY zXp^Eib%7ClTrr=nX`Gxb;nejU7CnVsmb3@|xSv2g!&T*aZ@<&#`D)&PmLFZP-F;~M z#l3Lchey3SJ>dyNQtmPa%tnnGa+IA)*1>&+j7)i=c(watq}9l8I>)#!tE)N*ggb1l zln-?j6P0V<)T=wa`ED-PbEmRi)jZf=h90DnuK=__t*}t)K6cazQyG6F$V>>ulFtJq z^-&o&d&`)1Z9`c!G3_sk{Jbt-OjnhM4F1o|_w7Czp7{5+)}Z7{qVGgDZqXeb$z?Ka z*?}Xwo&>gaR`2dg4qOgR0vsQCN4=D1GgC12*|-AH0ZVamAuFZspp;1+av@E;Mn>K- zY~Y!9z(Zc+H1Khp92M*a-3u(vP0j;HC@MQmukcUZoW$7SuGLfXrc6)hGQU;Ac+*aY zcjf$zqkvw9hhjoU@ongq#Ef^3!!l98slk6HSYRo`CJ%Y*xiCr7iN{9F;1;Fk5j~Ys z$r(2ViBkz>6-=FVog&XQ{}^A>=xo#20m#7SaK58BVtc-zD)50XIO2b4|G{nuRhb?{ zw+&K>Eo@p3!SPSM;Hek3se=4)UXOeqZ4N~vsbe$AK{hbGaLv3z@2X8o7HQi1EX~_S zGwJQW#+Y_`QVmW!EtiZC1Nmc>^x&2Bw~ey(C}?$E%gO=BUW2|wGnkiW+t1T;fK5pA zBl(YR@*miMxTN9DU53)UpH2(W*eW$sjGoBD)dSke9Cubz8J4bPI0PNHmA;$?IU1EM zpJ_$2ou?2Azv9qfSm()1c22Jzl-!T85Id!%UZ$ZJPYJ)cMLV(y&v#F6&b-wEuzu21 zmA!VI%8_z&1u)QQu@gCdsSc5_7XPoaOFEQoUj0gr%>t4kp-S#CAmTKp-?j-oI3!^m9j=4t!{ zmA5Vp+x>dUS~|pEwXD?H45UEYk z&66`FTqXFGJdURPJad$)F*A*<)M<0wd5a7iaGJV`uEV`mpEj0VJCoTkscEJ4n#0%j zI?}8I@0QwLHAXVutF2b*Ep2D}7L*{$S-MOCKaB$76OyfQXoF?>a^z4_b`_=iVHuyv zxsl?y(|Yjk%v;MK`u#T2-4_$eS(%enoSRFGmy4HILR5nLzpR6clZ%y$m6MZ) zmz{-Gg!>1H!2fqdAC6hh+`-b#iiDkwJ6&lPk`|zxYyBA_f)jZAEPpq&rCU`0cgr^p zkJBTr`?-PtO^D}oXXlJAz9t@t$w7fEIMPUXgydugrT17bKw#MUy5E_Mj1^M`9rHLf zj-LVv_2P)=s$WN+3^UgpF1Ngmfqc=5%5^Bd!Vw<{Swj z8wr5kK!Wd5fC8t6HZ>WjHxiyHl?O?c(kw(c;>vaP{4QgO>8Hft10zEmDIgkKMPOee9O^B{7;0GYOzhXUyM#I zHrF*i7i#|GakBiw>QPKwzInD`EpI&(e;vGU9Wu02g$9Ea(3n&40a`Q3#hzY?4Mhyc O!_EpvNhzTy3HLvZ&KYz7 diff --git a/papers/hatra23/hatra23.tex b/papers/hatra23/hatra23.tex index 58b8e5e2..a5cf4359 100644 --- a/papers/hatra23/hatra23.tex +++ b/papers/hatra23/hatra23.tex @@ -29,9 +29,9 @@ \begin{abstract} In HATRA 2021, we presented \emph{The Goals Of The Luau Type System}, -describing the human factors of designing a type system for a +describing the human factors of a type system for a language with a heterogeneous developer community. In this extended -abstract we provide a progress report on the work so far, focusing on +abstract we provide a progress report, focusing on the unexpected aspects: semantic subtyping and type error suppression. \end{abstract}