Recent searches

No recent searches

Search options

Only available when logged in.
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.

Administered by:

Server stats:

483
active users

101010.pl: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.5.0-alpha.1

#historicalnotes

0 posts0 participants0 posts today
screwlisp<p><a href="https://gamerplus.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://gamerplus.org/tags/engineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>engineering</span></a> <a href="https://gamerplus.org/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a> <a href="https://gamerplus.org/tags/strongTyping" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>strongTyping</span></a> <a href="https://gamerplus.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>commonLisp</span></a> <a href="https://gamerplus.org/tags/example" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>example</span></a> <a href="https://screwlisp.small-web.org/programming/common-lisp-strong-typing-example/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">screwlisp.small-web.org/progra</span><span class="invisible">mming/common-lisp-strong-typing-example/</span></a> for my friend <span class="h-card" translate="no"><a href="https://labyrinth.zone/users/aleteoryx" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>aleteoryx</span></a></span> .</p><p>Actually the <a href="https://gamerplus.org/tags/historicalNotes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>historicalNotes</span></a> in the first paragraph of this article are a little explored key frontier in <a href="https://gamerplus.org/tags/computerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computerScience</span></a> , but the strong typing examples are simple ( etypecase and deftype.. satisfies for those in the know).</p><p>I am personally still figuring out how typing in this manner does and can further connect to <a href="https://gamerplus.org/tags/typeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typeTheory</span></a>.</p>
screwlisp<p><span class="h-card"><a href="https://mathstodon.xyz/@dougmerritt" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dougmerritt</span></a></span> <span class="h-card"><a href="https://tilde.zone/@northernlights" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>northernlights</span></a></span> <span class="h-card"><a href="https://climatejustice.social/@kentpitman" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>kentpitman</span></a></span> <span class="h-card"><a href="https://mastodon.sdf.org/@SDF" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>SDF</span></a></span> <span class="h-card"><a href="https://hachyderm.io/@nosrednayduj" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>nosrednayduj</span></a></span> <span class="h-card"><a href="https://social.sachachua.com/@sacha" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>sacha</span></a></span> <span class="h-card"><a href="https://gamerplus.org/@hairylarry" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>hairylarry</span></a></span> <span class="h-card"><a href="https://mastodon.sdf.org/@pkw" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>pkw</span></a></span> <span class="h-card"><a href="https://social.sdf.org/@rat" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>rat</span></a></span> <span class="h-card"><a href="https://mastodon.sdf.org/@pizzapal" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>pizzapal</span></a></span> </p><p>Thanks for the incredible <a href="https://mastodon.sdf.org/tags/interview" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interview</span></a> and episode Kent Pitman and everyone ! Lots of <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.sdf.org/tags/emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>emacs</span></a> <a href="https://mastodon.sdf.org/tags/teco" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>teco</span></a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.sdf.org/tags/lore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lore</span></a> <a href="https://mastodon.sdf.org/tags/unique" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>unique</span></a> <a href="https://mastodon.sdf.org/tags/historicalNotes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>historicalNotes</span></a></p><p><a href="https://archives.anonradio.net/202502120000_screwtape.mp3" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">archives.anonradio.net/2025021</span><span class="invisible">20000_screwtape.mp3</span></a></p><p>(One hour)</p><p>Please do ping Kent (and me!) about topics you are particularly interested in Kent following up on in later interviews, or releasing from his personal software stockpiles.</p><p>Every week 0UTC Wednesadys on anonradio</p>
TrendingLive feeds
About