Create accountLogin

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.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#programming_languages

0 posts0 participants0 posts today
svetlyak40wt<p>I like to open the front page of Ultralisp.org to find new projects added to the distribution recently.</p><p>Today a new interesting <a href="https://fosstodon.org/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CommonLisp</span></a> app was added – it is able to find duplicate images in the directory. This program uses some sort of similarity function.</p><p>Here is the link:</p><p><a href="https://github.com/shamazmazum/similar-images" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/shamazmazum/similar</span><span class="invisible">-images</span></a></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/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a></p>
meisterluk<p>I just finished reading the paper “Borrow checking Hylo”<br /><a href="https://2023.splashcon.org/details/iwaco-2023-papers/5/Borrow-checking-Hylo" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">2023.splashcon.org/details/iwa</span><span class="invisible">co-2023-papers/5/Borrow-checking-Hylo</span></a></p><p>If they make serious progress with <a href="https://mathstodon.xyz/tags/Hylo" class="mention hashtag" rel="tag">#<span>Hylo</span></a> and can uphold their claims, I believe Hylo is going to be one of the few serious contenders to <a href="https://mathstodon.xyz/tags/rustlang" class="mention hashtag" rel="tag">#<span>rustlang</span></a> in terms of memory safety. They solve the same problems, but Hylo does it in a simpler, more explicit framework (let, set, inout, sink) based on Value Semantics.</p><p>But the <a href="https://mathstodon.xyz/tags/rustlang" class="mention hashtag" rel="tag">#<span>rustlang</span></a> ecosystem makes huge progress and <a href="https://mathstodon.xyz/tags/Hylo" class="mention hashtag" rel="tag">#<span>Hylo</span></a> does not even provide pre-built binaries because of its early stage of development. So it is unlikely at this stage.</p><p>Remark: I did not determine how <a href="https://mathstodon.xyz/tags/Hylo" class="mention hashtag" rel="tag">#<span>Hylo</span></a> represents interior mutability, but this should be doable.</p><p><a href="https://mathstodon.xyz/tags/programming_languages" class="mention hashtag" rel="tag">#<span>programming_languages</span></a> <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a></p>
Ashton Wiersdorf<p>Wrote a new blog post, mostly in response to someone who told me on the internet, "there's nothing wrong with Lisp macros."</p><p>Boy howdy there is. I present: Should programming languages be safe or powerful? <a href="https://lambdaland.org/posts/2024-11-21_powerful_or_safe_languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lambdaland.org/posts/2024-11-2</span><span class="invisible">1_powerful_or_safe_languages/</span></a></p><p><a href="https://fosstodon.org/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a></p>
mort<p>Stacks which grow towardrs 0 are so hard to think about, why can't they just grow upwards so that the stack pointer is also the address of the first byte in the next object I'll push</p><p>I can think about stacks which grow towards ∞ just by thinking real hard but with stacks which grow towards 0 I actually need to draw down on a piece of paper T_T</p><p><a href="https://fosstodon.org/tags/pldev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pldev</span></a> <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/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a></p>
Futurist :vivaldi_red:<p>How Garbage Collection works in three popular programming languages: Java, Python and Go. Very educational summary.</p><p><a href="https://social.vivaldi.net/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>OpenSource</span></a> <a href="https://social.vivaldi.net/tags/java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>java</span></a> <a href="https://social.vivaldi.net/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://social.vivaldi.net/tags/go" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>go</span></a> <a href="https://social.vivaldi.net/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <a href="https://social.vivaldi.net/tags/GarbageCollection" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GarbageCollection</span></a></p><p><a href="https://blog.bytebytego.com/p/ep125-how-does-garbage-collection" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">blog.bytebytego.com/p/ep125-ho</span><span class="invisible">w-does-garbage-collection</span></a></p>
Sage 🇵🇸 🇱🇧 🇺🇦 🇿🇦 🇨🇺 🍉<p>Good Educational YouTube Channels for Each Programming Language</p><p>Systems Programming Languages<br>1. C++ → The Cherno<br>2. C → Jacob Sorber</p><p>Interpreted Languages<br>1. JavaScript → JSConf<br>2. Python → Brian Faure<br>3. PHP → International PHP Conference</p><p>Virtual Machine Languages<br>1. Java (JVM) → Amigoscode<br>2. C# (CLR) → Teddy Smith - Data Structures and Algorithms In C#</p><p>Concurrent Languages<br>1. Golang → GopherCon UK<br>2. Rust → Rust</p><p><a href="https://mas.to/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <br><a href="https://mas.to/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <br><a href="https://mas.to/tags/datastructures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>datastructures</span></a> <br><a href="https://mas.to/tags/algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>algorithms</span></a></p>
OCFelisola<p>Te has preguntado: ¿Cómo funciona el lenguaje ensamblador?</p><p>Aquí una primera aproximación <a href="https://ibolcode.net/roor/2024-09-hola-mundo-en-ensamblador" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">ibolcode.net/roor/2024-09-hola</span><span class="invisible">-mundo-en-ensamblador</span></a></p><p><a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a> <a href="https://mathstodon.xyz/tags/programming_languages" class="mention hashtag" rel="tag">#<span>programming_languages</span></a> <a href="https://mathstodon.xyz/tags/assembler" class="mention hashtag" rel="tag">#<span>assembler</span></a></p>
Futurist :vivaldi_red:<p>kalosm is a simple interface for pretrained AI models </p><p>Here a concise look at the Kalosm crate, including how it fits in with the rest of the libraries of the LLM ecosystem.</p><p><a href="https://social.vivaldi.net/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> <a href="https://social.vivaldi.net/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a> <a href="https://social.vivaldi.net/tags/llm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>llm</span></a> <a href="https://social.vivaldi.net/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> <a href="https://social.vivaldi.net/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <a href="https://social.vivaldi.net/tags/kalosm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>kalosm</span></a></p><p><a href="https://www.youtube.com/watch?v=fIFUnYNuYbc" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=fIFUnYNuYb</span><span class="invisible">c</span></a></p>
Futurist :vivaldi_red:<p>I think I will have to review my technology skills and learn to code in Solidity or Rust. I didn't think the average salary was so good for people working with these programming languages 😅 </p><p><a href="https://social.vivaldi.net/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Rust</span></a> <a href="https://social.vivaldi.net/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rustlang</span></a> <a href="https://social.vivaldi.net/tags/Solidity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Solidity</span></a> <a href="https://social.vivaldi.net/tags/ABAP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ABAP</span></a> <a href="https://social.vivaldi.net/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://social.vivaldi.net/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <a href="https://social.vivaldi.net/tags/tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tech</span></a> <a href="https://social.vivaldi.net/tags/salary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>salary</span></a> <a href="https://social.vivaldi.net/tags/jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jobs</span></a> <a href="https://social.vivaldi.net/tags/python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>python</span></a> <a href="https://social.vivaldi.net/tags/java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>java</span></a> <a href="https://social.vivaldi.net/tags/InformationTechnology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>InformationTechnology</span></a> <a href="https://social.vivaldi.net/tags/ict" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ict</span></a> <a href="https://social.vivaldi.net/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://social.vivaldi.net/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareEngineering</span></a> </p><p><a href="https://www.devjobsscanner.com/blog/top-10-highest-paid-programming-languages/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">devjobsscanner.com/blog/top-10</span><span class="invisible">-highest-paid-programming-languages/</span></a></p>
:rss: Hacker News<p>Why Haskell?<br><a href="https://www.gtf.io/musings/why-haskell" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">gtf.io/musings/why-haskell</span><span class="invisible"></span></a><br><a href="https://rss-mstdn.studiofreesia.com/tags/ycombinator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ycombinator</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/apologia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>apologia</span></a></p>
Charly Coste 🇫🇷<p>I've pushed a new version of <a href="https://gato-lang.dev/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">gato-lang.dev/</span><span class="invisible"></span></a> that explains a bit more what the project is.</p><p><a href="https://mastodon.cloud/tags/bugs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bugs</span></a> <a href="https://mastodon.cloud/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.cloud/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a></p>
:rss: Hacker News<p>The Tiny Ultrabright Laser That Can Melt Steel<br><a href="https://spectrum.ieee.org/pcsel" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">spectrum.ieee.org/pcsel</span><span class="invisible"></span></a><br><a href="https://rss-mstdn.studiofreesia.com/tags/ycombinator" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ycombinator</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/lasers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lasers</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/photonic_crystals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>photonic_crystals</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/smart_manufacturing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smart_manufacturing</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/pcsel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pcsel</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/semiconductor_laser" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semiconductor_laser</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Technology_Computing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Technology_Computing</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Education" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Education</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Computing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Computing</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Consumer_Electronics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Consumer_Electronics</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Robotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Robotics</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Internet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Internet</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/IT_and_Internet_Support" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IT_and_Internet_Support</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Web_Development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Web_Development</span></a> <a href="https://rss-mstdn.studiofreesia.com/tags/Programming_Languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming_Languages</span></a></p>
Rajbir<p>Joined today. Interested in:</p><p><a href="https://fosstodon.org/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <br><a href="https://fosstodon.org/tags/musiccompilation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>musiccompilation</span></a> <br><a href="https://fosstodon.org/tags/literature_in_english" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>literature_in_english</span></a> <br><a href="https://fosstodon.org/tags/stocksinvestmentculturereddittootme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>stocksinvestmentculturereddittootme</span></a> <br><a href="https://fosstodon.org/tags/cashflowmanagement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cashflowmanagement</span></a> <br><a href="https://fosstodon.org/tags/beautifulwomen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>beautifulwomen</span></a></p>
ProTheory8<p>Hey <a href="https://mastodon.online/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fediverse</span></a>, in your opinion, which of these is the best one: Rust, C, C++, Zig?</p><p><a href="https://mastodon.online/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rust</span></a> <a href="https://mastodon.online/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>c</span></a> <a href="https://mastodon.online/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cpp</span></a> <a href="https://mastodon.online/tags/zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>zig</span></a> <a href="https://mastodon.online/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a> <a href="https://mastodon.online/tags/languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>languages</span></a> <a href="https://mastodon.online/tags/programming_languages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming_languages</span></a> <a href="https://mastodon.online/tags/poll" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>poll</span></a></p>
SearchLive feeds
About