Après «censure » de la loi Duplomb 1, le sénateur M. Duplomb revient avec son nouvel album « loi Duplomb 2 » (et souhaite l’intégrer à la future loi d’urgence agricole).
Comme on dit : « L’erreur est humaine, mais la persévérance est..l’occasion d’une bonne thérapie ? »
Allez, si vous n'avez pas signé la pétition contre Duplomb 2, il est encore temps de le faire :
petitions.assemblee-nationale.fr/initiatives/...
1/2
La loi Duplomb, c'est encore et toujours non ! petitions.assemblee-nationale.fr/initiatives/...
Encore un petit effort !
#duplomb #pétition #poison #démocratie
Free, open-source (GPLv3), no heavy setup.
If you've ever shipped a bug that "shouldn't have been possible" — this one's for you.
đź”— codeberg.org/cdsoft/benelos
#OpenSource #C #FormalVerification #SoftwareEngineering
Tests check the scenarios *you thought of*.
Formal verification checks all of them — including the ones you didn't.
It's the difference between tasting a few glasses of water from a lake, and analyzing every molecule at once.
↓
Fix the model. Run again.
> âś… All rules satisfied in all reachable states.
> âś… All goals reached.
That's the feeling engineers working on planes and medical devices get every day with formal tools.
Benelos brings it to any C developer, in a single header file.
↓
The classic demo: a two-traffic-light system with one rule — never let both go green at the same time.
Naive model. Run Benelos. One second later:
Two steps. Shortest path to failure. Found *before* you write a single line of production code.
↓
What if your code could *mathematically prove* it would never break?
That's what Benelos does. You describe your system — states, events, rules — it explores every possible scenario to find the ones that go wrong.
No guessing. No "it worked in testing." Certainty.
đź”— codeberg.org/cdsoft/benelos
↓
Ça ne sert pas a grand chose visiblement car le déni de démocratie est puissant! Mais tant pis. J'ai resigné quand même 👇
petitions.assemblee-nationale.fr/initiatives/...
Merci d'avoir relayer la pétition. Une (le)signature de plus !
🔧 Tired of YAML/JSON/XML chaos in your build pipeline?
👉 LuaX ecosystem - 8 dev tools sharing one data format (Lua tables)
✨ Build • Docs • Code gen • Graphics • Requirements
All integrated, no conversion glue code needed!
cdsoft.codeberg.page/tools.html
#DevTools #Lua #BuildSystems
I've migrated my Github repositories to #Codeberg => codeberg.org/cdsoft
- not US based
- clean and fast interface
- open source
One step closer to eliminating GAFAM ;-)
A poem generated by an American AI, which cleverly avoids naming the main character. I'll let you guess who we're talking about ;-)
Un poème généré par une IA américaine, qui évite habilement de nommer le personnage principal. Je vous laisse deviner de qui on parle ;-)
#A69 - L'AFFAIRE PERSONNELLE DE MACRON ?
Nous vous proposons de (re)découvrir ce documentaire de Off Investigation...
L'article "Atosca, concessionnaire tricheur ?" ⤵️
www.off-investigation.fr/autoroute-69...
Le documentaire ⤵️
www.youtube.com/watch?v=B-al...
LuaX, bang, ypp, panda... are free.
But their development has got a cost (time, hosting...).
If you like these softwares and are willing to support them, please consider donating via Github (github.com/sponsors/CDS...) or Liberapay (liberapay.com/LuaX/donate).
#Lua
LuaX can cross-compile #lua scripts from and to #Linux (x86_64 and aarch64), #MacOS (x86_64 and aarch64) and #Windows (x86_64).
The executables run on all these platforms without any dependency.
cdelord.fr/luax
#luaxlang
LuaX scripts can run on a vanilla Lua interpreter as well as on the #pandoc Lua interpreter.
Great to debug Pandoc Lua filters in a simple Lua REPL.
cdelord.fr/luax
#luaxlang
LuaX can also bundle #lua scripts into a single script with a LuaX runtime and executable with a plain Lua interpreter.
Theses scripts can optionally be encrypted.
cdelord.fr/luax
#luaxlang
LuaX can bundle #lua scripts into a single script, precompiled as Lua bytecode and executable with LuaX.
Theses scripts can optionally be encrypted and compressed.
cdelord.fr/luax
#luaxlang
LuaX also provides some #lua modules for various purpose (argparse, serialization, math, line editor, parser, network).
All these modules are included in the binary distribution of Luax and do not need to be installed.
cdelord.fr/luax
#luaxlang
ypp is a general purpose text preprocessor scriptable in #lua with LuaX.
One can define macros in Lua and benefit from LuaX modules to preprocess any kind of text files (markdown, sources, ...).
github.com/CDSoft/ypp
#luaxlang
LuaX provides a data compression module based on LZ4.
#lua scripts can compress and decompress LZ4 frames which are compatible with the LZ4 file format.
And all this with no dependency.
github.com/CDSoft/luax/...
#luaxlang
LuaX provides a cryptography module with simple (but cryptographically weak) functions (random number generators, hash, encryption...).
And all this with no dependency.
github.com/CDSoft/luax/...
#luaxlang
LuaX provides modules to interact with shells (e.g. read command outputs) and terminals (colored text...) in a #lua script => small and portable alternative to shell scripts, with a real programming language.
github.com/CDSoft/luax/...
github.com/CDSoft/luax/...
#luaxlang
Bang is a Ninja file generator written and scriptable in LuaX.
Bang provides a DSL in Lua that mimics Ninja primitives with the power of Lua and LuaX modules.
Bang makes build systems easy!
cdelord.fr/bang
#luaxlang
LuaX provides a small, portable and pragmatic filesystem module (file and directory management, recursive file listing, ...).
It is written in C for Linux, MacOS and Windows.
It is small and included to the LuaX runtime with no dependency.
github.com/CDSoft/luax/...
#luaxlang
