#acsl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #acsl, aggregated by home.social.
-
RT @[email protected]
I'm considering adopting the anti capitalist software license: #ACSL in preference to the #AGPL which I use currently.
Thoughts, #FOSS folk?
anticapitalist.software
The Anti-Capitalist Software L... -
https://www.wacoca.com/media/668069/ 【徹底解説】防衛×AIで需要急増?!2026年大注目のドローン関連株3選 #3444 #6232 #6473 #ACSL #AIドローン #drama #GFS #NISA #S&P500 #お金 #お金の学校 #お金の学校gfs #グローバルファイナンシャルスクール #ジェイテクト #テンバガー #トヨタグループ #ドラマ #ドラマの解説 #ドローン関連株 #ロボット関連株 #中山さん #保険 #先進国 #初心者 #国策銘柄 #大化け株 #家庭 #少子化 #少子高齢化 #市川 #市川雄一郎 #年金 #成長株 #投資 #投資信託 #新NISA #日本の未来 #日本株 #暴落 #未婚 #株 #株価 #株初心者 #株式 #株式投資 #特徴 #独身 #破産 #米国株 #精密加工 #経済 #経済格差 #結婚 #老後 #脱中国 #自動化 #自律制御 #菊池製作所 #貧富の差 #資産運用 #銘柄 #銘柄紹介 #防衛特需 #防衛省 #防衛関連株 #高騰 #高齢化 #黒字転換
-
https://www.wacoca.com/media/668069/ 【徹底解説】防衛×AIで需要急増?!2026年大注目のドローン関連株3選 #3444 #6232 #6473 #ACSL #AIドローン #drama #GFS #NISA #S&P500 #お金 #お金の学校 #お金の学校gfs #グローバルファイナンシャルスクール #ジェイテクト #テンバガー #トヨタグループ #ドラマ #ドラマの解説 #ドローン関連株 #ロボット関連株 #中山さん #保険 #先進国 #初心者 #国策銘柄 #大化け株 #家庭 #少子化 #少子高齢化 #市川 #市川雄一郎 #年金 #成長株 #投資 #投資信託 #新NISA #日本の未来 #日本株 #暴落 #未婚 #株 #株価 #株初心者 #株式 #株式投資 #特徴 #独身 #破産 #米国株 #精密加工 #経済 #経済格差 #結婚 #老後 #脱中国 #自動化 #自律制御 #菊池製作所 #貧富の差 #資産運用 #銘柄 #銘柄紹介 #防衛特需 #防衛省 #防衛関連株 #高騰 #高齢化 #黒字転換
-
I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.
I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.
-
I started looking at ACSL in Frama-C. Looks promising, although a bit complex at first.
I wonder if I can convey it to output its proofs in some readable format for archiving. And it would be swell with some test report or so. Perhaps also a non-zero return code so that it becomes more easily integrated in a regression test CI/CD pipeline.
-
Jeff "never puts away anything, especially oven mitts" Cliff, Bringer of Nightmares 🦝🐙 🇱🇧🧯 🇨🇦 @[email protected] ·the #ACSL is a pretty good way of splitting the free software movement and syphoning off the pro-capitalist side into no longer working with the other half #divideandconquer
