Article URL: https://www.philosophyforlife.org/blog/nancy-sherman-the-soldiers-philosopher
Comments URL: https://news.ycombinator.com/item?id=41715767
Points: 15
# Comments: 3
https://www.philosophyforlife.org/blog/nancy-sherman-the-soldiers-philosopher
Erstellt
6mo
|
02.10.2024, 20:20:20
Melden Sie sich an, um einen Kommentar hinzuzufügen
Andere Beiträge in dieser Gruppe
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)")
