Article URL: https://carstenfuehrmann.org/lectures/computability-10.pdf
Comments URL: https://news.ycombinator.com/item?id=41765904
Points: 19
# Comments: 0
Created
1mo
|
Oct 7, 2024, 4:20:25 PM
Login to add comment
Other posts in this group
Article URL: https://www.nxtrace.org/
Comments URL: https://news.ycombinator.com/item?id=42131
![Contracts for C++ (DbC) [pdf]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAAA7EAAAOxAGVKw4bAAASG0lEQVR4nO3dfUyV9f/H8de55YCIIobciHek3QgKLjBRYYguc7m8iYnTmZn3ZVNrbmlt4SQ1bToql9nwptbU2VizG4dMClEXRkJmycI7RFAREBDhcDjn+v3h7+u60VLPB8851/v1+FPhwxsnT865bj6Xob6+XgMRiWT09ABE5DkMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgDACRYAwAkWAMAJFgZk8PoAeapuHGjRuor6/H9evXUVlZiUuXLqGmpgb19fVoamqC3W6Hw+GA0WiE2WxGYGAggoKCEBoaivDwcPTr1w+hoaEIDg5GcHAwrFarp78tEoABeECtra2ora3F8ePHUVRUhD/++AOVlZW4evUq2tvbH2jNoKAgREREoH///oiPj0dKSgoGDBiA7t27w2QyKf4O7p/dbseVK1fgcrk8PUqn6tGjB4KCgjw9xkNhqK+v1zw9hK/o6OjA1atX8c033yAvLw/FxcVobm7utK9nMBgwaNAgjB49GlOnTsWQIUNgs9lgMBg67Wv+m59//hlTpkxBU1OTR77+w7J27VosWLDA02M8FHwFcI+OHz+OnJwcfPfddw/tB0DTNJSXl6O8vBw5OTmIj4/H7NmzMXnyZAQEBDyUGUjfeBDwPxQVFWHy5MmYMGEC9uzZ47Hffi6XCyUlJViyZAlGjRqFHTt2wG63e2QW0g8G4C7OnDmDhQsXIj09HT/88AOcTqenR7rt/PnzWLFiBSZMmIBjx47p/j05dR4G4G9aW1uxfft2TJ48GXv37vXa37IdHR04ceIEMjIysHbtWly/ft3TI5EPYgD+pLKyEsuXL8fKlStRVVXl6XHuSXNzMzZv3owFCxbg9OnTnh6HfAwD8P9++uknvPzyy179W/9unE4nDh48iHnz5uHIkSPQNJ7YoXsjPgCapiE/Px9z585FSUmJT//wnDp1CosXL0ZBQYFPfx/08IgOgKZpOHDgABYuXIjKykpPj6PExYsX8eqrr+Lo0aOeHoV8gNgAaJqGwsJCzJs3D/X19Z4eR6nLly/jlVdewfnz5z09Cnk5sQEoLi7GrFmzcPPmTU+P0ikqKyvx0ksv+dzxDHq4RAbg9OnTWLRoUadexusNysrKsG7dOq+6hoG8i7hLga9du4Y333yzU18eGwwGdO3aFWFhYQgNDUVAQAD8/PwA3LqhpqmpCbW1tbh06RLa2to6bQ4A+OSTT/Dss88iMTGxU78O+SZRAXA4HPjggw9w+PBh5WubTCb069cPSUlJSE5ORkxMDIKCgtC1a1dYrVaYzbf+qZ1OJ1pbW2/fPlxcXIz8/HyUlJSgtrZW+Vytra1Yu3Ytdu7cKeYON7p3ogJw6NAh7Ny5U+mls2azGbGxsZgzZw6Sk5MRGRkJo/Hu76yMRiMsFsvtW39jYmIwc+ZMnD59Gnv27EFubi4uX76sbD7g1v0M+fn5mDJlitJ1H0R0dDQ2bNjgsTsa78Wjjz7q6REeGjEBuHbtGjZu3Kj0Zp6ePXvijTfeQHp6OoKDgx94HavViiFDhiAmJgbp6enYsGED8vPz4XA4lMzpdDqxbds2pKamujWnCoGBgUhJSfHqAEgi5iDgrl27UFpaqmQtg8GAxMRE5ObmYv78+cp+qIxGI+Li4vDpp59ixYoVt48bqFBSUoIjR44oW4/0QUQAKisrkZOTo+RouMFgwMSJE/HFF19g8ODBCqb7J39/fyxbtgzZ2dnKdgLq6OjAZ599xtOC9BciArB161ZUV1e7vY7BYMC0adOwZcsW9OjRQ8Fkd2c0GpGeno7NmzfDYrEoWbO4uBinTp1Sshbpg+4DUF1djb179ypZa/z48cjKynqou/FkZGRg/vz5Sl4JNDY24ttvv1UwFemF7gOwe/duNDQ0uL3OwIEDkZmZ+dAPoplMJixfvhxxcXFK1svPz9f9BVB073QdAIfDgc8//9zt035WqxWrVq1CdHS0osnuT3BwMJYuXYouXbq4vdb58+fx66+/KpiK9EDXpwGPHDmi5Iq/tLQ0jB071qOnrtLS0pCYmIiCgoL7/lw/Pz+EhobevlCpd+/enTAh+SLdBsDpdCI3N9ftdcxmM5YuXerxXXhtNhtmzJiBw4cPo6Oj418/1s/PD927d0ffvn2RnJyMhIQEDBo0CL179/aK5wuQ99BtAFpaWpCfn+/2OiNHjsSQIUMUTOS+4cOHo1+/fqioqPjLn1ssFvj7+2PgwIEYNWoUEhISEBsbi6ioKA9NSr5CtwEoKytDTU2N2+vMnDlT6QU57oiIiMDQoUNRUVEBk8mEJ598EikpKRg+fDieeuophIaG8go7ui+6DICmaTh48KDb6wQEBGDChAkKJlLDYDBg0aJFmDRpEpKSkjx+WS/5Pl0GoKWlBSdOnHB7ndTUVPj7+yuYSJ1hw4Z5egTSEV2eBmxsbMRvv/3m1homkwlpaWmKJiLyTroMwLlz59y++MdqtSq7+IbIW+kyAGVlZW6vERgYiMcff1zBNETeS3cB0DRNyRNyBg0aBJvNpmAiIu+luwC0trbi4sWLbq8jaVcYkkt3AWhublayt96AAQMUTEPk3XR3GrClpQV1dXVurWE2mxEZGaloIvqzsrIyhISEeHoMAECfPn2U7RLlq3T3CuDmzZtuPyrbarWiW7duiiYi8l66C0BTUxPa29vdWsNsNjMAJILuAuDuy38At7ftJtI73QVAxbbfJpOJpwBJBN0F4MaNG26vYTAYbj/Jh0jPdBeA1tZWt9dgAEgK3QVAxdN0jEYjA0Ai6C4AKh7+oWkaNE1TMA2Rd9NdAP7twZz3StM0JSEh8na6C4CKl+6aprl9LQGRL9BdAFTs3+d0OvkMPRJBdwEIDAx0ew2n04mWlhYF0xB5N90FoGvXrm6v4XA4lFxPQOTtdHeuq2fPnm6v4XA43L6hiO6sd+/eWL58uVdsX67i1aKv010AgoODYTab//PpOf+mvb1dyT0F9E8hISF48cUXvSIApMO3AAEBAW7vl69pGqqqqhRNROS9dBeAwMBAJW8Dzp49q2AaIu+muwB07doVjzzyiNvrlJeXK5iGyLvp7hiAv78/+vTp4/Y6VVVVaGxs9LqNQRoaGrB582YMHDgQCQkJGDBgACwWi6fHIh+luwAYDAYMHjzY7XXa2tpw6tQpJCUlKZhKnZqaGuzcuRPNzc0ICwtDbGwsxo8fjxEjRiAqKsrjjzEn36K7AABAfHw8DAaDWzf02O12lJSUeF0ASktLb296UlNTg5qaGuTl5SEkJATx8fEYM2YM0tLSEBERgS5dunh4WvJ2ujsGANza7TU0NNStNTRNQ2FhoaKJ1HA6ncjLy7vj39XV1SE/Px8rV67EmDFjMGPGDGRnZ+Ps2bNoa2vj3Y10R7oMQLdu3TB06FC31ykqKkJzc7OCidS4ePEifvnll//8uJaWFhQWFuKdd97B8OHDMWnSJGzatAnl5eUMAf2FLgPg7++PESNGuL2O3W7H/v37FUykRlFRES5cuHBfn+N0OlFcXIw1a9YgKSkJSUlJyM3N7aQJydfoMgAA8MwzzyjZG2Dv3r1ecWeg3W7Hvn373PoNrmkaKioqlOyaRPqg2wD07dsXQ4YMcXudo0ePKnnasLuOHTuGEydOuL1Or169MGzYMAUTkR7oNgA2mw3PPfec2+t0dHTgo48+UrLZ6INyOBzIyclRcjziiSeeQP/+/RVMRXqg2wAYDAZMmTIFVqvV7bXy8vLw/fffe+wA2qFDh1BQUOD2OkajERMnToTJZFIwFemBbgMAAP369UNaWprb69jtdqxbt07JY8fvV2NjI9atW6dkg5KoqCiMHj1awVSkF7oOAADMmTNHyTZhJ0+exOrVq9HY2Khgqnvjcrmwfv16nDx5Usl6I0eORN++fZWsRfqg+wCkpqYiPj5eyVq5ublYvXr1QzkroGka9u3bh61bt8Llcrm9ns1mw/Tp05WcGSH90P3/BqPRiGXLlim5Rl7TNOzatQuvv/56p24Z5nK5sG/fPrz22mvKjjukpKTw6D/9g+4DAOD29fEqOJ1O7N69G7Nnz8a5c+eUrPlnbW1t+PDDD7Fs2TJlW5ObTCbMmTMH/v7+StYj/RARAJPJhOXLlyMsLEzJei6XCwUFBXj++eexZ88eZTsI//7771i8eDHeffdd3Lx5U8maAJCWluZ1NzWRdxARAACIjY3F/PnzlT3z73/bhi1duhTTp0/H/v37UVtb+0DrVFRUYP369cjIyMBXX32l9KEkNpsNy5Yt452BdEe6vB34ToxGI2bPno1jx47h4MGDyta12+0oKipCcXExHnvsMYwePRrJycmIjo5GUFAQAgMDYbFYYDKZ4HK50N7ejpaWFjQ0NKC8vBxff/01jh49ikuXLnXKdQYvvPAC3/vTXYkJAAB0794db7/9Ns6cOaN8z7/29nacPHkSJ0+exMcff4yQkBD06tULPXv2hM1mg9VqRUdHB27evIn6+npUVVWhvr5e6Qx/FxkZibfeeos7BtFdiQoAAMTExCArKwvz5s3rtCP5LpcLtbW1D/SWQBWbzYbMzEy390UgfRNzDODPxo0bhzVr1uj2nLjRaMTMmTMxZcoUT49CXk6fPwH/wWg0YsaMGVi9erUuH1Axbtw4ZGZmenoM8gEiAwDcOjW4YMECrFq1SlfvkUeMGIH33nuP5/zpnogNAHArAkuWLEFmZqaSh4p62vDhw5GdnY2oqChPj0I+QnQAAMBisWDu3Ll4//33ERkZ6elxHojBYEBqaiqys7MRHR3t6XHIh4gPAACYzWZMnToV27ZtQ2Jiok8dHLRYLMjIyMCWLVswcOBAT49DPsZ3/qd3MoPBgKeffho7duzA3LlzfeLR0T169EBmZiY2btyIXr16eXoc8kEMwN+EhYUhKysL27dvx9ChQ71y9xyLxYKkpCTs27cPCxcu5AE/emAMwB2YTCakpaXhwIEDyMrK8qpjA9HR0cjOzkZubi7i4uI8PQ75OAbgX/j5+WH+/Pn48ccfsWnTJsTFxXnk+MD/3p5s3boVhYWFmDZtmq5OXZLniLsU+EEEBARg1qxZSE9PR2lpKb788kscPnwYZ86c6bSNQo1GI6KjozF27FhMmjQJMTExfKlPyhnq6+v5rKj75HQ60dDQgIqKChw6dAilpaU4f/48qqurH/g+/u7duyMiIgJ9+/ZFQkICRo0ahf79+yM4ONhrzkrY7XZcuXLFrS3K/Pz8EB4ernAqcgcDoIDdbkddXR0aGhpQXV2NCxcuoLq6GnV1dbh+/Tra2trgcDhgNpths9lgs9kQFBSEXr16ITw8HFFRUQgPD0e3bt0QHBysZCtzonvBABAJ5h2vLYnIIxgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsEYACLBGAAiwRgAIsH+D9hQKZ31AYFcAAAAAElFTkSuQmCC "Contracts for C++ (DbC) [pdf]")
Article URL: https://isocpp.org/files/papers/P2900R6.pdf
Comments URL: http
Article URL: https://danthesalmon.com/windows-smb-tailscale/#
Article URL: https://github.com/jart/json.cpp
Comments URL: https://news.ycombinator.c
Article URL: https://github.com/google/go-safeweb
Comments URL: https://news.ycomb
Article URL: https://old.reddit.com/r/youtube/comments/1gnaetv/paying_to_see_ads_great/
Comments URL
