Article URL: https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/
Comments URL: https://news.ycombinator.com/item?id=42320180
Points: 25
# Comments: 2
https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/
Created
6mo
|
Dec 4, 2024, 8:20:08 PM
Login to add comment
Other posts in this group
Article URL: https://tylertringas.com/ai-legal/
Comments URL: https://news.ycombinat
Article URL: https://github.com/hemanth/paws-on-mcp
Comments URL: https://news.y
Article URL: https://tuta.com/blog/digital-sovereignty-europe
![Micrographia (1665) [pdf]](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAAA7EAAAOxAGVKw4bAAASnUlEQVR4nO3d228U5RsH8Gd26bnQE20pdQvtUnqwB1roLm1VCEFNvdAYBImBQIz/gInxxpgYb73wpoZoTBRDgiDGoNGAGEAoAi3ttqXQAxYKhVIO7ZYW2B53fhdNEX+A3Xln3tmZfb6fO5N55n0x7JeZd96DMjw8rBIAsOQIdwcAIHwQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwvC3QEAPe7cuUNvvvkmDQwMzHttUlIS7d69m8rKykzomT2wDoD29nbauXOn9Hbq6+uppqZGejuPm5mZoY8//pgOHToktZ2cnBzau3cvxcXFSW3nWT799FPq7OwkVVXnvbampoYKCgpM6JV9sA6AiYkJ6uvrk97OsWPHqLq6mhRFkd7WnPHxcfr999+l//mcTicFg0GpbTyNqqp0+PBh2r9/f0g//ujoaNq+fTvFxMSY0Dv7wBiACZqamujhw4emttnf329KuIXL3bt36ZNPPqGpqamQrq+srCSv1yu5V/aDADDB+fPnaXh42NQ2GxoawvIvsxmmpqaovr6eenp6QrpeURR6++23KTk5WXLP7AcBYAK/30/nz583rb2pqSk6ffq0ae2Zrbm5mb755puQr3e5XPTqq69K7JF9IQBM8ueff5rW1sjICLW1tZnWnpnGxsbos88+o/v374dc88Ybb1BGRobEXtkXAsAkPp+PRkZGTGnr6tWrdOXKFVPaMttPP/2kKUxjYmJox44d5HDgr/rT4P+KSXp6eujmzZumtHXy5MmQRsbtpr+/n7744gtNYxuvvPIKuVwuib2yNwSASUZHR8nn80lvZ2Jigs6ePSu9HbOpqkq7d++m3t5eTXXbtm2jqKgoSb2yPwSAiU6cOCH9X+Zbt25RV1eX1DbCobOzk/bt26fpX/9ly5bRunXrJPbK/hAAJrp48SINDQ1JbePy5ct048YNqW2YLRgM0tdffx3SdN85DoeDtm7dStHR0RJ7Zn8IABOZMTjX0NBAMzMzUtswW0dHB/3yyy+anp4SEhJo06ZNEnsVGRAAJhobG5M6DjA+Pk6NjY3S7h8OqqrSV199pfnJyePx0IoVKyT1KnIgAEwmcz5Af39/xH3+6+7upoMHD2qqiYqKos2bN0vqUWRBAJisq6tL2udAMz81mmXXrl304MEDTTVZWVm0ceNGST2KLAgAkw0ODkobpT958mREzf+/ceMG/fDDD5rrXn75ZUpNTZXQo8iDADBZIBCgpqYm29w3XOZG/sfHxzXVJSQk0GuvvSapV5EHARAGMmbq9fb20vXr1w29ZzgNDQ3R/v37Ndfl5uZSZWWlhB5FJgSADtnZ2UJ1f//9t+Hf6i9cuCC05DgxMZGSkpIM7YteqqrSzz//LDSesXHjRsv9eawMAaBDdXW10CKTkZERam1tNbQvp06dEvr+X15eTgkJCYb2Ra/R0VHat2+f5rqEhAQM/mmEANAhOzubli1bprnO6Pn64+PjwvfzeDyWmy3X1tYmNF8iPz+fioqKJPQociEAdHrhhReE6oycD9DV1UV37twRqq2pqTF1r8L5TE9P0/fffy/0NFNbW0spKSkSehW5EAA6VVdXk9Pp1Fx35coVwybtNDc30+joqOa6qKgoWrt2rSF9MEpfXx8dPXpUc92CBQuorq5OQo8iGwJAp6qqKoqNjdVcZ+S0XdH9/yoqKiz3/n/06FG6ffu25roVK1ZQXl6ehB5FNgSATrm5ubR06VLNdTMzM3Tq1Cnd7U9MTAgHSW1tre72jfTw4UP67bffhGorKiooPT3d4B5FPgSATg6Hg6qrq4VqjdgfoK2tjfx+v+a66Oho8ng8uto2WldXl/DmqRs2bBB6FeMOAWAAr9dLCxZoP2Olv7+fLl++rKvts2fP0sTEhOa6+Ph4Wr16ta62jXbs2DGhMEtMTMTkH0EIAAOUlZXRwoULNdepqkonTpzQ1bborMKVK1fS4sWLdbVtpMnJSfrjjz+Eap9//nlKS0szuEc8IAAMkJ+fT5mZmUK1f/31F01PTwvVTk5O0pkzZ4RqRT9fytLd3S38NLRq1SqhAAYEgCH0vE+fOXNG84KXOS0tLZr2x58TGxtLa9asEWpTlnPnztHdu3eFaquqqiw1l8FOEAAGqa2tFZoWfOPGDbp06ZLmOlVV6fjx45rriGaPybbaEdlHjhwRepVxOp2WG8y0EwSAQQoLC4XfQ0VmBU5OTgpP/83Ly6OsrCyhWhn8fj91dHQI1ebl5WH2nw4IAIO43W7hH1VjY6Pm14CxsTFqaWkRaq+2ttZSj8wdHR3CpyYVFxdbbi2DnSAADBIfH08VFRVCta2trZp/AK2trTQ2Nqa5LSu+//t8Ps3bfs0pKirCwR86IAAMJLqw5tatW9Td3R3y9aqq0smTJzW3Q0SUnp5OBQUFQrWyNDY2Ck+IKi0tNbg3vCAADFRUVCS0F52qqprGAR48eEDNzc2a2yGaPS3nueeeE6qVIRgM6jo6Hct/9UEAGMjlcgntD0A0u6Iv1Mfg4eFh4R/N2rVrLTVltq+vT2gnI6LZ1xkc/KkPAsBASUlJVFJSIlTb3d1Ng4ODIV3r8/mE3v8XLFhAXq9Xc51MFy5coMnJSaFat9ttqTCzIwSAwV588UWhutu3b9OFCxfmvU7r68LjsrOzye12C9XK0tPTQ1NTU0K1Vvuz2BECwGAlJSWUnJwsVBvKD9vv91N7e7vQ/UWXLsskMglqjujrFvwDAWCwzMxMys/PF6pta2uje/fu/ec1N2/eFP7RWHH/v56eHqE6h8NhqcFMu0IAGEzPOEBfXx9dvXr1P68R/f7vdDqF9y2QRVVV6u3tFap1Op20ZMkSg3vEDwLAYIqiUE1NjVDtfI/3er7/L126lHJzc4VqZfH7/UJhRjQbABkZGQb3iB8EgAQVFRUUHx+vuW5uf4BnTYq5e/duSAOFT1NQUGC5H4yew1GcTqel9jOwKwSABGlpaVRYWChU297e/sxpwVevXqVr164J3beyslJo81KZEADhhwCQYOHChVReXi5UOzg4+MxpwS0tLcKPzFbbAISIaGBgQLjW6XRiExADIAAkcDgcwjvujo6OPnOVn+j6/6ysLOEvEzKJbgBCNDvYKrL/Avwb/g9K4vV6hVepPe2HPjg4KPzJrLS01HIHZqqqKnSYyRzRuRbwbwgASVJTU4UXqnR2dj5x1Fd3dzfdunVL6H6rV6+23Pt/MBgUfp0hIssdaGJXCABJYmJihNfdDw8PP/E58Ny5c8Jr5q34/h8MBnU9AYh8ZYEnIQAk0XNgSCAQoKampkf/ref7v54nEZlUVRXeDJWIKC4uzsDe8IUAkKimpkZ4oOrx8wL0vP9XVlZa9l9L0e3QiWafsEA/BIBEWVlZwgdWXrx48dE4wH/NDZiPx+Ox5JZZqqoKrwIkIiwDNggCQDLR9+9AIPBo11+RTUPnWG0D0DkIAGtAAEhWXV0tdG7g1NTUo9ODjx07JtR2fHy85TYAfZyeYLJiqNkRAkCyNWvWCL+vHj9+nAYGBoRXzFVVVVny8Z9o9gcsEoxzRHcRgn9DAEimZxPOS5cu0cGDBykQCGiuVRTFkp//5iiKoiuc9Lw+wD8QAJI5HA7h5cHBYJB27dolNFoeHR1NVVVVQu2aQVEUXSP5CABjIABM4PV6hR93r1+/LlSXmJhIq1atEqo1g6IouhbzIACMgQAwQWlpKS1atCji29TC4XDoCgCRU5HhSQgAE6xYscL07atEVyOaxeFw6Aoo0XkR8G8IABNERUWZeoR1fHw8VVZWmtaeKD07FCEAjIEAMEltba1pk1eSk5OprKzMlLb00LNF+f3793VNJYZZCACTFBYWUlpaWsS1pYfocepEs19I5ttCHeaHADBJXl6err/wWlj5+//jcnJyhGtnZmae2DMBtEMAmCQuLs6U9/L4+HhLf/573OLFi4UHAmdmZoQ3SIF/IABMpGd5cKgyMjKooKBAahtGURRF+KyC6enpkA9ThWdDAJjIjHdzt9tNmZmZUtswkuhmpcFgEE8ABkAAmMjlcul67w2FGU8ZRiouLhZa2aeqqq5zBWCWff6mRIBFixZRaWmptPvHxMRYev7/0xQUFAhPkxZdJQn/QACY7KWXXpJ2b5fLZbnz/+ZTVFQkfGLxsw5QgdAhAExWXFxMKSkpUu7tdrttd2JuTk6O8BFfAwMDwjslwywEgMkyMzOlndJTXV1tu62yHA6H8OdRPceLwywEgMlkjQNERUWR1+s1/L5mqKqqEt7iC68B+iAATKYoipSVejk5OeRyuQy/rxlKSkqET/rp6Oh45nHqMD8EQBiUl5cbfrRVQUGBbY/LLikpER4X6ezsxOYgOiAAwiAtLc3w03o8Ho/waHq4JScnCx+n3tnZiQ1CdUAAhEFiYqLwX/inkfVaYaZ169YJjQMMDAzoOmacOwRAGDgcDkNX7C1btkz6DEPZVq9eTampqZrrVFWllpYWCT3iAQEQJlVVVYY9speVlVFSUpIh9wqXwsJCWr58uVBtY2MjBgIFIQDCJCUlhYqLiw25l5FhEi6xsbG0fv16odrz589jk1BBCIAwMWrefiS8/89Zv3690EnGXV1d2B1IEAIgTBwOB61du1b3fZYsWUJut9uAHoVfUVERrVy5UnOd3+/HhCBBCIAwMmLp7po1ayg2NtagHoVXamoqrVu3Tqi2oaEB4wACxE9njADLly+nzz//XLi+pKREV/uZmZlUX19PExMTuvqg9wDQjz76iMbGxoRqFy1apOuIr/9XV1dHX375pebj0Juamuj+/fu6DhvhSBkeHkZsgmXcu3ePtm7dSmfPntVUl5KSQocOHZK20CpS4RUALCUpKYlef/11zXV+v5+am5sl9CiyIQDAcurq6oQmBR09ehTjABohAMByli5dShs2bNBc19bWRgMDAxJ6FLkQAGA50dHR9M4772j+QtLX10cdHR2SehWZEABgSR6PR/P5hlNTU3T48GFJPYpMCACwpLi4ONq2bZvmutOnT9PQ0JCEHkUmBABYkqIotHnzZs0HqVy7do18Pp+kXkUeBABY1sKFC2nnzp2a9gkIBAL066+/SuxVZEEAgKW9++67mrcLO3LkCI4NCxECACwtKyuLtmzZoukp4Pbt23TkyBGJvYocCACwvJ07d1JGRkbI109PT9O+ffsoGAxK7FVkQACA5eXn59OmTZs0PQX4fD5qa2uT2KvIgAAAy1MUhbZv307Z2dkh1wQCAdq7d6/EXkUGBADYwsqVK2nLli0hzw5UVZUOHDhAo6OjkntmbwgAsAVFUWjHjh2adj8aGRmhAwcOYIHQf0AAgG24XC567733NI0F7NmzR/PmIpwgAMBW3nrrLfJ4PCFf39raSg0NDRJ7ZG8IALCVlJQU+vDDDzVtQ/btt9/iKeAZEABgOzU1NbRp06aQrz9+/DhdvHhRYo/sCwEAthMTE0Pvv/8+paenh3R9IBCgPXv20PT0tOSe2Q8CAGwpNzeXPvjgg5AHBA8dOkS9vb2Se2U/CACwJYfDQTt27CCv1xvS9YODg/Tjjz/ik+D/wbbgYGs+n4+2bdtGgUBg3mvdbjd99913lJWVZULP7AEBAMAYXgEAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACMIQAAGEMAADCGAABgDAEAwBgCAIAxBAAAYwgAAMYQAACM/Q+gSG8LNIKs7gAAAABJRU5ErkJggg== "Micrographia (1665) [pdf]")
