shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

262
active users

#proglang

0 posts0 participants0 posts today
Ross Duncan<p>Job ad 🧵 2/2<br>Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.<br><a href="https://mathstodon.xyz/tags/jobad" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>jobad</span></a> <a href="https://mathstodon.xyz/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> <a href="https://mathstodon.xyz/tags/quantumcomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantumcomputing</span></a> <a href="https://mathstodon.xyz/tags/pl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pl</span></a> <a href="https://mathstodon.xyz/tags/proglang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proglang</span></a> <a href="https://mathstodon.xyz/tags/guppylang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guppylang</span></a> <a href="https://mathstodon.xyz/tags/types" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>types</span></a></p><p><a href="https://jobs.eu.lever.co/quantinuum/6acbcf43-a765-4f1c-a063-6849a72e612b" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobs.eu.lever.co/quantinuum/6a</span><span class="invisible">cbcf43-a765-4f1c-a063-6849a72e612b</span></a></p>
Gödel Escher Spock🦿<p>It's 'Make a Lisp' for Self in F#! </p><p><span class="h-card" translate="no"><a href="https://tech.lgbt/@quephird" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>quephird</span></a></span> <a href="https://hachyderm.io/tags/progLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>progLang</span></a> <a href="https://hachyderm.io/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://hachyderm.io/tags/video" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>video</span></a> </p><p><a href="https://d3s.mff.cuni.cz/teaching/nprg077/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">d3s.mff.cuni.cz/teaching/nprg0</span><span class="invisible">77/</span></a></p>
Paul Cantrell<p>Early returns are promising. Students got into the activity. Discussion took over half the last day of class.</p><p>This is a Programming Languages class, and discussion took an interesting turn: how would •languages• change in a world where we expect AI code generation to be a normal part of the development process, and the problem for humans shifts (even further) away from “How do I generate code?” and toward “Does the code I’ve generated actually do what I think? What I want?”<br><a href="https://hachyderm.io/tags/proglang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proglang</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a></p>
Paul Cantrell<p>OK, trying an experiment with my Programming Languages class!</p><p>•&nbsp;Have an AI generate some of your writing assignment.<br>•&nbsp;Critique its output. Call BS on its BS.</p><p>Assignment details in screenshots below. I’ll let you know how it goes.</p><p>(Here are the links from the screenshots:)</p><p>Raw AI Text:<br><a href="https://gist.github.com/pcantrell/7b68ce7c5b2e329543e2dadd6853be21" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/pcantrell/7b68</span><span class="invisible">ce7c5b2e329543e2dadd6853be21</span></a></p><p>Comments on AI Text:<br><a href="https://gist.github.com/pcantrell/d51bc2d4257027a6b4c64c9010d42c32" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/pcantrell/d51b</span><span class="invisible">c2d4257027a6b4c64c9010d42c32</span></a></p><p>(Better) Human Text<br><a href="https://gist.github.com/pcantrell/f363734336e6063f61e451e2658b50a6" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/pcantrell/f363</span><span class="invisible">734336e6063f61e451e2658b50a6</span></a></p><p><a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/chatgpt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>chatgpt</span></a> <a href="https://hachyderm.io/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>education</span></a> <a href="https://hachyderm.io/tags/writing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>writing</span></a> <a href="https://hachyderm.io/tags/highered" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>highered</span></a><br><a href="https://hachyderm.io/tags/swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>swift</span></a> <a href="https://hachyderm.io/tags/proglang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proglang</span></a></p>