Lobsters<p>What is cosh(List(Bool))? Or beyond algebra: analysis of data types <a href="https://lobste.rs/s/ycnsi3" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/ycnsi3</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://nikitadanilov.github.io/aodt.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">nikitadanilov.github.io/aodt.h</span><span class="invisible">tml</span></a></p>
mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit
Administered by:
Server stats:
337Kactive users
mastodon.social: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-nightly.2025-04-15
Zig Weekly<p>Things Zig comptime Won't Do</p><p><a href="https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">matklad.github.io/2025/04/19/t</span><span class="invisible">hings-zig-comptime-wont-do.html</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://matklad.git</span><span class="invisible">hub.io/2025/04/19/things-zig-comptime-wont-do.html</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mastodon.social/tags/ziglang" class="mention hashtag" rel="tag">#<span>ziglang</span></a></p>
Lobsters<p>Things Zig comptime Won't Do <a href="https://lobste.rs/s/yhtpk0" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/yhtpk0</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/zig" class="mention hashtag" rel="tag">#<span>zig</span></a><br /><a href="https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">matklad.github.io/2025/04/19/t</span><span class="invisible">hings-zig-comptime-wont-do.html</span></a></p>
Tobias Mock<p>I'm currently implementing the tree borrows paper for schmu. So far 22 of our 65 borrowing unit tests are passing.</p><p>I also found out that the current schmu borrow checker is overly strict at times. Code like this <br>```<br>let y& = 10<br>let z& = &y<br>ignore(y)<br>z<br>```</p><p>does not type check in schmu because binding `y` is used while it's still borrowed to `z`.<br>In tree borrows (and Rust) this typechecks because no harm is done if we're only reading and not writing.</p><p><a href="https://mastodon.gamedev.place/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.gamedev.place/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a></p>
Compsci Weekly<p>Four Years of Jai</p><p><a href="https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">smarimccarthy.is/posts/2024-12</span><span class="invisible">-02-four-years-of-jai/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://smarimccart</span><span class="invisible">hy.is/posts/2024-12-02-four-years-of-jai/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a></p>
Lobsters<p>Four Years of Jai <a href="https://lobste.rs/s/ipvyhu" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/ipvyhu</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://smarimccarthy.is/posts/2024-12-02-four-years-of-jai/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">smarimccarthy.is/posts/2024-12</span><span class="invisible">-02-four-years-of-jai/</span></a></p>
vascorsd<p>Flambda2 Ep. 4: How to write a purely functional compiler | OCamlPro - <a href="https://ocamlpro.com/blog/2025_02_19_the_flambda2_snippets_4/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">ocamlpro.com/blog/2025_02_19_t</span><span class="invisible">he_flambda2_snippets_4/</span></a></p><p><a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="tag">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/fp" class="mention hashtag" rel="tag">#<span>fp</span></a> <a href="https://mastodon.social/tags/FunctionalProgramming" class="mention hashtag" rel="tag">#<span>FunctionalProgramming</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="tag">#<span>compilers</span></a></p>
Python Weekly 🐍<p>Python is an interpreted language with a compiler</p><p><a href="https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">ntietz.com/blog/python-is-an-i</span><span class="invisible">nterpreted-language-with-a-compiler/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://ntietz.com/</span><span class="invisible">blog/python-is-an-interpreted-language-with-a-compiler/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="tag">#<span>python</span></a></p>
Lobsters<p>Algebraic Semantics for Machine Knitting <a href="https://lobste.rs/s/koauiz" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/koauiz</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="tag">#<span>math</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://uwplse.org/2025/03/31/Algebraic-Knitting.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">uwplse.org/2025/03/31/Algebrai</span><span class="invisible">c-Knitting.html</span></a></p>
Lobsters<p>Python is an interpreted language with a compiler <a href="https://lobste.rs/s/m5hycn" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/m5hycn</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="tag">#<span>python</span></a><br /><a href="https://ntietz.com/blog/python-is-an-interpreted-language-with-a-compiler/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">ntietz.com/blog/python-is-an-i</span><span class="invisible">nterpreted-language-with-a-compiler/</span></a></p>
Compsci Weekly<p>The 5 Levels of Configuration Languages</p><p><a href="https://beza1e1.tuxen.de/config_levels.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">beza1e1.tuxen.de/config_levels</span><span class="invisible">.html</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://beza1e1.tuxen.de/config_levels.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://beza1e1.tux</span><span class="invisible">en.de/config_levels.html</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a></p>
Lobsters<p><strong>The 5 Levels of Configuration Languages</strong></p>
<p><a href="https://fed.brid.gy/r/https://beza1e1.tuxen.de/config_levels.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">fed.brid.gy/r/https://beza1e1.</span><span class="invisible">tuxen.de/config_levels.html</span></a></p>
Lobsters<p>The 5 Levels of Configuration Languages via <span class="h-card" translate="no"><a href="https://julialang.social/@hasnep" class="u-url mention">@<span>hasnep</span></a></span> <a href="https://lobste.rs/s/erkm24" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/erkm24</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://beza1e1.tuxen.de/config_levels.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">beza1e1.tuxen.de/config_levels</span><span class="invisible">.html</span></a></p>
Lobsters<p>The Y Combinator Explained in Python <a href="https://lobste.rs/s/mc7ta1" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/mc7ta1</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="tag">#<span>python</span></a><br /><a href="https://lptk.github.io/programming/2019/10/15/simple-essence-y-combinator.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">lptk.github.io/programming/201</span><span class="invisible">9/10/15/simple-essence-y-combinator.html</span></a></p>
Rust Weekly 🦀<p>facet: Rust reflection, serialization, deserialization — know the shape of your types</p><p><a href="https://github.com/facet-rs/facet" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/facet-rs/facet</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/facet-rs/facet" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">facet-rs/facet</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="tag">#<span>rustlang</span></a></p>
Lobsters<p>Doing the Prospero-Challenge in RPython <a href="https://lobste.rs/s/5nedly" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/5nedly</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="tag">#<span>compilers</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="tag">#<span>performance</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://www.pypy.org/posts/2025/04/prospero-in-rpython.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">pypy.org/posts/2025/04/prosper</span><span class="invisible">o-in-rpython.html</span></a></p>
Lisp & Scheme Weekly<p>The SRE regular-expression notation (1998)</p><p><a href="https://www.khoury.northeastern.edu/~shivers/papers/sre.txt" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">khoury.northeastern.edu/~shive</span><span class="invisible">rs/papers/sre.txt</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://www.khoury.northeastern.edu/~shivers/papers/sre.txt" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://www.khoury.</span><span class="invisible">northeastern.edu/~shivers/papers/sre.txt</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="tag">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a></p>
Lobsters<p>The SRE regular-expression notation (1998) <a href="https://lobste.rs/s/bn0m18" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">lobste.rs/s/bn0m18</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="tag">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a><br /><a href="https://www.khoury.northeastern.edu/~shivers/papers/sre.txt" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">khoury.northeastern.edu/~shive</span><span class="invisible">rs/papers/sre.txt</span></a></p>
Compsci Weekly<p>Thinking like a compiler: places and values in Rust</p><p><a href="https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">steveklabnik.com/writing/think</span><span class="invisible">ing-like-a-compiler-places-and-values-in-rust/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://steveklabni</span><span class="invisible">k.com/writing/thinking-like-a-compiler-places-and-values-in-rust/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="tag">#<span>rustlang</span></a></p>
Programming Weekly<p>Writing C for curl | daniel.haxx.se</p><p><a href="https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">daniel.haxx.se/blog/2025/04/07</span><span class="invisible">/writing-c-for-curl/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://daniel.haxx</span><span class="invisible">.se/blog/2025/04/07/writing-c-for-curl/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="tag">#<span>compsci</span></a> <a href="https://mastodon.social/tags/cprogramming" class="mention hashtag" rel="tag">#<span>cprogramming</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="tag">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload