Un logiciel libre pour lutter contre l’opacité du système sociofiscal

Shulz, Sébastien

doi:10.3917/rfsp.695.0845

Cited by 13 publications

(3 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While interstitial, "from below" strategies enable both confronting and navigating the spaces within digital capitalist hegemony, the digital commons movement must also engage in symbiotic, "from above" social mobilizations and lobbying practices to enrol support from public actors. Our previous research has documented alliances formed by the digital commons movement with European political parties and public administrations (Shulz 2019). This support is pivotal to mitigate the economic shortcomings of digital commons, by creating a regulatory framework conducive to their flourishing.…”

Section: State Support and Contribution To Ecological Digital Commonsmentioning

confidence: 97%

Digital Commons for the Ecological Transition: Ethics, Praxis and Policies

Shulz,

O’Neil,

Broca

et al. 2024

tripleC

View full text Add to dashboard Cite

The article seeks to understand how the digital commons movement addresses ecological issues, how its actors incorporate them into their ethics and praxis, and the challenges they face in scaling up to become a viable ecological alternative to digital capitalism. Building on three case studies, we show that the digital commons currently face three major limitations: reliance on unsustainable Big Tech products, inability or unwillingness to scale up, and negligible political support. Based on two Policy Labs we conducted with actors of the digital commons movement, we conclude by outlining proposals to overcome these limits by adopting E.O. Wright’s anti-capitalist strategies framework.

show abstract

Section: State Support and Contribution To Ecological Digital Commonsmentioning

confidence: 97%

Digital Commons for the Ecological Transition: Ethics, Praxis and Policies

Shulz,

O’Neil,

Broca

et al. 2024

tripleC

View full text Add to dashboard Cite

show abstract

“…However, the case where a child is in the custody of social services was absent from the official simulator, meaning we could not compare results for this case. Fortunately, the source code of the simulator is available as part of the OpenFisca software project [Shulz 2019]. The OpenFisca source file corresponding to the family benefits, amounts to 365 lines of Python.…”

Section: A Look Back To Section 121mentioning

confidence: 99%

Catala: a programming language for the law

Merigoux

Chataing

Protzenko

2021

Proc. ACM Program. Lang.

View full text Add to dashboard Cite

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm. Unfortunately, prose remains a woefully inadequate tool for the job. The lack of formalism leaves room for ambiguities; the structure of legal statutes, with many paragraphs and sub-sections spread across multiple pages, makes it hard to compute the intended outcome of the algorithm underlying a given text; and, as with any other piece of poorly-specified critical software, the use of informal, natural language leaves corner cases unaddressed. We introduce Catala, a new programming language that we specifically designed to allow a straightforward and systematic translation of statutory law into an executable implementation. Notably, Catala makes it natural and easy to express the general case / exceptions logic that permeates statutory law. Catala aims to bring together lawyers and programmers through a shared medium, which together they can understand, edit and evolve, bridging a gap that too often results in dramatically incorrect implementations of the law. We have implemented a compiler for Catala, and have proven the correctness of its core compilation steps using the F* proof assistant. We evaluate Catala on several legal texts that are algorithms in disguise, notably section 121 of the US federal income tax and the byzantine French family benefits; in doing so, we uncover a bug in the official implementation of the French benefits. We observe as a consequence of the formalization process that using Catala enables rich interactions between lawyers and programmers, leading to a greater understanding of the original legislative intent, while producing a correct-by-construction executable specification reusable by the greater software ecosystem. Doing so, Catala increases trust in legal institutions, and mitigates the risk of societal damage due to incorrect implementations of the law.

show abstract

“…However, the case where a child is in the custody of social services was absent from the official simulator, meaning we could not compare results for this case. Fortunately, the source code of the simulator is available as part of the OpenFisca software project [43]. The OpenFisca source file corresponding to the family benefits, amounts to 365 lines of Python.…”

Section: A Look Back To Section 121mentioning

confidence: 99%

Catala: A Programming Language for the Law

Merigoux,

Chataing,

Protzenko

2021

Preprint

View full text Add to dashboard Cite

Law at large underpins modern society, codifying and governing many aspects of citizens' daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm.Unfortunately, prose remains a woefully inadequate tool for the job. The lack of formalism leaves room for ambiguities; the structure of legal statutes, with many paragraphs and sub-sections spread across multiple pages, makes it hard to compute the intended outcome of the algorithm underlying a given text; and, as with any other piece of poorly-specified critical software, the use of informal, natural language leaves corner cases unaddressed.We introduce Catala, a new programming language that we specifically designed to allow a straightforward and systematic translation of statutory law into an executable implementation. Catala aims to bring together lawyers and programmers through a shared medium, which together they can understand, edit and evolve, bridging a gap that too often results in dramatically incorrect implementations of the law. We have implemented a compiler for Catala, and have proven the correctness of its core compilation steps using the F ★ proof assistant.We evaluate Catala on several legal texts that are algorithms in disguise, notably section 121 of the US federal income tax and the byzantine French family benefits; in doing so, we uncover a bug in the official implementation of the French benefits. We observe as a consequence of the formalization process that using Catala enables rich interactions between lawyers and programmers, leading to a greater understanding of the original legislative intent, while producing a correct-by-construction executable specification reusable by the greater software ecosystem. Doing so, Catala increases trust in legal institutions, and mitigates the risk of societal damage due to incorrect implementations of the law.

show abstract

Un logiciel libre pour lutter contre l’opacité du système sociofiscal

Cited by 13 publications

References 0 publications

Digital Commons for the Ecological Transition: Ethics, Praxis and Policies

Digital Commons for the Ecological Transition: Ethics, Praxis and Policies

Catala: a programming language for the law

Catala: A Programming Language for the Law

Contact Info

Product

Resources

About