don't talk to me about life / だんだん寝る / エクセル鬱 / 電話嫌い / にゃう弁 / アンドコ/ someone who always tried to be kind / 予定に向きあうのが苦手 / 出羽守（本物）/ 真実と複雑な関係にある
Japan
Joined December 2007
- Tweets533K
- Following1.3K
- Followers2.6K
- Likes60.9K
mojin retweeted
【速報】被害情報拡散を控えてほしいと官房長官
47news.jp/15146086.html?utm_…
mojin retweeted
Tailscaleの脆弱性対策について、
Tailnet Lockをトグルオンにする方法がわからず少し苦労したので、備忘録として手順を以下にまとめておく
① login.tailscale.com/admin/se… にアクセス
② Enable Tailnet Lock をクリック
③ Add signing node から、署名を行う端末を2台以上選択。迷ったら、普段よく使う端末を選べば良い
④ 画面に表示される tailscale lock init コマンドをコピー
⑤ 署名を行うPCでTerminalを開き、④でコピーしたコマンドを実行する
※ 私のUbuntu環境ではその前に
「sudo tailscale set --operator=$USER」
を実行する必要があった
⑥ 発行された Disablement secrets（無効化用の復旧シークレット） を安全な場所に保存する
以上
『Tailscale脆弱性対策について』
これはまだパッチがあたっていないのに脆弱性が拡散されている可能性があり、何らかの対策を講じなければならない。
今の状況で効く順に挙げると、次の5つです。
１．Macを最新版に上げる：
２．Tailnet Lockをオンにする：
tailnetに新しい端末を加えるには、信頼済みの端末の署名が要るようになる。今回の研究で「不正な端末の追加」が実演されたのは、まさにTailnet Lockがオフの状態だったので、いちばん効く対策と言える。
３．ACLでメンバーどうしの全ポート許可をやめる：
端末同士が、全ポートで通じている状況ではリスクが高いため、機能を使う分だけに絞る。
４．鍵に期限をつける：
５．Tailscale SSHとApp Connectorは使わないままにする：
これらを組み合わせることが有効そう。
まずはTailnet Lockをトグルオンとし、Macを最瓶版に上げるのは最低でもやっておくべきか。
mojin retweeted
在宅廃止ってマジで人減らすのに有効なんですね
ソニーセミコンの退職理由に強制出社がめちゃくちゃ出てくる
openwork.jp/one_answer.php?v…
mojin retweeted
社会人は教員免許を１年以内に取得 新課程を創設へ
news.web.nhk/newsweb/na/nd-2… #nhk_news
mojin retweeted
動物のお医者さんの聖地🐾
画集のパネルが展示されていた！
学生さんたちに写真を撮ってもらい、
生きててよかった……🥹
連載当時は、まだ生まれてなかったんだね。
令和のハムテルたち、みんな優しくてええ子🐾
#動物のお医者さん
#佐々木倫子
#北海道大学150周年
#北海道大学獣医学部
#小学館
mojin retweeted
【お知らせ】
aiko 17th Album『最後に熱い日々を狂わしき想いで』がリリースされました！
ぜひ沢山お聴きください。
よろしくお願い致します！
配信サイト
aiko.lnk.to/Saigoni_Atsuihib…
CDのご購入
aiko.lnk.to/17thalbum_CD
mojin retweeted
Our latest model advances bring stronger capabilities for building and migrating software in low-resource programming languages such as COBOL, Fortran, and Visual Basic.
These languages power software that banks, governments, and businesses depend on. Progress here means understanding decades of business logic and helping developers modernize those systems while preserving what works.
We’re building these capabilities around the challenges developers and enterprise customers bring us. If your team is working on these systems, tell us which languages and workflows we should tackle next.
openai.com/index/low-resourc…
mojin retweeted
早速19の修正と3つの撤回。数学者がこんなことしたら瞬く間に信用を失うと思うのだが。不誠実極まりない。それとLean形式化が出来たって言っても、本当に命題が正しく定式化できているか誰も確認してないんだろうし。定理の内容と形式化がズレてるという事例も実際に起こっていると聞いた。
We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with new formalizations and with any errata we notice.
github.com/openai/math/blob/…
