This post is meant as an explainer about how substructural type theory can be applied in programming language design. Terms like “substructural type theory” tend to scare and confuse programmers who don’t write Haskell on the weekends, so one thing programming language designers should do when thinking about how they will present their language is invent metaphors, even slightly misleading ones, to help more ordinary programmers understand how their language works. One such term is “ownership.”
5 Best Alternatives to Finally Replace Plastic. Order yourself a LARQ Bottle PureVis 2 to go plastic free and enjoy ice cold water throughout the entire day. https://bylarq.com/undecided5 Plastic is firmly established in our daily lives, but we all know plastic recycling doesn’t really happen. So what can we do? We can convert starches, fungi, seaweed, heck, even shrimp tails into plastic alternatives and bioplastic. Let’s review five of the most interesting advances I’ve come across — including that shrimpy stuff. But are any of these plastic alternatives actually viable? Or are we literally grasping at straws?
Several European countries are betting on open-source software. In the United States, eh, not so much. In the latest news from across the Atlantic, Switzerland has taken a major step forward with its "Federal Law on the Use of Electronic Means for the Fulfillment of Government Tasks" (EMBAG). This groundbreaking legislation mandates using open-source software (OSS) in the public sector.
This new law requires all public bodies to disclose the source code of software developed by or for them unless third-party rights or security concerns prevent it. This "public money, public code" approach aims to enhance government operations' transparency, security, and efficiency.
Also: German state ditches Microsoft for Linux and LibreOffice
Making this move wasn't easy. It began in 2011 when the Swiss Federal Supreme Court published its court application, Open Justitia, under an OSS license. The proprietary legal software company Weblaw wasn't happy about this. There were heated political and legal fights for more than a decade. Finally, the EMBAG was passed in 2023. Now, the law not only allows the release of OSS by the Swiss government or its contractors, but also requires the code to be released under an open-source license "unless the rights of third parties or security-related reasons would exclude or restrict this."
Professor Dr. Matthias Stürmer, head of the Institute for Public Sector Transformation at the Bern University of Applied Sciences, led the fight for this law. He hailed it as "a great opportunity for government, the IT industry, and society." Stürmer believes everyone will benefit from this regulation, as it reduces vendor lock-in for the public sector, allows companies to expand their digital business solutions, and potentially leads to reduced IT costs and improved services for taxpayers.
Just files and folders
Kirby stores your content in simple text files. Folders are pages. Add images, documents and videos and you are ready to go. It’s that simple
La Tech sur les chemins d’une contre-révolution
OpenFeature is an open specification that provides a vendor-agnostic, community-driven API for feature flagging that works with your favorite feature flag management tool.
What if we actually could replace Git? Jujutsu might give us a real shot.
This is a list that should allow one to detect AI bots.
It is gathered from different sources on the web and updated continuously (or at least that is the plan).
SerenityOS is a love letter to '90s user interfaces with a custom Unix-like core. It flatters with sincerity by stealing beautiful ideas from various other systems.
Roughly speaking, the goal is a marriage between the aesthetic of late-1990s productivity software and the power-user accessibility of late-2000s *nix. This is a system by us, for us, based on the things we like.
Après les multiples dons de 100.000 $, le projet de navigateur web Ladybird reçoit 1 million de dollars du fondateur de Github.
Dans la foulée, le projet se dote d'une fondation de droit américain dont les statuts interdisent toute forme de dons ou de financements intéressés (cf. Google qui rémunère Mozilla pour être le moteur de recherche par défaut de Firefox). Et bien sûr un site web tout neuf pour célébrer tout ça.
logo du navigateur Ladybird
Trois développeurs sont engagés (en plus d'Andreas Kling) et trois autres arrivent (inutile de postuler, ça ne devrait pas augmenter : Andréas préfère une petite équipe et veut toujours avoir les fonds pour un an et demi de salaires d'avance).
Une version alpha est prévue pour 2026. L'équipe utilise déjà Ladybird pour travailler sur ses sites préférés — Github, Discord, HackerNews… avis aux amateurs ! À ceux qui pensent toujours que créer un nouveau moteur de rendu et un navigateur est un projet voué à l'échec, remarquez de quelles pointures viennent les dons et les encouragements, le dernier en date étant Colin Hayhurst, créateur du moteur de recherche Mojeek.
services WEB français,
libres, ouverts, durables, SOLIDAIRES
et RESPECTUEUX de votre VIE PRIVÉE…
