Compsci Weekly<p>The 5 Levels of Configuration Languages</p><p><a href="https://beza1e1.tuxen.de/config_levels.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.9Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#plt
12 posts · 10 participants · 0 posts today
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" rel="nofollow noopener noreferrer" target="_blank">@<span>hasnep</span></a></span> <a href="https://lobste.rs/s/erkm24" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://beza1e1.tuxen.de/config_levels.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a><br><a href="https://lptk.github.io/programming/2019/10/15/simple-essence-y-combinator.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a></p>
Lobsters<p>Doing the Prospero-Challenge in RPython <a href="https://lobste.rs/s/5nedly" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/performance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>performance</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://www.pypy.org/posts/2025/04/prospero-in-rpython.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Lobsters<p>The SRE regular-expression notation (1998) <a href="https://lobste.rs/s/bn0m18" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://www.khoury.northeastern.edu/~shivers/papers/sre.txt" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<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/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/cprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cprogramming</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Compsci Weekly<p>A rough survey of compilation, recompilation, and compile-time evaluation</p><p><a href="https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scattered-thoughts.net/writing</span><span class="invisible">/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://www.scatter</span><span class="invisible">ed-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a></p>
Lobsters<p>Thinking like a compiler: places and values in Rust <a href="https://lobste.rs/s/3dv6ix" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/3dv6ix</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a><br><a href="https://steveklabnik.com/writing/thinking-like-a-compiler-places-and-values-in-rust/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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>
Lobsters<p>Writing C for curl <a href="https://lobste.rs/s/jooshq" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/jooshq</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>c</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://daniel.haxx.se/blog/2025/04/07/writing-c-for-curl/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><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>
J3RN :emacs: :haskell:<p>Bit of a newbie question, but why is CPS favored for IRs for functional languages? Links welcome 😁</p><p><a href="https://fosstodon.org/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://fosstodon.org/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programminglanguages</span></a> <a href="https://fosstodon.org/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Lobsters<p>Compilers: Incrementally and Extensibly <a href="https://lobste.rs/s/sbuuzu" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/sbuuzu</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/ml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ml</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://okmij.org/ftp/tagless-final/Compiler/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">okmij.org/ftp/tagless-final/Co</span><span class="invisible">mpiler/index.html</span></a></p>
Lobsters<p>A rough survey of compilation, recompilation, and compile-time evaluation <a href="https://lobste.rs/s/wn2ley" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/wn2ley</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://www.scattered-thoughts.net/writing/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scattered-thoughts.net/writing</span><span class="invisible">/a-rough-survey-of-compilation-recompilation-and-compile-time-evaluation/</span></a></p>
Lobsters<p>Syntactic Musings on View Types <a href="https://lobste.rs/s/6rnhbq" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/6rnhbq</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a><br><a href="https://blog.yoshuawuyts.com/syntactic-musings-on-view-types" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.yoshuawuyts.com/syntactic</span><span class="invisible">-musings-on-view-types</span></a></p>
vascorsd<p>This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.</p><p>--</p><p>Making OCaml Safe for Performance Engineering | Lobsters</p><p><a href="https://lobste.rs/s/ujvpdn/making_ocaml_safe_for_performance" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lobste.rs/s/ujvpdn/making_ocam</span><span class="invisible">l_safe_for_performance</span></a></p><p><a href="https://mastodon.social/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Java Weekly<p>How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure)</p><p><a href="https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openjdk.org/projects/valhalla/</span><span class="invisible">design-notes/in-defense-of-erasure</span></a></p><p>Discussions: <a href="https://discu.eu/q/https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://openjdk.org</span><span class="invisible">/projects/valhalla/design-notes/in-defense-of-erasure</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>java</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Compsci Weekly<p>Roguetype: The first ever roguelike written in the OCaml type system</p><p><a href="https://github.com/Octachron/roguetype" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/Octachron/roguetype</span><span class="invisible"></span></a></p><p>Discussions: <a href="https://discu.eu/q/https://github.com/Octachron/roguetype" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">discu.eu/q/https://github.com/</span><span class="invisible">Octachron/roguetype</span></a></p><p><a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compsci</span></a> <a href="https://mastodon.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
Lobsters<p>How We Got the Generics We Have: (Or, how I learned to stop worrying and love erasure) <a href="https://lobste.rs/s/sirtt6" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lobste.rs/s/sirtt6</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>java</span></a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>plt</span></a><br><a href="https://openjdk.org/projects/valhalla/design-notes/in-defense-of-erasure" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">openjdk.org/projects/valhalla/</span><span class="invisible">design-notes/in-defense-of-erasure</span></a></p>
SearchLive 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