sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

599
active users

#plt

10 posts7 participants1 post today
Lobsters<p>Programming Languages: Application and Interpretation (3rd edition) <a href="https://lobste.rs/s/zqinhx" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/zqinhx</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/book" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>book</span></a> <a href="https://mastodon.social/tags/pdf" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pdf</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://www.plai.org" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">plai.org</span><span class="invisible"></span></a></p>
rk: it’s hyphen-minus actually<p>Who called it linear typing and not “once in a lifetime”?</p><p>Who called it const and not “same as it ever was”?</p><p>Who called it a stack trace and not “how did I get here?”</p><p><a href="https://mastodon.well.com/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a> <a href="https://mastodon.well.com/tags/rerun" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rerun</span></a> <a href="https://mastodon.well.com/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a></p>
jbz<p>⚡ Wren is a small, fast, class-based concurrent scripting language</p><p>「 Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax 」 </p><p><a href="https://github.com/wren-lang/wren" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/wren-lang/wren</span><span class="invisible"></span></a></p><p><a href="https://indieweb.social/tags/wrenlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>wrenlang</span></a> <a href="https://indieweb.social/tags/smalltalk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>smalltalk</span></a> <a href="https://indieweb.social/tags/lua" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lua</span></a> <a href="https://indieweb.social/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a> <a href="https://indieweb.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a></p>
Lobsters<p>Wren - a small, fast, class-based concurrent scripting language <a href="https://lobste.rs/s/u1dhre" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/u1dhre</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/erlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>erlang</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://github.com/wren-lang/wren" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/wren-lang/wren</span><span class="invisible"></span></a></p>
Lobsters<p>Implementing a Functional Language with Graph Reduction via <span class="h-card" translate="no"><a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>abnv</span></a></span> <a href="https://lobste.rs/s/5fytcr" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/5fytcr</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://thma.github.io/posts/2021-12-27-Implementing-a-functional-language-with-Graph-Reduction.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thma.github.io/posts/2021-12-2</span><span class="invisible">7-Implementing-a-functional-language-with-Graph-Reduction.html</span></a></p>
Lobsters<p>Use Your Type System via <span class="h-card" translate="no"><a href="https://social.treehouse.systems/@RunxiYu" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>RunxiYu</span></a></span> <a href="https://lobste.rs/s/a9frrj" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/a9frrj</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/practices" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>practices</span></a><br><a href="https://www.dzombak.com/blog/2025/07/use-your-type-system/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">dzombak.com/blog/2025/07/use-y</span><span class="invisible">our-type-system/</span></a></p>
Lobsters<p>There is no memory safety without thread safety <a href="https://lobste.rs/s/omasxh" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/omasxh</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/go" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>go</span></a> <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>java</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://www.ralfj.de/blog/2025/07/24/memory-safety.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">ralfj.de/blog/2025/07/24/memor</span><span class="invisible">y-safety.html</span></a></p>
Lobsters<p>Kernel <a href="https://lobste.rs/s/fgo66i" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/fgo66i</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://web.cs.wpi.edu/%7Ejshutt/kernel.html#:%7E:text=On%20the%20theoretical%20side%2C%20the,also:%20My%20Academic%20Work%20page" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">web.cs.wpi.edu/%7Ejshutt/kerne</span><span class="invisible">l.html#:%7E:text=On%20the%20theoretical%20side%2C%20the,also:%20My%20Academic%20Work%20page</span></a></p>
Lobsters<p>A parser and interpreter for a very small language via <span class="h-card" translate="no"><a href="https://fantastic.earth/@abnv" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>abnv</span></a></span> <a href="https://lobste.rs/s/sas2kh" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/sas2kh</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>haskell</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://blog.ploeh.dk/2025/07/07/a-parser-and-interpreter-for-a-very-small-language/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.ploeh.dk/2025/07/07/a-par</span><span class="invisible">ser-and-interpreter-for-a-very-small-language/</span></a></p>
Lobsters<p>A reckless introduction to Hindley-Milner type inference via <span class="h-card" translate="no"><a href="https://social.treehouse.systems/@RunxiYu" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>RunxiYu</span></a></span> <a href="https://lobste.rs/s/yicxrs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/yicxrs</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formalmethods</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://reasonableapproximation.net/2019/05/05/hindley-milner.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">reasonableapproximation.net/20</span><span class="invisible">19/05/05/hindley-milner.html</span></a></p>
Lobsters<p>LL and LR Parsing Demystified (2013) <a href="https://lobste.rs/s/nfbjbr" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/nfbjbr</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://blog.reverberate.org/2013/07/ll-and-lr-parsing-demystified.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.reverberate.org/2013/07/l</span><span class="invisible">l-and-lr-parsing-demystified.html</span></a></p>
Lobsters<p>Why Lexing and Parsing Should Be Separate <a href="https://lobste.rs/s/tpmdss" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/tpmdss</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://github.com/oils-for-unix/oils/wiki/Why-Lexing-and-Parsing-Should-Be-Separate" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/oils-for-unix/oils/</span><span class="invisible">wiki/Why-Lexing-and-Parsing-Should-Be-Separate</span></a></p>
Lobsters<p>Asynchrony is not Concurrency <a href="https://lobste.rs/s/oeuohp" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/oeuohp</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/zig" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>zig</span></a><br><a href="https://kristoff.it/blog/asynchrony-is-not-concurrency/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">kristoff.it/blog/asynchrony-is</span><span class="invisible">-not-concurrency/</span></a></p>
Lobsters<p>losing language features: some stories about disjoint unions via <span class="h-card" translate="no"><a href="https://possum.city/@federicoschonborn" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>federicoschonborn</span></a></span> <a href="https://lobste.rs/s/ezdxus" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/ezdxus</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://graydon2.dreamwidth.org/318788.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">graydon2.dreamwidth.org/318788</span><span class="invisible">.html</span></a></p>
Lobsters<p>Designing Kotlin Beyond Type Inference <a href="https://lobste.rs/s/tlgh1u" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/tlgh1u</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/video" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>video</span></a> <a href="https://mastodon.social/tags/kotlin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kotlin</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://youtu.be/P0mo8Tzrapo" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/P0mo8Tzrapo</span><span class="invisible"></span></a></p>
Sid Kasivajhula<p>A great blog post covering a subtle yet significant technical challenge in <a href="https://mastodon.social/tags/langdev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>langdev</span></a>: balancing the convenience of variable bindings with the constraints of their logical dependencies. A thoughtful read for anyone interested in <a href="https://mastodon.social/tags/qi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>qi</span></a> <a href="https://mastodon.social/tags/racket" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>racket</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a> <span class="h-card" translate="no"><a href="https://functional.cafe/@racketlang" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>racketlang</span></a></span> </p><p><a href="https://trustica.cz/en/blog/2025/07/17/tree-versus-dag-bindings/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">trustica.cz/en/blog/2025/07/17</span><span class="invisible">/tree-versus-dag-bindings/</span></a></p>
Lobsters<p>Linear Matching of JavaScript Regular Expressions via <span class="h-card" translate="no"><a href="https://mendeddrum.org/@fanf" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>fanf</span></a></span> <a href="https://lobste.rs/s/ujv6oq" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/ujv6oq</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://dl.acm.org/doi/10.1145/3656431" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">dl.acm.org/doi/10.1145/3656431</span><span class="invisible"></span></a></p>
Lobsters<p>Janet Feature Demos <a href="https://lobste.rs/s/r91kkb" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/r91kkb</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a><br><a href="https://github.com/sogaiu/janet-features-demos" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/sogaiu/janet-featur</span><span class="invisible">es-demos</span></a></p>