mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.

Administered by:

Server stats:

815
active users

#proglang

0 posts0 participants0 posts today
Les capsules du prof Lutz<p>⬆️ 👀 <span class="h-card" translate="no"><a href="https://merveilles.town/@neauoire" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>neauoire</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.online/@raph" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>raph</span></a></span> This page has even big PS code chunks in it! 🍪 Not using Cornu spirals, but cool to see PS in the wild.</p><p><a href="https://mamot.fr/tags/stack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stack</span></a> <a href="https://mamot.fr/tags/RPN" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RPN</span></a> <a href="https://mamot.fr/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a> <a href="https://mamot.fr/tags/Postscript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Postscript</span></a> <a href="https://mamot.fr/tags/computer_graphics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computer_graphics</span></a> <a href="https://mamot.fr/tags/FontDesign" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FontDesign</span></a></p>
Paolo Amoroso<p>A survey of systems programming languages from Ada to Zig, each evaluated according to technical criteria such as performance and safety and a few unusual ones like joy and dread.</p><p><a href="https://wiki.alopex.li/SurveyOfSystemLanguages2024" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">wiki.alopex.li/SurveyOfSystemL</span><span class="invisible">anguages2024</span></a></p><p><a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a></p>
Paolo Amoroso<p>Thirty years ago today, on Dec 8, 1994, X3J13 approved ANSI Common Lisp. Forty years ago, in 1984, Digital Press published the first edition of the book Common LISP: The Language by G.L. Steele, aka CLtL1.</p><p><a href="https://fosstodon.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://fosstodon.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://fosstodon.org/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a></p>
Paolo Amoroso<p>Tim Coates on why Pascal is still worth learning:</p><p>"For new programmers, Pascal is a structured, disciplined language that teaches you how to think about coding without a lot of distracting complexities."</p><p><a href="https://timcoatesinsights.wordpress.com/2024/10/31/why-pascal-deserves-a-second-look/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">timcoatesinsights.wordpress.co</span><span class="invisible">m/2024/10/31/why-pascal-deserves-a-second-look/</span></a></p><p><a href="https://fosstodon.org/tags/pscal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pscal</span></a> <a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a></p>
Paolo Amoroso<p>Sussman and Steele published more Lambda papers than I was aware of. These handy references lists and links to all of them.</p><p><a href="https://www.pls-lab.org/en/Lambda_papers_(Scheme)" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">pls-lab.org/en/Lambda_papers_(</span><span class="invisible">Scheme)</span></a></p><p><a href="https://fosstodon.org/tags/scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scheme</span></a> <a href="https://fosstodon.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lisp</span></a> <a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a></p>
Paolo Amoroso<p>Nicole <span class="h-card" translate="no"><a href="https://tietz.social/@nicole" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>nicole</span></a></span> encourages to design and implement a programming language as a learning experience.</p><p><a href="https://ntietz.com/blog/you-should-make-a-new-terrible-programming-language/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ntietz.com/blog/you-should-mak</span><span class="invisible">e-a-new-terrible-programming-language/</span></a></p><p><a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a> <a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a></p>
Paolo Amoroso<p>A list of compiler optimizations with descriptions and code snippets. </p><p>The entries are concise, clear, and with short, easy to understand snippets. A great example of algorithm documentation.</p><p><a href="https://compileroptimizations.com/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">compileroptimizations.com/inde</span><span class="invisible">x.html</span></a></p><p><a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a></p>
Paolo Amoroso<p>Uncommon opinion (but not necessarily unpopular): I love languages with large standard libraries. I enjoy flipping through the language documentation, scouting for interesting functions or classes that may eventually come in handy.</p><p>My favorite large library language is Common Lisp but of course there are many others such as Smalltalk, Python, and Java.</p><p><a href="https://fosstodon.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> <a href="https://fosstodon.org/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a></p>
Paolo Amoroso<p>Marc Kerbiquet started a new blog to talk about his "[...] experience as a hobbyist on compilers, decompilers and design of programming languages".</p><p><a href="https://tibleiz.net" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tibleiz.net</span><span class="invisible"></span></a></p><p><a href="https://fosstodon.org/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>compilers</span></a> <a href="https://fosstodon.org/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a> <a href="https://fosstodon.org/tags/blogs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>blogs</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 noreferrer" target="_blank">@<span>quephird</span></a></span> <a href="https://hachyderm.io/tags/progLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>progLang</span></a> <a href="https://hachyderm.io/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://hachyderm.io/tags/video" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>video</span></a> </p><p><a href="https://d3s.mff.cuni.cz/teaching/nprg077/" rel="nofollow noopener noreferrer" 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>
Paolo Amoroso<p>Peter Seibel: "How much does a choice of language really matter? Are there good reasons to choose one language over another or does it all just come down to taste?"</p><p>Guy L. Steele Jr.: "Why shouldn't taste be a good reason?"</p><p>Page 351 of "Coders at Work: Reflections on the Craft of Programming". Peter Seibel, Apress, 2009.</p><p><a href="https://fosstodon.org/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a> <a href="https://fosstodon.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</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 noreferrer" target="_blank">#<span>proglang</span></a> <a href="https://hachyderm.io/tags/ai" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#<span>ai</span></a> <a href="https://hachyderm.io/tags/chatgpt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>chatgpt</span></a> <a href="https://hachyderm.io/tags/education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>education</span></a> <a href="https://hachyderm.io/tags/writing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>writing</span></a> <a href="https://hachyderm.io/tags/highered" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>highered</span></a><br><a href="https://hachyderm.io/tags/swift" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>swift</span></a> <a href="https://hachyderm.io/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a></p>
ꙮ ⚗️ pnathan ⚗️ ꙮ<p>A more junior dev at work pointed out a ton of newer programming languages I hadn't looked at. Post <a href="https://social.seattle.wa.us/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> languages mostly. </p><p>It's very exciting in a way. I'm absolutely thrilled to know there's a world I haven't seen. Also jealous, I used to know the hipster languages. </p><p>Maybe I should take a pause on goofing off after kid goes to bed and write some code. </p><p><a href="https://social.seattle.wa.us/tags/pl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pl</span></a> <a href="https://social.seattle.wa.us/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a> <a href="https://social.seattle.wa.us/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coding</span></a></p>
Vegard<p>Picked up my toy language/compiler from years ago and am currently porting the old codebase from C++ to C. Feels weirdly therapeutic.</p><p>It never really got very far -- the most advanced program it could compile/run was a "generic" gcd() calculation. Maybe this time I'll get further?</p><p><a href="https://mastodon.social/tags/ProgLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a> <a href="https://mastodon.social/tags/CompilerDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CompilerDev</span></a></p>
Boolean Jam 🎧🙏<p>Does anyone has experience with the <a href="https://mastodon.social/tags/unicon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Unicon</span></a>¹ programming language? It is a successor of the <a href="https://mastodon.social/tags/icon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Icon</span></a>² programming language and <a href="https://mastodon.social/tags/snobol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Snobol</span></a>. I really like it's concepts and Icon seemed to be popular in the early ninetees, but I'm wondering if and how it is used nowadays...</p><p>¹<a href="http://unicorn.org" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">http://</span><span class="">unicorn.org</span><span class="invisible"></span></a><br>²<a href="http://www2.cs.arizona.edu/icon" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">http://</span><span class="">www2.cs.arizona.edu/icon</span><span class="invisible"></span></a></p><p><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/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.social/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProgLang</span></a> <a href="https://mastodon.social/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Development</span></a></p>
Cat's Eye Technologies<p><a href="https://a.weirder.earth/tags/introductions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introductions</span></a><br>Cat's Eye Technologies has been foisting weird programming languages &amp; other objectionable abstractions on the world since 1995. You can find them all at <a href="http://catseye.tc/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">http://</span><span class="">catseye.tc/</span><span class="invisible"></span></a></p><p>And now, you can follow this account on Mastodon to hear about our latest developments!</p><p>(At least, that's the theory...)</p><p><a href="https://a.weirder.earth/tags/esolang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>esolang</span></a> <a href="https://a.weirder.earth/tags/esolangs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>esolangs</span></a> <a href="https://a.weirder.earth/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://a.weirder.earth/tags/proglang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proglang</span></a> <a href="https://a.weirder.earth/tags/befunge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>befunge</span></a> <a href="https://a.weirder.earth/tags/codeart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>codeart</span></a> <a href="https://a.weirder.earth/tags/abstractart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>abstractart</span></a> <a href="https://a.weirder.earth/tags/generativeart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>generativeart</span></a> <a href="https://a.weirder.earth/tags/conceptualart" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>conceptualart</span></a> <a href="https://a.weirder.earth/tags/aesthetics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aesthetics</span></a> <a href="https://a.weirder.earth/tags/computation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computation</span></a> <a href="https://a.weirder.earth/tags/rubegoldberg" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rubegoldberg</span></a> <a href="https://a.weirder.earth/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a></p>