Linux
Welcome to c/linux!
Welcome to our thriving Linux community! Whether you're a seasoned Linux enthusiast or just starting your journey, we're excited to have you here. Explore, learn, and collaborate with like-minded individuals who share a passion for open-source software and the endless possibilities it offers. Together, let's dive into the world of Linux and embrace the power of freedom, customization, and innovation. Enjoy your stay and feel free to join the vibrant discussions that await you!
Rules:
-
Stay on topic: Posts and discussions should be related to Linux, open source software, and related technologies.
-
Be respectful: Treat fellow community members with respect and courtesy.
-
Quality over quantity: Share informative and thought-provoking content.
-
No spam or self-promotion: Avoid excessive self-promotion or spamming.
-
No NSFW adult content
-
Follow general lemmy guidelines.
view the rest of the comments
Input Output Global
They’re the company that created Cardano. They’re well-respected for their code quality and the use of formal methods and academic peer review to develop their software. They started out an enemy of most Haskell devs then won many over with their massive open source contributions to the Haskell developer experience. Their Nix based Haskell dev environment is THE best way to use Haskell with Nix.
They used to be called IOHK or Input Output Hong Kong which is still reflected on their GitHub.