Warashi

[FinatextDev @FinatextDev]

Finatext Tech Blog🚀

自動推論シリーズ第2弾！

@warashi___ が、Goの形式検証ツール Gobra で複数粒度ロックの「ロック順が固定であること」の証明に挑みました。完全な証明には至りませんでしたが、試みの中身と、ぶつかった壁についてレポートしました！

https://t.co/VGuEydW0th

[Shinnosuke Dazai @s__dazai]

Gobra という Go コードの処理内容を数理的に証明するツールを使って GitHub に公開されている複数粒度ロック実装の証明に挑戦しました！
Gobra の実用に向けて感じたことを記事にまとめたので、ぜひ一読いただければと思います！
https://t.co/4w59QhlCoi

[Warashi @warashi___]

@nodaguti うちはZaimに移行しようかと昨晩トライしたんですが、メインで使っているクレジットカードがスクレイピング方式？でパスキー設定をしていると連携不可で諦めました。

[Warashi @warashi___]

リポジトリはこれです。
https://t.co/03P5qe5aMc

[Warashi @warashi___]

指定したPATH以外のファイル書き込みを防止するコマンドを実装してみた。
GitHubにWarashi/cageっていうリポジトリで置いてます。
macOSとLinuxに対応していて、それぞれのOSで提供されているサンドボックス機能で実現してます。

[/mugisus/g @mugisus]

ん？え？は？何してるの？

[Warashi @warashi___]

KubeCon Japan 2025 の LT で発表した PipeCD プラグインについて、プラグインの作り方をまとめた本を公開しました！ プラグインに興味のある方はぜひ読んでみてください！
https://t.co/QPEE15uPOu #zenn #PipeCD

[CyberAgentDevelopers @ca_developers]

『CyberAgent Cloud Native Technology Map』を、#KubeCon + #CloudNativeCon Japan 2025の基調講演にて @amsy810 が公開しました🎉

当社25のプロダクトで使われている100の技術に興味のある方は、ぜひご覧ください！現地会場では【ブースS6】で冊子も限定頒布しています📕

https://t.co/3bjfLWJaeX

[t.kikuchi🦊💤 @t_kikuc]

PipeCDで絶賛開発中の大進化「プラグイン化構想」について紹介記事書きました！🚀

k8sやECS以外にもデプロイできたり、独自のパイプラインステージを作成できるなど、拡張性が大幅に高まります。

#pipecd

https://t.co/VASRdEW2WJ

[CyberAgentDevelopers @ca_developers]

／
🗓️10/29(火),30(水)
#CADC2024
＼

進化し続ける
サイバーエージェントの
技術と創造力をお届けする2日間🌱

「Expanding Inspiration」
をテーマに
約60のセッションをご用意しました✨

タイムテーブルはこちら👇
https://t.co/HABUKr9B1M

注目セッションは...（続く👉）

[Warashi @warashi___]

PipeCDの公式サイトこれですー
https://t.co/7WrmoCPorI

#PEK2024
#PEK2024_A

[Warashi @warashi___]

アルゴリズム・クイックリファレンス が推しです

[Timee Engineering / タイミーエンジニアリング 公式 @TimeeDev]

タイミーではエンジニアが日々進化し続ける技術をインプットするためにどのようなサポートが必要か考え、エンジニア向け制度として『TDE10 オライリータワー』を導入しています📚
https://t.co/w1fBTK69nA

#PEK2024 に参加中の皆さまのおすすめオライリー本を引用リポストで教えて下さい₍ ՞•⩊•՞₎

[Warashi @warashi___]

無事です

[Warashi @warashi___]

@sonatard @tenntenn ASTでコメントをどう持つのがいいか全然わかってなかったのでとりあえずlexerだけでも…と思ってそのPRは出したのですが、そのあと go/ast とかを参考に実装してPR出しました
https://t.co/NE3P5bRnqe

[ベルりんはマスクを外さない @belzedaro]

これはですね、なんと、発信元電話番号を偽装できるんですね。
正式な手続きとして可能なのか、違法な装置やらプロセスでそうするのかは知らないんですが、とにかく発信者の番号は偽装できます。
元ツイ主様のように、少しでも怪しければ「こちらからかけ直します」をすべきです。

[Warashi @warashi___]

にゃーん

[Warashi @warashi___]

atcoderをプログラミングドリル的に解き始めた

[Warashi @warashi___]

Goコマンドがpanicしたんじゃが……って思って小さめの再現ケースを作ってからissue見に行ったら起票済みだった

[Warashi @warashi___]

トラックボールのお手入れしたらボールがめっちゃスムーズに回るようになった

[Warashi @warashi___]

@e10dokup 今度お食事行きましょ

[Warashi @warashi___]

@tenntenn 案内ありがとうございます！入りました！