🖌️ Watercolor Wizardry Academy - Building something magical, together. Read more 👉 lttr.ai/AsKvC #uglystage #MessyStages #SmallStep

Habemus Trenerum Dejvid Smallstep 😁

My♥️feels soufull as I’ve created a playlist of everysong voiced or touched by our👑@farrhana_bhatt,Her voice has become my safeplace.Whether it’s a smallstep or a bigjourney,Ialways start with her songs Thankyou @Farrhana_bhatt #FarrhanaBhatt #FarrhanaRebellions #FarrhanaBhatt𓃵

我本地也是全部走 HTTPS，用 Traefik Smallstep CA 自己开发的用于实现 ACME DNS Challenge 的 DNS。这种方案复杂点，但是能够 1:1 模拟真实互联网的证书自动续期流程。尤其是在使用 minio 的场景中，可以动态将子域映射到同名的 bucket。 george.betterde.com/cn/devop…

Yeah, that's why program verification/translation is extremely difficult. Essentially we can only define high-level *observed* equivalence of programs. The (unobserved) implementation details cannot be mapped in a canonical way. The same program maybe implemented in C with unsafe operations and on-stack array while in Rust it's owner array allocated on heap. So we only know that fc1 * fc2 * fc3 ... = rc1 * rc2 * rc3 (after a sequence of computations, the R&C outputs are the same). Here fc_i are functions in C while rc_i in Rust. The problem is that it's difficult to define fc_i = rc_i, which prohibits modular verification. This is because a single function may depend and mutate outer states, and it uses constructions that's hard to translate directly. When you have a global view of the computation (fc1 * fc2 * fc3) , everything is tracked and we don't need to think about "smallstep" equivalence. The context is inferred from the usage.

夜職卒業をお考えの方へ いきなり辞めるのは不安かと思います。 私はかつて考えてるだけで何かしら理由をつけて行動しない人でした。 大きな目標を立てても出来ない事ばかりで凹むの繰り返し😓 なのでまずは朝6時に起きる(起きるだけ)→10分起きる→散歩行く等段階をつけていきました。smallstepね😊

SmallStep has good tools and docs for learning about it!

goodnight dont let the bed bugs bite if they do just hit em with an outlier prompt instead of a shoe and smallstep ur way past that unfinished book tomorrow too

自宅サーバーのサービス、HTTPのままアクセスしていませんか？🔓 Let's Encryptを使えば、SSL証明書を無料で取得できます。Certbotには自動更新機構がありますが、更新後のWebサーバー再読込や更新失敗の確認は必要なので、定期的なチェックは忘れずに。 💡 なぜ自宅サーバーでもHTTPSが必要？ ✅ ブラウザの警告が出なくなる ✅ パスワードや個人情報が暗号化される ✅ NextcloudやVaultwardenなど、HTTPS必須のサービスが多い 🔧 Certbot（公式クライアント）で取得： sudo apt install certbot sudo certbot certonly --standalone -d your.domain.com ⚠️ --standaloneはCertbot自身がポート80で待ち受ける方式です。インターネットからそのドメインでサーバーに到達できる必要があります。既存のWebサーバーが80番を使っている場合は一時停止が必要です。 通常は公開ドメイン名を使うのが簡単です。ローカル専用であれば、私設CA（smallstep等）を立てて信頼させる方法もあります。 皆さんは自宅サーバーのHTTPS化、Let's Encrypt / 自己署名証明書 / まだHTTP / VPN経由のみ、どれですか？ #RaspberryPi #自宅サーバー

📚今日の本屋さん📚 【思わず「一歩踏み出してしまう！」実践の書】 by大盛 誠人さん ──「楽しめば最高の成果が出せるのに、楽しむことより重要なことってあるのだろうか？」を問い、Smallstepとして一歩踏み出せる書です。 #NewsPicksで本に出会う

Night falls, but it doesn’t erase what you’ve built today. Every quiet effort, every choice to keep going, it matters more than you know. The day may be done, but your story isn’t. Every smallstep forward is a spark, and even the tiniest spark can light a path you never saw comin

smallstep Step-CA Certificate Signing authentication bypass vulnerability. CONFIRMED VULNERABLE VERSIONS smallstep Step-CA 0.28.4 smallstep Step-CA v0.28.3 talosintelligence.com/vulner…

kannada.news18.com/news/life… ಓವನ್ ಕ್ಲೀನ್ ಮಾಡೋಕೆ ಕೆಮಿಕಲ್ ಬೇಡ; ನಿಮ್ಮ ಕಿಚನ್‌ನಲ್ಲಿರೋ ಈ ಪದಾರ್ಥ ಬಳಸಿದ್ರೆ ಸಾಕು ಫಳ ಫಳ ಹೊಳೆಯುತ್ತೆ! #ovenCleaning #smallstep #KitchenTips

今日のコンサートも楽しく終えました！ みなさんの美しくて明るい歌声が響き渡る 素晴らしいひとときでした。 SmallStepのみなさん、 お集まりくださったみなさん、ありがとうございました♪ またいつか歌いに行きますね😊✨

आज का शुभ विचार! भविष्य की चिंता में यदि मन भागे तो उन अनुभवों को याद करें, जिनसे आपको डर नहीं, ताकत मिली हो। उसी ताकत के आधार पर आज एक छोटा मगर सही कदम उठाएँ। -सरश्री Join us → happythoughts.global #future #SmallStep #worriesfreelife

今年もほんと色々あった。 🍀いろんな人たちに出会えたのは今年一番の幸せ💓 📷ミラーレスカメラ始めて写真撮りまくれたのもある方のおかげ😊感謝💓 🎃ステージ装飾や👘衣装のリメイク久々にやることになったのも出会いのおかげだし😆💕✨ 本業ではいろんな仕事投げられてこなして闘って(笑)いやなことあったとしても。それでも　仕事終わりや休日に　ライブや演劇、映画も沢山観れた😆👍 なんてありがたい💓ステキな1年でしたm(__)m 出会ってくれたみなさん、本当にありがとう💓 来年がどうなるかなんてなんもわからないからさ。 SmallStepをBIGStepに替えて登っていけるようにちょびちょびがんばるさ👍 無理なときには引き返しゃええねん。 そう思いながら明日も目が覚めていく。 そんな1年でした。 あとちょいで2025年は終わるけど　新たにやってくる2026年もよろしくお願いします😊 #感謝の気持ち #今年出会ってくれたみんなにありがとう #心にも常夜燈を

今年もほんと色々あった。 🍀いろんな人たちに出会えたのは今年一番の幸せ💓 📷ミラーレスカメラ始めて写真撮りまくれたのもある方のおかげ😊感謝💓 🎃ステージ装飾や👘衣装のリメイク久々にやることになったのも出会いのおかげだし😆💕✨ 本業ではいろんな仕事投げられてこなして闘って(笑)いやなことあったとしても。それでも　仕事終わりや休日に　ライブや演劇、映画も沢山観れた😆👍 なんてありがたい💓ステキな1年でしたm(__)m 出会ってくれたみなさん、本当にありがとう💓 来年がどうなるかなんてなんもわからないからさ。 SmallStepをBIGStepに替えて登っていけるようにちょびちょびがんばるさ👍 無理なときには引き返しゃええねん。 そう思いながら明日も目が覚めていく。 そんな1年でした。 あとちょいで2025年は終わるけど　新たにやってくる2026年もよろしくお願いします😊 #感謝の気持ち #今年出会ってくれたみんなにありがとう #心にも常夜燈を

ブログ更新しました〜📣 「このままでいいのかな？」と感じたときに、立ち止まりながらもブログを続けていい理由をまとめました。 迷いも含めて、続けている今が前進だと思える内容です。 👉 smallstep-lab.com/blog-is-th… #ブログ更新 #ブログ運営 #ブログ初心者 #40代ブログ #50代ブログ #SmallStep

Cisco Talos has disclosed vulnerabilities in Libbiosig, Grassroot DiCoM (zero-days), and Smallstep step-ca: cs.co/6014COUq2