マンゴーさん

ソフトウェアエンジニア@Cybozu / 自宅鯖K8sおじさん / ホロリスくらふと @HololisCraft / ロボコン / ホロリス→ @f0reachHolo

[マンゴーさん @f0reachKIT]

ちいさくてかわいいね

[NEKOSANJA @cheese_nekoo]

#奏ちゃんを返せ

[マンゴーさん @f0reachKIT]

金策サバイバルをリスナーでやるべく、ホロリス金策サバイバルのシステムをつくりました！！！ （プラグイン・リソパなどなど）

#holocommu

[ホロリスくらふと【Minecraft】 @HololisCraft]

🎉「ホロリス金策サバイバル」開催決定！！！

"#ホロ金策サバイバル"をリスナーが再現したMinecraftサーバが7/31から期間限定でオープン
21日間で所持金を競いましょう💰💰
上位の人には「オーダーメイドSNSアイコン」をプレゼント予定！

みんな参加してね！↓
https://t.co/PUv6fm1mnG #ホロライブ

[マンゴーさん @f0reachKIT]

ホロリス金策サバイバルまたやります、来てね

[ホロリスくらふと【Minecraft】 @HololisCraft]

🎉「ホロリス金策サバイバル」開催決定！！！

"#ホロ金策サバイバル"をリスナーが再現したMinecraftサーバが7/31から期間限定でオープン
21日間で所持金を競いましょう💰💰
上位の人には「オーダーメイドSNSアイコン」をプレゼント予定！

みんな参加してね！↓
https://t.co/PUv6fm1mnG #ホロライブ

[魔法少女くにゅくにゅ a.k.a. 椚座 淳介 @kunukunu]

ライセンス契約でリバースエンジニアリングが禁止されていて、それに合意している、とかはまた別の話。普通に購入できる市中製品は、なにをしようが勝手だ。

[魔法少女くにゅくにゅ a.k.a. 椚座 淳介 @kunukunu]

リバースエンジニアリングはモラル的に問題があるなどと騒いでいるのはエアプでしょ。職業エンジニアなら他社製品のリバエンなんか当たり前にやる仕事だし、自分が開発したものもどうせ誰かに解析されるだろうと思ってる。自分の作ったものが解析に値すると評価されることは本望だ、まである。

[ホロリスくらふと【Minecraft】 @HololisCraft]

「ホロリス金策サバイバル」詳細はこちら！
https://t.co/Xg6I2YVt0z

[ぶどう茶 @budoucha]

こんなベタなB級SFみたいなニュース見出しをリアルで目にする日が来るとはなあ

[マンゴーさん @f0reachKIT]

@tomo0611_dev revoke対策としていろんなキーをばらまくゴニョゴニョ屋さんとkey serverがそのへんにいます

[マンゴーさん @f0reachKIT]

> 近代技術が存在するはるか以前、先見の明を持つ古代のエンジニアたちは、自然の荒々しい力を調和させるために巨大な寺院回路（テンプル・サーキット）を築き上げた。

なんで寺院に機械があんだよ！教えはどうなってんだ教えは！

[マンゴーさん @f0reachKIT]

:thinking_face:

[志ノハラ @shino_s01]

青くんアイスもあるよ🍨

[浸透いうな (浸透待ちは時に危険) @tss_ontap_o]

DNS や メールのサーバを立てるのを忌避する人たち、自分が自信ないのを��覚するのは良いのだけれど他人を揶揄するのはやめて欲しい。それインターネットの否定、そして奴隷化の推進ですよ。

[マンゴーさん @f0reachKIT]

ロボコニストにもビーチでくつろげる余裕があっていいと思うんだ

[志ノハラ @shino_s01]

3段ばんちょー描いたら頭おかしくなっちゃった

[ほほじろのさめ @VkIH5UtKL45411]

すくいーず☄️
#ほしまちぎゃらりー

[ドディ！ @44_dotty]

❄️

#miko_Art

[X VORDER RUNWAY【9/27＠幕張メッセ】 @X_VORDER_RUNWAY]

╋━━━━━━━
　#X_VORDER_RUNWAY
　出演者キービジュアル公開
　　　　#星街すいせい
　　　　　　━━━━━━━╋

FASHION DESIGN ✕ ILLUSTRATION
by Mika Pikazo @MikaPikaZo

📣現地チケット2次抽選先行スタート
ご応募期間は8/2(日) 23:59まで！

🎫お申し込みはこちら👇️
https://t.co/L2GBIgBQdh

[やや @Pi63925174]

Sweet dreams🌌

[チェシャ猫 @y_taka_23]

自然言語でなくフォーマルな記述を仕様の正本にすべきだというのはまさに同意。しかしその形式化の難しさを LLM で踏み倒して逃げ切れるかというと自分はかなり懐疑的で、「人間が理解できない正本に完璧に準拠したシステム」は究極的には無意味なのではという気がしている。理解は全てに先立つ。