Zeitpunkt Nutzer Delta Tröts TNR Titel Version maxTL Sa 20.07.2024 00:00:04 230.745 +27 17.120.900 74,2 Mastodon π 4.3.0... 500 Fr 19.07.2024 13:57:31 230.718 +146 17.111.706 74,2 Mastodon π 4.3.0... 500 Do 18.07.2024 00:00:59 230.572 +90 17.086.626 74,1 Mastodon π 4.3.0... 500 Mi 17.07.2024 00:01:10 230.482 +55 17.071.683 74,1 Mastodon π 4.3.0... 500 Di 16.07.2024 00:01:08 230.427 +32 17.055.997 74,0 Mastodon π 4.3.0... 500 Mo 15.07.2024 00:00:27 230.395 +35 17.040.143 74,0 Mastodon π 4.3.0... 500 So 14.07.2024 00:00:24 230.360 -66 17.024.521 73,9 Mastodon π 4.3.0... 500 Sa 13.07.2024 00:01:05 230.426 +77 17.011.148 73,8 Mastodon π 4.3.0... 500 Fr 12.07.2024 00:01:45 230.349 +102 16.997.332 73,8 Mastodon π 4.3.0... 500 Do 11.07.2024 00:00:08 230.247 0 16.986.698 73,8 Mastodon π 4.3.0... 500
Mike (VK1OMG) π΄ββ οΈ (@mike_k) · 01/2023 · Tröts: 88 · Folger: 416
Sa 20.07.2024 12:48
"This post is meant as an explainer about how substructural type theory can be applied in programming language design. Terms like βsubstructural type theoryβ tend to scare and confuse programmers who donβt write Haskell on the weekends..."
Best opening line in a blog post so far this year, I feel.
https://without.boats/blog/ownership/
[Öffentlich] Antw.: 0 Wtrl.: 0 Fav.: 0 · via Tusky