Softinio's Notes on Software Engineering - Issue 6
Some exciting news, I have launched my own PeerTube video site as an alternative to YouTube.
Read all about it here on my blog:
Announcing My New Site for Great Technical Video Content | Salar Rahmanian — www.softinio.com
I am thrilled to announce my new video website watch.softinio.com, a place for great technical talk content ad free and free from commercial sponsorship.
Better late than never, I finally started producing my own content too. I made an introduction video summarizing the content I am planning to create
I have been a lifelong fan and user of vim and when Neovim came out I moved to it and have been using Neovim ever since. I finally took the plunge and wrote my first ever plugin. I wrote it using Lua and I must admit really enjoyed doing it so more plugins using Lua to come.
My plugin is an extension to the awesome telescope that allows you to search the scaladex index for packages you want to add to your Scala project and add to your project from within Neovim.
GitHub - softinio/scaladex.nvim: Neovim and Telescope plugin to search the scaladex index — github.com Neovim and Telescope plugin to search the scaladex index - GitHub - softinio/scaladex.nvim: Neovim and Telescope plugin to search the scaladex index
Scala, Java and the JVM
Scala Center on LinkedIn: #scalacenter #scalacenter #scalacenter — www.linkedin.com 🥁🥁🥁 We’re thrilled to announce that #scalacenter is now active on LinkedIn! As an open source ...


Introducing Apache Spark™ 3.2 - The Databricks Blog — databricks.com Learn more about the latest release of Apache Spark™, version 3.2, including pandas API on Spark, Adaptive Query Execution, and ANSI mode and how you can begin using it through Databricks Runtime 10.0.
SynapseML: A simple, multilingual, and massively parallel machine learning library - Microsoft Research — www.microsoft.com Today, we’re excited to announce the release of SynapseML (previously MMLSpark), an open-source library that simplifies the creation of massively scalable machine learning (ML) pipelines. Building production-ready distributed ML pipelines can be difficult, even for the most seasoned developer. Composing tools from different ecosystems often requires considerable “glue” code, and many frameworks aren’t designed with […]
A Philosophy of Testing 1: Introduction | by Mark "Justin" Waks | Nov, 2021 | Medium — jducoeur.medium.com I’ve been programming for the better part of forty years, in several dozen different languages. Those environments vary a lot, and many things have changed, but more than you might think has stayed…
GC progress from JDK 8 to JDK 17 — kstefanj.github.io JDK 17 has been out for a few months and it’s not just packed with new language features. The performance boost compared to older JDK versions is also really significant. It becomes especially clear when compared to the previous LTS releases, JDK 8 and JDK 11. Much of the improved performance comes from new features and optimizations in the JVM and in this post the focus will be on the improvements done in the area of garbage collection.
Functional Programming and Category Theory
Introduction to Category Theory The aim of this course is to teach the basics of category theory, in a way that is accessible and relevant to computer scientists. The emphasis is on gaining a good understanding the basic definitions, examples, and techniques, so that students are equipped for further study on their own of more advanced topics if required.
On the correctness of monadic backward induction | Journal of Functional Programming | Cambridge Core On the correctness of monadic backward induction - Volume 31
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs | Journal of Functional Programming | Cambridge Core A type- and scope-safe universe of syntaxes with binding: their semantics and proofs - Volume 31
Other
Happy thanksgiving all
I wish all my family, friends, coworkers, subscribers, and followers a very Happy thanksgiving. I am thankful for all of you.