mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#programminglanguages

2 posts2 participants0 posts today
Lispy Gopher Climate w/ screwlisp<p><strong>McCarthy's 1960 lisp presentation, my NicCLIM gamedev map editor interactive programming environment with McCLIM</strong></p> <p><a href="https://toobnix.org/w/4emkZqCoz3QtQrqXAB1ckn" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">toobnix.org/w/4emkZqCoz3QtQrqX</span><span class="invisible">AB1ckn</span></a></p>
the roamerpolitically incorrect programming question?
drmorr<p>Various languages and async programming:</p><p>Javascript: async is amazing, you can do things efficiently</p><p>Also javascript: why would anyone want to run things concurrently?</p><p>1/n</p><p><a href="https://hachyderm.io/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://hachyderm.io/tags/javascript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>javascript</span></a></p>
Pyrzout :vm:<p>Ask Hackaday: What’s the Top Programming Language of 2025 <a href="https://hackaday.com/2025/09/30/ask-hackaday-whats-the-top-programming-language-of-2025/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/09/30/ask-ha</span><span class="invisible">ckaday-whats-the-top-programming-language-of-2025/</span></a> <a href="https://social.skynetcloud.site/tags/topprogramminglangauges" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>topprogramminglangauges</span></a> <a href="https://social.skynetcloud.site/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://social.skynetcloud.site/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a></p>
IT News<p>Ask Hackaday: What’s the Top Programming Language of 2025 - We did an informal poll around the Hackaday bunker and decided that, for most of u... - <a href="https://hackaday.com/2025/09/30/ask-hackaday-whats-the-top-programming-language-of-2025/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hackaday.com/2025/09/30/ask-ha</span><span class="invisible">ckaday-whats-the-top-programming-language-of-2025/</span></a> <a href="https://schleuss.online/tags/topprogramminglangauges" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>topprogramminglangauges</span></a> <a href="https://schleuss.online/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwaredevelopment</span></a></p>
Rito Ghosh<p>Easy Forth by Nick Morgan</p><p>A small ebook to learn FORTH. FORTH is a unique language.</p><p>"Every new programming language you learn helps you think about problems in new ways. Forth is very easy to learn, but it requires you to think in a different way than you’re used to. That makes it a perfect language to broaden your coding horizons."</p><p><a href="https://skilldrick.github.io/easyforth/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">skilldrick.github.io/easyforth/</span><span class="invisible"></span></a></p><p><a href="https://mathstodon.xyz/tags/forth" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>forth</span></a> <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mathstodon.xyz/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computerscience</span></a> <a href="https://mathstodon.xyz/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://mathstodon.xyz/tags/lowlevel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lowlevel</span></a></p>
Juno<p>The OCaml implementation of iganaq was finished in May, but I only got to finish writing about it today:</p><p><a href="https://tori.jutty.dev/updates/iganaq-ocaml/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">tori.jutty.dev/updates/iganaq-</span><span class="invisible">ocaml/</span></a></p><p>iganaq is my experimental subset of tori (<a href="https://tori.jutty.dev" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tori.jutty.dev</span><span class="invisible"></span></a>) for evaluating candidate programming languages for its future versions.</p><p><a href="https://mastodon.bsd.cafe/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OCaml</span></a> <a href="https://mastodon.bsd.cafe/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mastodon.bsd.cafe/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.bsd.cafe/tags/OperatingSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OperatingSystems</span></a></p>
Anthony Accioly<p>Hey there Fedi. This is a complete, runnable app:</p><p>void main() {<br> var feature = Runtime.version().feature();<br> IO.println("👋 Hello, ☕ " + feature);<br>}</p><p>You can save it to a file and run:</p><p>$ language FileName.language</p><p>And it will work.</p><p>Question: What programming language is this?</p><p><a href="https://accioly.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://accioly.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareDevelopment</span></a> <a href="https://accioly.social/tags/NotJavaScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NotJavaScript</span></a></p>
IT News<p>Orange Crabs in the Machine: How Rust is rewriting the rules of modern software - Rust mascot Ferris the crab welcomes attendees to RustConf 2025 in Seattle, where... - <a href="https://www.geekwire.com/2025/orange-crabs-in-the-machine-how-rust-is-rewriting-the-rules-of-modern-software/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">geekwire.com/2025/orange-crabs</span><span class="invisible">-in-the-machine-how-rust-is-rewriting-the-rules-of-modern-software/</span></a> <a href="https://schleuss.online/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>softwaredevelopment</span></a> <a href="https://schleuss.online/tags/markrussinovich" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>markrussinovich</span></a> <a href="https://schleuss.online/tags/rustfoundation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rustfoundation</span></a> <a href="https://schleuss.online/tags/ferristhecrab" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ferristhecrab</span></a> <a href="https://schleuss.online/tags/memorysafety" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>memorysafety</span></a> <a href="https://schleuss.online/tags/rustconf2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rustconf2025</span></a> <a href="https://schleuss.online/tags/satyanadella" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>satyanadella</span></a> <a href="https://schleuss.online/tags/seattletech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>seattletech</span></a> <a href="https://schleuss.online/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>opensource</span></a> <a href="https://schleuss.online/tags/microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>microsoft</span></a> <a href="https://schleuss.online/tags/amazon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>amazon</span></a> <a href="https://schleuss.online/tags/google" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>google</span></a> <a href="https://schleuss.online/tags/rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rust</span></a> <a href="https://schleuss.online/tags/arm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>arm</span></a></p>
Farooq | فاروق [Master Patata]<p>Has it occurred to you that an <a href="https://cr8r.gg/tags/LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> is a very good for generating boilerplate code? It's especially very good in frontend development.</p><p>But have you sometimes thought that the language shouldn't require you to write a lot of duplicated codes? And it should instead provide <a href="https://cr8r.gg/tags/metaprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>metaprogramming</span></a> capabilities like <a href="https://cr8r.gg/tags/macros" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>macros</span></a> so you could summarize multiple similar patterns?</p><p>I really miss macros in <a href="https://cr8r.gg/tags/Typescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Typescript</span></a> and other frontend applications.</p><p>I mean using an LLM with like 400B parameters to autogenerate some frontend stuff is insane when you could simply fix the underlying tech instead of introducing new massive size tech to go around the problem, instead of solving it.</p><p>I think I really need to get back to <a href="https://cr8r.gg/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> or maybe some other <a href="https://cr8r.gg/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> languages. <a href="https://cr8r.gg/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> also has got macros and I could learn more advanced usages of them.</p><p><a href="https://cr8r.gg/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://cr8r.gg/tags/tech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tech</span></a> <a href="https://cr8r.gg/tags/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computing</span></a> <a href="https://cr8r.gg/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a> <a href="https://cr8r.gg/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cs</span></a> <a href="https://cr8r.gg/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computerscience</span></a></p>
Miguel Afonso Caetano<p>"Have you ever tried programming with a language that uses musical notation? What about a language that never runs programs the same way? What about a language where you write code with photographs?</p><p>All exist, among many others, in the world of esoteric programming languages, and Daniel Temkin has written a forthcoming book covering 44 of them, some of which exist and are usable to some interpretation of the word “usable.” The book, Forty-Four Esolangs: The Art of Esoteric Code, is out on 23 September, published by MIT Press.</p><p>I was introduced to Temkin’s work at the yearly Free and Open source Software Developer’s European Meeting (FOSDEM) event in Brussels in February. FOSDEM is typically full of strange and wonderful talks, where the open-source world gets to show its more unusual side. In Temkin’s talk, which I later described to a friend as “the most FOSDEM talk of 2025,” he demonstrated Valence, a programming language that uses eight ancient Greek measuring and numeric symbols."</p><p><a href="https://spectrum.ieee.org/esoteric-programming-languages-daniel-temkin" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">spectrum.ieee.org/esoteric-pro</span><span class="invisible">gramming-languages-daniel-temkin</span></a></p><p><a href="https://tldr.nettime.org/tags/Programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Programming</span></a> <a href="https://tldr.nettime.org/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://tldr.nettime.org/tags/FLOSS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FLOSS</span></a> <a href="https://tldr.nettime.org/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OpenSource</span></a> <a href="https://tldr.nettime.org/tags/Art" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Art</span></a></p>
Programming Languages Delft<p>Master thesis by Julius de Jeu: "Detecting Undefined Behavior Across Foreign Function Boundaries in Rust Programs"</p><p>"[..] we propose a novel mechanism for detecting memory safety violations across language boundaries. We implemented it in a tool called MiriPBT: a combination of MIRI, a tool that can enforce ownership rules at runtime [..] and Property Based Testing, which allows us to greatly increase the size of the domain we can test."</p><p><a href="https://akademienl.social/tags/master" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>master</span></a> <a href="https://akademienl.social/tags/thesis" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>thesis</span></a> <a href="https://akademienl.social/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://akademienl.social/tags/MIRI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MIRI</span></a> <a href="https://akademienl.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a></p>
InfoQ<p>Discover why <a href="https://techhub.social/tags/RustLang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RustLang</span></a> is the right choice for building <a href="https://techhub.social/tags/LowLatency" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LowLatency</span></a> systems: not just for code’s performance, but also for productivity &amp; developer joy.</p><p>🎧 Listen to the <a href="https://techhub.social/tags/InfoQ" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>InfoQ</span></a> <a href="https://techhub.social/tags/podcast" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>podcast</span></a> with Andrew Lamb (Staff Engineer, InfluxData) for more insights: <a href="https://bit.ly/3HXGW4v" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/3HXGW4v</span><span class="invisible"></span></a> </p><p>📄 <a href="https://techhub.social/tags/transcript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>transcript</span></a> included</p><p><a href="https://techhub.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://techhub.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://techhub.social/tags/Performance" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Performance</span></a> <a href="https://techhub.social/tags/Concurrency" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Concurrency</span></a> <a href="https://techhub.social/tags/DeveloperExperience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DeveloperExperience</span></a></p>
blaue_Fledermaus<p><a href="https://mstdn.io/tags/nemerle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nemerle</span></a> looks like an interesting <a href="https://mstdn.io/tags/dotnet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dotnet</span></a> language, sadly the project seems to be stagnant and doesn't support modern dotnet.</p><p><a href="https://mstdn.io/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguages</span></a></p>
Abhinav 🌏<p>I'm writing a series of blog posts, in which I write a <a href="https://fantastic.earth/tags/bytecode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bytecode</span></a> <a href="https://fantastic.earth/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compiler</span></a> and a <a href="https://fantastic.earth/tags/virtualMachine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>virtualMachine</span></a> for arithmetic in <a href="https://fantastic.earth/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>. We explore the following topics in the series:</p><p>- Parsing arithmetic expressions to ASTs.<br>- Compiling ASTs to bytecode.<br>- Interpreting ASTs.<br>- Efficiently executing bytecode in a VM.<br>- Disassembling bytecode and decompiling opcodes for debugging and testing.<br>- Unit testing and property-based testing for our compiler and VM.<br>- Benchmarking our code to see how the different passes perform.<br>- All the while keeping an eye on performance.</p><p>The second post of the series that focuses on writing the <a href="https://fantastic.earth/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compiler</span></a> is now out: <a href="https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-compiler" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">abhinavsarkar.net/posts/arithm</span><span class="invisible">etic-bytecode-vm-compiler</span></a></p><p><a href="https://fantastic.earth/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://fantastic.earth/tags/Blogging" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Blogging</span></a> <a href="https://fantastic.earth/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilers</span></a> <a href="https://fantastic.earth/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguages</span></a></p>
ResearchBuzz: Firehose<p>Stephen Wolfram: New Features Everywhere: Launching Version 14.3 of Wolfram Language &amp; Mathematica. “Version 14.2 launched on January 23 of this year. Now, today, just over six months later, we’re launching Version 14.3. And despite its modest .x designation, it’s a big release, with lots of important new and updated functionality, particularly in core areas of the system. I’m […]</p><p><a href="https://rbfirehose.com/2025/08/06/new-features-everywhere-launching-version-14-3-of-wolfram-language-mathematica-stephen-wolfram/" class="" rel="nofollow noopener" target="_blank">https://rbfirehose.com/2025/08/06/new-features-everywhere-launching-version-14-3-of-wolfram-language-mathematica-stephen-wolfram/</a></p>
Dr. Anna Latour<p>One of my almae matres (?) is hiring!</p><p>From the LinkedIn announcement:</p><p>"The 𝐂𝐨𝐦𝐩𝐮𝐭𝐞𝐫 𝐒𝐜𝐢𝐞𝐧𝐜𝐞 department at UCLouvain (Belgium) will soon open 𝐭𝐡𝐫𝐞𝐞 𝐟𝐮𝐥𝐥-𝐭𝐢𝐦𝐞 𝐟𝐚𝐜𝐮𝐥𝐭𝐲 𝐩𝐨𝐬𝐢𝐭𝐢𝐨𝐧𝐬 targeting excellent profiles in the following domains:</p><p>- 2 Positions in one or more of these areas:<br>=&gt; 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠,<br>=&gt; 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 𝐚𝐧𝐝 𝐥𝐚𝐧𝐠𝐮𝐚𝐠𝐞𝐬,<br>=&gt; 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐝𝐞𝐩𝐞𝐧𝐝𝐚𝐛𝐢𝐥𝐢𝐭𝐲, 𝐢𝐧𝐜𝐥𝐮𝐝𝐢𝐧𝐠 𝐟𝐨𝐫𝐦𝐚𝐥 𝐦𝐞𝐭𝐡𝐨𝐝𝐬.</p><p>- 1 Position in 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲 𝐚𝐧𝐝 𝐜𝐲𝐛𝐞𝐫𝐬𝐞𝐜𝐮𝐫𝐢𝐭𝐲, also broadly construed (e.g., system security, cyber-physical systems security, AI for security &amp; security for AI, privacy, distributed systems security, etc.).</p><p>The three positions will be open to 𝐚𝐥𝐥 𝐬𝐞𝐧𝐢𝐨𝐫𝐢𝐭𝐲 𝐥𝐞𝐯𝐞𝐥𝐬 (assistant/associate or full)."</p><p><a href="https://www.linkedin.com/posts/icteam-uclouvain_uclouvain-icteam-professorposition-activity-7345710022284197889-sNL5" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">linkedin.com/posts/icteam-uclo</span><span class="invisible">uvain_uclouvain-icteam-professorposition-activity-7345710022284197889-sNL5</span></a></p><p>I loved the year that I spent at Université catholique de Louvain! I learned so much there, and every time I am back, I am welcomed with such open arms by the lovely people there. I'm happy where I am now at TU Delft, but seeing this announcement, my heart jumped and I admit that I did quickly check my profile against the positions that are opening.</p><p><a href="https://mathstodon.xyz/tags/AcademicJobs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicJobs</span></a> <a href="https://mathstodon.xyz/tags/GetFediHired" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GetFediHired</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/AcademicJob" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicJob</span></a> <a href="https://mathstodon.xyz/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareEngineering</span></a> <a href="https://mathstodon.xyz/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://mathstodon.xyz/tags/FormalMethods" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FormalMethods</span></a> <a href="https://mathstodon.xyz/tags/SoftwareSecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SoftwareSecurity</span></a> <a href="https://mathstodon.xyz/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CyberSecurity</span></a> <a href="https://mathstodon.xyz/tags/Belgium" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Belgium</span></a> <a href="https://mathstodon.xyz/tags/LLN" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLN</span></a> <a href="https://mathstodon.xyz/tags/Universit%C3%A9CatholiquedeLouvain" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UniversitéCatholiquedeLouvain</span></a> <br><a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicChatter</span></a></p>
Abhinav 🌏<p>I'm starting a series of blog posts, in which I write a <a href="https://fantastic.earth/tags/bytecode" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bytecode</span></a> <a href="https://fantastic.earth/tags/compiler" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compiler</span></a> and a <a href="https://fantastic.earth/tags/virtualMachine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>virtualMachine</span></a> for arithmetic in <a href="https://fantastic.earth/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a>. We explore the following topics in the series:</p><p>- Parsing arithmetic expressions to ASTs.<br>- Compiling ASTs to bytecode.<br>- Interpreting ASTs.<br>- Efficiently executing bytecode in a VM.<br>- Disassembling bytecode and decompiling opcodes for debugging and testing.<br>- Unit testing and property-based testing for our compiler and VM.<br>- Benchmarking our code to see how the different passes perform.<br>- All the while keeping an eye on performance.</p><p>The first post of the series that focuses on writing the <a href="https://fantastic.earth/tags/parser" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>parser</span></a> is now out: <a href="https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-parser/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">abhinavsarkar.net/posts/arithm</span><span class="invisible">etic-bytecode-vm-parser/</span></a></p><p><a href="https://fantastic.earth/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://fantastic.earth/tags/Blogging" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Blogging</span></a> <a href="https://fantastic.earth/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilers</span></a> <a href="https://fantastic.earth/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmingLanguages</span></a></p>
Abhinav 🌏<p>I don't get it. Why is <a href="https://fantastic.earth/tags/Dlang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dlang</span></a> not more popular? Why do people talk about it only in whispers?<br><a href="https://fantastic.earth/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programminglanguages</span></a></p>
Alessandra Sierra<p>Programming languages as people</p><p><a href="https://leftoversalad.com/c/015_programmingpeople/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leftoversalad.com/c/015_progra</span><span class="invisible">mmingpeople/</span></a></p><p><a href="https://hachyderm.io/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProgrammingLanguages</span></a> <a href="https://hachyderm.io/tags/programmer_humor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programmer_humor</span></a> <a href="https://hachyderm.io/tags/comic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>comic</span></a></p>