Article URL: https://awards.acm.org/about/2024-turing
Comments URL: https://news.ycombinator.com/item?id=43264847
Points: 27
# Comments: 3
Vytvořeno
1mo
|
5. 3. 2025 10:50:08
Chcete-li přidat komentář, přihlaste se
Ostatní příspěvky v této skupině
Article URL: https://browsermcp.io/
Comments URL: https://news.ycombinator.com/item?id=43613194
Article URL: https://blog.gitbutler.com/20-years-of-git/
Comments URL: http
Article URL: https://www.nybooks.com/articles/2025/04/24/circling-the-good-thomas-nagel/
Comments U
This has been my pet project and playground for a long time and has gone throught several framework changes, overhauls, etc.. Sometime last winter I realized that there has been a lot of progress
![Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQAAAAEACAYAAABccqhmAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAEuUlEQVR4nO3cMYpTexyG4b8zQWTAwlQiYQQXYGOjqxDcirW4AHVt4vR24aAg0UIEMR5vd+EWg5dMQoZ5n6cOv/NB4B1Okbm12Wz+DCDp5NgDgOMRAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAgTAAhbHHvAIWy32zFN05jneecbi8VirFarPa7azXq9Htvt9ko3zs/Px8nJ31s/z/P4/Pnz+Pnz55WedxNcl+//0G5tNps/xx6xb+v1ejx9+nT8+PFj5xur1WpcXFzscdVuHj9+PNbr9ZVufPz4cdy7d++vn/v69et48eLF+PDhw5WedxM8fPhwvH///tgzDs4rAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAIQJAITdyJ8Ds5u7d++Ot2/fju/fvx/sGV++fBmvX78e0zTtfGO5XI43b96M5XK5x2X/defOnYPdvk4EgH8tFovx5MmTgz5jmqZxdnZ2pRu3b98ez549G/fv39/Tqi6vABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABAmABDmH4JcYp7n8e3bt2PPGPM8H3sCN5gAXGKapvHo0aNjz4CD8goAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYX4NeInlcjnevXt37Bnj5cuXY7PZHHsGN5QAXOLs7Gw8f/782DPGq1evBICD8QoAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYQIAYbc2m82fY4/Yt+12O6ZpGvM873xjsViM1Wq1x1W7Wa/XY7vdXunG+fn5ODm5Hq3//fv3+PTp0/j169fON05PT8eDBw/G6enpHpc13cgAAP/P9fizAByFAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAECYAEDYP+XzgpB5CG2mAAAAAElFTkSuQmCC "Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)")
