fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.8K
active users

#programminglanguage

1 post1 participant0 posts today
cli345<p>FuncSug: another way to program with events.<br>🎉Now, the Memory game is in the playground.</p><p>👉FuncSug: <a href="https://github.com/cl4cnam/funcSug" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/cl4cnam/funcSug</span><span class="invisible"></span></a><br>👉The playground: <a href="https://cl4cnam.github.io/try_FuncSug" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">cl4cnam.github.io/try_FuncSug</span><span class="invisible"></span></a><br>👉The Memory game (in the playground): <a href="https://cl4cnam.github.io/try_FuncSug?example=memory" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">cl4cnam.github.io/try_FuncSug?</span><span class="invisible">example=memory</span></a></p><p><a href="https://piaille.fr/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://piaille.fr/tags/gui" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gui</span></a> <a href="https://piaille.fr/tags/eventDriven" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>eventDriven</span></a> <a href="https://piaille.fr/tags/programmingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguage</span></a></p>
Monoka<p>Share of programming languages used by <a href="https://mastodon.social/tags/GTK3" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GTK3</span></a> / <a href="https://mastodon.social/tags/GTK4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GTK4</span></a> applications (2025-07-12):</p><p>28% <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a><br>21% <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a><br>20% <a href="https://mastodon.social/tags/Vala" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Vala</span></a><br>17% <a href="https://mastodon.social/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a><br>06% <a href="https://mastodon.social/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a>++ <a href="https://mastodon.social/tags/Cplusplus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cplusplus</span></a><br>06% <a href="https://mastodon.social/tags/gjs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gjs</span></a> <a href="https://mastodon.social/tags/Javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Javascript</span></a> <a href="https://mastodon.social/tags/Typescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Typescript</span></a><br>03% Other: <a href="https://mastodon.social/tags/Csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Csharp</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/Lua" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lua</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/Swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Swift</span></a> <a href="https://mastodon.social/tags/Crystal" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Crystal</span></a> <a href="https://mastodon.social/tags/Swift" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Swift</span></a> <a href="https://mastodon.social/tags/D" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>D</span></a> <a href="https://mastodon.social/tags/Perl" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Perl</span></a></p><p>65% use GTK4 (90% of them use <a href="https://mastodon.social/tags/libadwaita" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>libadwaita</span></a>), while still 35% use GTK3</p><p>Method: Source [1] lists 620 awesome <a href="https://mastodon.social/tags/gtk" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gtk</span></a> (3/4) <a href="https://mastodon.social/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>opensource</span></a> applications and their <a href="https://mastodon.social/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a></p><p>[1] <a href="https://github.com/valpackett/awesome-gtk" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/valpackett/awesome-</span><span class="invisible">gtk</span></a></p><p><a href="https://mastodon.social/tags/GTK" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GTK</span></a> <a href="https://mastodon.social/tags/FLOSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FLOSS</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linux</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Gnome" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gnome</span></a> </p><p><span class="h-card" translate="no"><a href="https://floss.social/@GTK" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>GTK</span></a></span> <span class="h-card" translate="no"><a href="https://floss.social/@gnome" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>gnome</span></a></span></p>
Josiah Winslow<p>Since I created a <a href="https://hachyderm.io/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a> based on lengths of words, I've wondered if I can retool some <a href="https://hachyderm.io/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> to precisely control the lengths of each word it generates.</p><p>Here are some of my results (using digits of <a href="https://hachyderm.io/tags/pi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pi</span></a> as word lengths). More work to be done, but not a bad start!</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/artificialintelligence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>artificialintelligence</span></a> <a href="https://hachyderm.io/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://hachyderm.io/tags/transformers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>transformers</span></a> <a href="https://hachyderm.io/tags/experiment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>experiment</span></a> <a href="https://hachyderm.io/tags/test" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>test</span></a></p>
Scripter :verified_flashing:<p>30 Years of JavaScript: 10 Milestones That Changed the Web - The New Stack<br><a href="https://thenewstack.io/30-years-of-javascript-10-milestones-that-changed-the-web/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">thenewstack.io/30-years-of-jav</span><span class="invisible">ascript-10-milestones-that-changed-the-web/</span></a> <a href="https://social.tchncs.de/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://social.tchncs.de/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a> <a href="https://social.tchncs.de/tags/WebDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WebDevelopment</span></a> <a href="https://social.tchncs.de/tags/ProgressiveWebApp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgressiveWebApp</span></a> <a href="https://social.tchncs.de/tags/PWA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PWA</span></a></p>
Le Bottin des Jeux Linux<p>🛠️ Title: Haxe<br>🦊️ What's: A libre programming language to produce JavaScript, C++, C#, Java, JVM, Python, Lua, PHP &amp; Flash code<br>🏡️ <a href="https://haxe.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">haxe.org/</span><span class="invisible"></span></a><br>🐣️ <a href="https://github.com/HaxeFoundation/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/HaxeFoundation/</span><span class="invisible"></span></a><br>🔖 <a href="https://floss.social/tags/LinuxGameDev" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LinuxGameDev</span></a> <a href="https://floss.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://floss.social/tags/Haxe" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haxe</span></a><br>📦️ <a href="https://floss.social/tags/Libre" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Libre</span></a> <a href="https://floss.social/tags/Bin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Bin</span></a> <a href="https://floss.social/tags/Arch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Arch</span></a> <a href="https://floss.social/tags/RPM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RPM</span></a> <a href="https://floss.social/tags/Deb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Deb</span></a><br>📕️ <a href="https://lebottinlinux.vps.a-lec.org/LO.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lebottinlinux.vps.a-lec.org/LO</span><span class="invisible">.html</span></a></p><p>🥁️ Update: 5.0.0-preview.1<br>⚗️ Major release (Unst.)🍏️<br>📌️ Changes: <a href="https://github.com/HaxeFoundation/haxe/releases" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/HaxeFoundation/haxe</span><span class="invisible">/releases</span></a><br>🦣️ From: 🛜️ <a href="https://github.com/HaxeFoundation/haxe/releases.atom" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/HaxeFoundation/haxe</span><span class="invisible">/releases.atom</span></a></p><p>🦝️ <a href="https://www.youtube.com/embed/S8VFxjQ2crs" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/embed/S8VFxjQ2crs</span><span class="invisible"></span></a><br>🦝️ <a href="https://www.youtube.com/embed/xePJU7HTNkg" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/embed/xePJU7HTNkg</span><span class="invisible"></span></a><br>🎮️<a href="https://www.youtube.com/embed/ULcpckAJqLc" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/embed/ULcpckAJqLc</span><span class="invisible"></span></a><br>🎮️<a href="https://www.youtube.com/embed/02G3GUt6Nzo" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/embed/02G3GUt6Nzo</span><span class="invisible"></span></a></p>
Sam Smucny<p>I've finally done it. I have designed my own programming language (it was only a matter of time). After almost 3 months, <i>ProtoGraph</i><span>, a language that compiles into ProtoFlux on Resonite is finally taking shape.<br><br>It's in beta, and I'm sure there is a ton of work remaining to make it lovable, but I'm quite satisfied with the progress so far. If you play Resonite you can check out the world showing some examples at </span><a href="https://go.resonite.com/world/U-1O4IcGhlKSm/R-2045c574-dda6-4a7e-9955-56d2ca002d78" rel="nofollow noopener" target="_blank">ProtoGraph v0.10.0</a><span>.<br><br>I also have a wiki documenting the language: </span><a href="https://git.samsmucny.com/ssmucny/Flux-SDK/wiki/Introduction" rel="nofollow noopener" target="_blank">ProtoGraph Language Introduction</a><span><br><br></span><a href="https://thecle.land/tags/Resonite" rel="nofollow noopener" target="_blank">#Resonite</a> <a href="https://thecle.land/tags/ProtoFlux" rel="nofollow noopener" target="_blank">#ProtoFlux</a> <a href="https://thecle.land/tags/ProtoGraph" rel="nofollow noopener" target="_blank">#ProtoGraph</a> <a href="https://thecle.land/tags/programming" rel="nofollow noopener" target="_blank">#programming</a> <a href="https://thecle.land/tags/ProgrammingLanguage" rel="nofollow noopener" target="_blank">#ProgrammingLanguage</a></p>
Scripter<p>What's coming to JavaScript | Deno <a href="https://deno.com/blog/updates-from-tc39" rel="nofollow noopener" target="_blank">deno.com/blog/updates...</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23ProgrammingLanguage" target="_blank">#ProgrammingLanguage</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23JavaScript" target="_blank">#JavaScript</a><br><br><a href="https://deno.com/blog/updates-from-tc39" rel="nofollow noopener" target="_blank">What's coming to JavaScript | ...</a></p>
Scripter :verified_flashing:<p>What's coming to JavaScript | Deno<br><a href="https://deno.com/blog/updates-from-tc39" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">deno.com/blog/updates-from-tc3</span><span class="invisible">9</span></a> <a href="https://social.tchncs.de/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://social.tchncs.de/tags/JavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JavaScript</span></a></p>
Giacomo TesioWhile it has its own issues, there are several good reasons why my favourite <a href="https://snac.tesio.it?t=programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgrammingLanguage</a> <i>in the real world</i> is <a href="https://snac.tesio.it?t=c" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>.¹<br><br>Why not <a href="https://snac.tesio.it?t=go" class="mention hashtag" rel="nofollow noopener" target="_blank">#Go</a>?<br>Because it's from <a href="https://snac.tesio.it?t=google" class="mention hashtag" rel="nofollow noopener" target="_blank">#Google</a>.<br><br>Why not <a href="https://snac.tesio.it?t=csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Csharp</a> or <a href="https://snac.tesio.it?t=fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fsharp</a>?<br><a href="https://snac.tesio.it?t=microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#Microsoft</a>.<br><br>Why not <a href="https://snac.tesio.it?t=rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rust</a> or <a href="https://snac.tesio.it?t=zig" class="mention hashtag" rel="nofollow noopener" target="_blank">#Zig</a>?<br><a href="https://snac.tesio.it?t=llvm" class="mention hashtag" rel="nofollow noopener" target="_blank">#LLVM</a> (aka <a href="https://snac.tesio.it?t=apple" class="mention hashtag" rel="nofollow noopener" target="_blank">#Apple</a> &amp; friends).<br><br>Ultimately, most of languages I avoid like the plague are controlled by <a href="https://snac.tesio.it?t=bigtech" class="mention hashtag" rel="nofollow noopener" target="_blank">#BigTech</a> one way or another.<br><br>C is simple enough to get several alternative compilers based on useful standards.² ³<br><br><br>¹ In theory I still prefer <a href="https://snac.tesio.it?t=oberon07" class="mention hashtag" rel="nofollow noopener" target="_blank">#Oberon07</a>, but when I want to code something useful I still use C instead to lower the entry barrier for other devs, because there are too many incompatible implementations of the compiler and "standard" library.<br><br>² Ok, <a href="https://snac.tesio.it?t=python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a>, <a href="https://snac.tesio.it?t=scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scheme</a> and <a href="https://snac.tesio.it?t=lua" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lua</a> have similar qualities, but for the tools I write I usually prefer binary executables with no runtime.<br><br>³ No, <a href="https://snac.tesio.it?t=c" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a>++ is <a href="https://harmful.cat-v.org/software/c++/I_did_it_for_you_all" rel="nofollow noopener" target="_blank">not an option</a>. 😉<br>
disorderlyf<p>I think a lot of my issues learning other languages are because I'm so used to how simple the syntax in <a href="https://kolektiva.social/tags/C" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>C</span></a> is that any other <a href="https://kolektiva.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> looks so syntactically complicated that I don't know how the fuck anyone gets anything done I literally jumped ship from <a href="https://kolektiva.social/tags/Java" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Java</span></a> super early in my learning programming because I hated that every.Single.command.wasA.fucking.DotReference.withArbitrarycasingToo</p><p>And I think that's a big part of my woes with the <a href="https://kolektiva.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> compiler. Even if I didn't have problems with the occasionally misleading wording, it's so gods damned verbose and there's so many warnings that are literally just you doing styling things it doesn't like that I have to scroll through multiple pages. I had a error on a fucking Hello World programme that was five lines long and implied a syntax error when it was an issue with how I installed it.</p><p>If there was a Yet Another C Killer that didn't throw errors because your one-word variable isn't snake_case (this actually happened to me the time before last I tried to learn Rust and appears to have been patched since then, but the fact that this was a warning that was enabled by default with that glaring of a readability issue baffles me given how big the project is) and didn't need five lines for a basic syntax error, I'd start learning that now.</p><p>There has to be a better way than:</p><p>ERROR: we expected there to be a semicolon (this symbol: ";") at line 420, character 69<br>But there was none!</p><p>Hint: add a semicolon to line 420, character 69, like so:<br>println!(" The classic print to console to make sure the function ran...");<br> ^ this thing right here</p><p>Could we not just have:</p><p>ERROR on 420:69, missing semicolon. Maybe you forgot one?</p>
TechKeysX<p>Tuple Repetition in Python:<br>Tuple repetition in Python uses the * operator to repeat elements of a tuple multiple times.<br> <a href="https://mastodon.social/tags/coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>coding</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a> <a href="https://mastodon.social/tags/pythoncoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pythoncoding</span></a> <a href="https://mastodon.social/tags/softwareengineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwareengineering</span></a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> <a href="https://mastodon.social/tags/PythonTips" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PythonTips</span></a> <a href="https://mastodon.social/tags/PythonTuples" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PythonTuples</span></a></p>
Dan Q<p>I wanted to know if I could still program in languages I haven't used in 10+ years, so I found a tech test on Glassdoor and did it six times... in six different languages.</p><p>🔗 More: <a href="https://danq.me/lru-cache-challenge" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">danq.me/lru-cache-challenge</span><span class="invisible"></span></a></p><p>Here's what I learned:</p><p>🧠 Programming MORE languages can make you better at ALL of them</p><p>👍 With solid fundamentals, you never truly forget a language</p><p>😵‍💫 Switching between some pairs of languages causes brain-gearshift problems</p><p><a href="https://m.danq.me/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://m.danq.me/tags/programmingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguage</span></a> <a href="https://m.danq.me/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguages</span></a></p>
Jan :rust: :ferris:<p>In which I have Opinions about parsing and grammars - by Simon Tatham</p><p><a href="https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/parsing/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">chiark.greenend.org.uk/~sgtath</span><span class="invisible">am/quasiblog/parsing/</span></a></p><p><a href="https://floss.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://floss.social/tags/PLT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PLT</span></a> <a href="https://floss.social/tags/Parser" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Parser</span></a> <a href="https://floss.social/tags/Parsing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Parsing</span></a> <a href="https://floss.social/tags/Grammar" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Grammar</span></a></p>
Hacker News<p>Programming language Dino and its implementation</p><p><a href="https://github.com/dino-lang/dino" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/dino-lang/dino</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a> <a href="https://mastodon.social/tags/Dino" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dino</span></a> <a href="https://mastodon.social/tags/Implementation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Implementation</span></a> <a href="https://mastodon.social/tags/DinoLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DinoLang</span></a> <a href="https://mastodon.social/tags/GitHub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GitHub</span></a> <a href="https://mastodon.social/tags/TechNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TechNews</span></a></p>
Eduardo Maschio<p>This year H-hat quantum programming language will be part of the hackathon projects at unitaryHACK 2025, with bounties for issues turned into approved PRs for various participating projects!</p><p>Check it out at the unitaryHACK website: <a href="https://unitaryhack.dev" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">unitaryhack.dev</span><span class="invisible"></span></a></p><p>H-hat repository: <a href="https://github.com/hhat-lang/hhat_lang" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/hhat-lang/hhat_lang</span><span class="invisible"></span></a></p><p>H-hat documentation: <a href="https://docs.hhat-lang.org" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">docs.hhat-lang.org</span><span class="invisible"></span></a></p><p><a href="https://selfdon.0x7c4.com/tags/hhat" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hhat</span></a> <a href="https://selfdon.0x7c4.com/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> <a href="https://selfdon.0x7c4.com/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a></p>
Pyrzout :vm:<p>The Mouse Language, Running on Arduino <a href="https://hackaday.com/2025/05/20/the-mouse-language-running-on-arduino/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/05/20/the-mo</span><span class="invisible">use-language-running-on-arduino/</span></a> <a href="https://social.skynetcloud.site/tags/reversepolishnotation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reversepolishnotation</span></a> <a href="https://social.skynetcloud.site/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a> <a href="https://social.skynetcloud.site/tags/SoftwareHacks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareHacks</span></a> <a href="https://social.skynetcloud.site/tags/interpreted" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interpreted</span></a> <a href="https://social.skynetcloud.site/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://social.skynetcloud.site/tags/atmega328p" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atmega328p</span></a> <a href="https://social.skynetcloud.site/tags/minimalist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>minimalist</span></a> <a href="https://social.skynetcloud.site/tags/esoteric" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esoteric</span></a> <a href="https://social.skynetcloud.site/tags/arduino" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arduino</span></a> <a href="https://social.skynetcloud.site/tags/esolang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esolang</span></a> <a href="https://social.skynetcloud.site/tags/mouse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mouse</span></a> <a href="https://social.skynetcloud.site/tags/stack" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stack</span></a></p>
IT News<p>The Mouse Language, Running on Arduino - Although plenty of us have our preferred language for coding, whether it’s C for i... - <a href="https://hackaday.com/2025/05/20/the-mouse-language-running-on-arduino/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/05/20/the-mo</span><span class="invisible">use-language-running-on-arduino/</span></a> <a href="https://schleuss.online/tags/reversepolishnotation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reversepolishnotation</span></a> <a href="https://schleuss.online/tags/programminglanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguage</span></a> <a href="https://schleuss.online/tags/softwarehacks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwarehacks</span></a> <a href="https://schleuss.online/tags/interpreted" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interpreted</span></a> <a href="https://schleuss.online/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://schleuss.online/tags/atmega328p" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atmega328p</span></a> <a href="https://schleuss.online/tags/minimalist" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>minimalist</span></a> <a href="https://schleuss.online/tags/esoteric" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esoteric</span></a> <a href="https://schleuss.online/tags/arduino" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arduino</span></a> <a href="https://schleuss.online/tags/esolang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esolang</span></a> <a href="https://schleuss.online/tags/mouse" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mouse</span></a> <a href="https://schleuss.online/tags/stack" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>stack</span></a></p>
Ramin HonaryThinking of publishing a paper about <a class="hashtag" href="https://fe.disroot.org/tag/schemacs" rel="nofollow noopener" target="_blank">#Schemacs</a> at ICFP/SPLASH 2025 <p>…except there is not much in the way of original research. But I have received a lot of positive feedback about my project from the Scheme and Emacs community. So let me ask the Scheme/Emacs fediverse: if you would be interested in using or contributing to a Scheme-based Emacs that is mostly backward-compatible with <a class="hashtag" href="https://fe.disroot.org/tag/gnuemacs" rel="nofollow noopener" target="_blank">#GNUEmacs</a> , what is it about this prospect that is most interesting to you?</p><p>Personally, I live inside of Emacs and program most of my personal workflows in Emacs Lisp, though I feel that Scheme is a more interesting and fun language to use when compared to other <a class="hashtag" href="https://fe.disroot.org/tag/lisp" rel="nofollow noopener" target="_blank">#Lisp</a>-family languages. So I would just like to be able to use Scheme as the language in which I program all of my personal workflows. Also I am curious if it is possible to write a large application in <a class="hashtag" href="https://fe.disroot.org/tag/r7rs" rel="nofollow noopener" target="_blank">#R7RS</a> Scheme such that it runs on many different Scheme implementations.</p><p>So does anyone else agree, or are there other things about a prospective Scheme-based Emacs that interest you that might be worth mentioning to a the audience of the Scheme-related chapters of the ICFP?</p><p>I was talking with William Byrd, who is one of the conference organizers of ICFP/SPLASH this year, and he says the committee could possibly accept anything of interest to the Scheme community, for example experience reports and “position papers” (helping others understand an opinion or philosophy on the topic). And they would judge these papers on different criteria than a paper about novel scientific research.</p><p>Anyone feel free to comment, but I am going to ping a few people in particular who seem to have opinions on this, like <span class="h-card"><a class="u-url mention" href="https://mathstodon.xyz/@dougmerritt" rel="nofollow noopener" target="_blank">@<span>dougmerritt</span></a></span> <span class="h-card"><a class="u-url mention" href="https://fosstodon.org/@jameshowell" rel="nofollow noopener" target="_blank">@<span>jameshowell</span></a></span> <span class="h-card"><a class="u-url mention" href="https://mstdn.ca/@david_megginson" rel="nofollow noopener" target="_blank">@<span>david_megginson</span></a></span> <span class="h-card"><a class="u-url mention" href="https://mathstodon.xyz/@tusharhero" rel="nofollow noopener" target="_blank">@<span>tusharhero</span></a></span> <span class="h-card"><a class="u-url mention" href="https://mastodon.online/@arialdo" rel="nofollow noopener" target="_blank">@<span>arialdo</span></a></span> <span class="h-card"><a class="u-url mention" href="https://octodon.social/@lispwitch" rel="nofollow noopener" target="_blank">@<span>lispwitch</span></a></span> <span class="h-card"><a class="u-url mention" href="https://social.coop/@cwebber" rel="nofollow noopener" target="_blank">@<span>cwebber</span></a></span> <span class="h-card"><a class="u-url mention" href="https://c.im/@dpk" rel="nofollow noopener" target="_blank">@<span>dpk</span></a></span> and also <span class="h-card"><a class="u-url mention" href="https://functional.cafe/@PaniczGodek" rel="nofollow noopener" target="_blank">@<span>PaniczGodek</span></a></span> who published on GRASP at this conference last year, if I recall correctly.</p><ul><li><a href="https://conf.researchr.org/home/icfp-splash-2025/scheme-2025#Call-for-Papers" rel="nofollow noopener" target="_blank">https://conf.researchr.org/home/icfp-splash-2025/scheme-2025#Call-for-Papers</a></li><li><a href="https://codeberg.org/ramin_hal9001/schemacs" rel="nofollow noopener" target="_blank">https://codeberg.org/ramin_hal9001/schemacs</a></li></ul><p><a class="hashtag" href="https://fe.disroot.org/tag/tech" rel="nofollow noopener" target="_blank">#tech</a> <a class="hashtag" href="https://fe.disroot.org/tag/software" rel="nofollow noopener" target="_blank">#software</a> <a class="hashtag" href="https://fe.disroot.org/tag/foss" rel="nofollow noopener" target="_blank">#FOSS</a> <a class="hashtag" href="https://fe.disroot.org/tag/floss" rel="nofollow noopener" target="_blank">#FLOSS</a> <a class="hashtag" href="https://fe.disroot.org/tag/schemelang" rel="nofollow noopener" target="_blank">#SchemeLang</a> <a class="hashtag" href="https://fe.disroot.org/tag/programminglanguage" rel="nofollow noopener" target="_blank">#ProgrammingLanguage</a></p>
Jan :rust: :ferris:<p>(❁´◡`❁)</p><p><a href="https://floss.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> pattern types RFC:<br><a href="https://gist.github.com/joboet/0cecbce925ee2ad1ee3e5520cec81e30" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/joboet/0cecbce</span><span class="invisible">925ee2ad1ee3e5520cec81e30</span></a></p><p>Pattern types are a form of refinement types, which allow some subset of <a href="https://floss.social/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalVerification</span></a>!</p><p><a href="https://en.wikipedia.org/wiki/Refinement_type" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">en.wikipedia.org/wiki/Refineme</span><span class="invisible">nt_type</span></a></p><p>Tracking Issue for <a href="https://floss.social/tags/PatternTypes" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PatternTypes</span></a>:<br><a href="https://github.com/rust-lang/rust/issues/123646" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/rust-lang/rust/issu</span><span class="invisible">es/123646</span></a></p><p>Tracking Issue for generic pattern types OwO:<br><a href="https://github.com/rust-lang/rust/issues/136574" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/rust-lang/rust/issu</span><span class="invisible">es/136574</span></a></p><p>Implement minimal, internal-only pattern types in the type system:<br><a href="https://github.com/rust-lang/rust/pull/120131" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/rust-lang/rust/pull</span><span class="invisible">/120131</span></a></p><p>I'm _really_ looking forward to how <a href="https://floss.social/tags/RustLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RustLang</span></a> will evolve in this area!👀 </p><p><a href="https://floss.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguage</span></a></p>
Ramin Honary<p><span class="h-card"><a class="u-url mention" href="https://chaos.social/@das_g" rel="nofollow noopener" target="_blank">@<span>das_g</span></a></span> True. It is certainly magical that there is a programming language which defines a state monad called “IO” (or sometimes “Effect”) which carries around with it a symbol of the <strong>entire Real World</strong> in order to model the idea that any evaluation of a function of that type of monad may (or may not) create a change somewhere out in the real world, as opposed to “pure” functions which can only ever manipulate the stack.</p><p><a class="hashtag" href="https://fe.disroot.org/tag/tech" rel="nofollow noopener" target="_blank">#tech</a> <a class="hashtag" href="https://fe.disroot.org/tag/software" rel="nofollow noopener" target="_blank">#software</a> <a class="hashtag" href="https://fe.disroot.org/tag/haskell" rel="nofollow noopener" target="_blank">#Haskell</a> <a class="hashtag" href="https://fe.disroot.org/tag/programminglanguage" rel="nofollow noopener" target="_blank">#ProgrammingLanguage</a> <a class="hashtag" href="https://fe.disroot.org/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://fe.disroot.org/tag/categorytheory" rel="nofollow noopener" target="_blank">#CategoryTheory</a></p>