Detect at-rule support in CSS with @supports at-rule(@keyword)
Back in January 2022, I wrote about an exciting new CSS Working Group decision: a function to detect at-rule support using @supports at-rule(@keyword). Fast forward to today, and the CSS Conditional Rules Module Level 5 specification has solidified how this feature works and Chromium (Chrome, Edge, etc.) is about to ship it in Chromium 148!
Rijndael (@rot13maxi)
TLA+의 작동 원리를 설명하는 트윗입니다. 전체 시스템을 상태 기계로 모델링하고, 변수와 상태를 업데이트하는 액션으로 시스템 동작을 표현한다는 점을 강조합니다. 다음에 취할 수 있는 액션은 현재 상태에 따라 달라지며, TLA+의 흥미로운 기능 중 하나로 액션이 (트윗에서 이어지지 않지만) 특정 선택이나 결정을 할 수 있음을 언급합니다. 형식적 사양 및 검증 관점에서 유용한 설명입니다.
https://x.com/rot13maxi/status/2032794746918252677
#tla+ #formalmethods #statemachine #specification
Rijndael (@rot13maxi) on X
@KingBootoshi The way TLA+ works is you write up your whole system as a state machine. There are basically variables and then actions that update those variables. The actions that can be taken next depend on the current state. One of the (many) cool things about tla+ is an action can pick a
Hello 🙂,
FuncSug can be used as a workflow specification language.
I take the example https://yawlfoundation.github.io/assets/files/YAWLUserManual5.2.pdf (end of page 68), I translate it into FuncSug and I don't need to make 3 "cancellation sets" with 2 elements.
#workflow #specification #programmingLanguage
Bonjour 🙂,
FuncSug peut aussi servir de langage de spécification de workflow.
Je prends l'exemple de https://yawlfoundation.github.io/assets/files/YAWLUserManual5.2.pdf à la fin de la page 68 (et début de la page 69), je le traduis en FuncSug et je n'ai pas besoin de faire 3 "cancellation sets" avec chaque fois, 2 éléments.
#workflow #specification
品質低下｜ポイズン雷花
現代社会では効率化やコスト削減ばかりを求める構図、いやっ、悪文化が形成されている。「とにかく早く出せ」、「奴らより先に出せ」、そうして圧力を掛け品質の低下を招いてるのが実態。結果品質管理はみの次にされ、とにかく（何でも良いから）期限まで開発、又は納品すると云う災いが生じてる。過剰労働、長時間残業、デースマッチと云った歪みの根源はそこに有ります。 下請け業者が無理な納品期限を押し付けられたり、突然無理な仕様変更が要求されたりと労働現場は常に上司やクライアントの勝手な都合に振り回される状況が状態化している。 消費者も消費者で悪い。「早く出して欲しい」、「どうせこんなもんでしょう」と思い込み
Declining quality｜ポイズン雷花
In modern society, a bad culture has been formed that demands efficiency and cost reduction. "Just hurry up," "Get it out before them," and this pressure has led to a decline in quality. As a result, quality control has been put on the back burner, and the disaster of just developing or deliveri
Inautilo
sayzard
💧🌏 Greg Cocks
cli345
ポイズン雷花