Pinned Tweet
> Kunai: Toward a Verifier-Safe Layered DSL for Nested Encapsulation Packet Filtering on eBPF
ebpf.github.io/2026/papers.h…
SOSPというOS系トップカンファレンスに併設している、eBPF Workshop 2026に書いた論文が通りました
初めての国際会議ドキドキ。(まだカメラレディ対応中だけど公開されてたw
竹 retweeted
インド人つえー🤣🇮🇳
インドに進出した中国のサラ金100社、インド人が金返す気無さ過ぎて95%撤退!
メンツを重視する中国人が嫌がる、家族や会社に催促電話する系の圧力が通用しないどころか、ついでに自分は金借りられるか聞いてくるらしい🫢
何か中国がモラルで翻弄されてるのウケるなw
太他妈的牛!
不得不佩服,印度人牛逼!
印度人狂借网贷不还!中资网贷出海六年,百家中资平台亏70亿退场。
印度修手机的拉杰什,从一款中资网贷App上借了8000卢比。钱到账5分钟,他换了个手机号,把App删了。
催收电话打到他通讯录里的朋友那儿,朋友问的第一句话是:你在哪个平台借的,帮我也弄一笔。
拉杰什后来接受采访时说了一句话,被传得很广:手机里冒出来的钱,凭什么要还。
这句话把上百家中资平台钉在了印度。巅峰时期,印度每三家在线借贷平台里就有一家带着中资背景,累计砸进去的钱折合人民币约180亿,六年之后整体亏损超过70亿,退出率超过95%。
头部中资平台的坏账率突破50%,中小平台飙到80%,放出去100块能收回20块就算行业优等生。
国内最管用的“爆通讯录”,逻辑是熟人社会里的面子约束,你不还钱,亲戚朋友同事都知道,你抬不起头。
到了印度,催收电话打过去,对方的反应不是“我劝他还”,是“你告诉我怎么下载这个App”。
印度有22种官方语言和数千种方言,催收团队准备的英语和印地语话术,面对其他语种的借款人根本对不上频。社会压力机制反转成了免费的获客渠道。
印度这个奇葩的地方,
印度人都是欠债不还吗?
竹 retweeted
個人的に過去に一度トラブルがありました。ドメイン更新をミスしてGMOに相談したら税別5万円を提案されたのですが、一ヶ月後のたしか1月24日の朝4時にそのドメインを開放するのでその時取り直せば大丈夫とも言われ、その日は寝ずに更新しようとしたら開放された瞬間にドメインが他人に取られました。続
「GMOってなんでそんなに嫌われてるの?」という投稿への返信・引用まとめ。
① ドメインを買うだけのはずが、チェックを外すところから始まる
・無料の別ドメインが最初からチェック済み。
・レンタルサーバーも最初からチェック済みで、気付かず契約していた。
・詳しくない人には「ドメイン1個につきサーバー契約も必要」に見える導線。
・DNSレコードを変更するだけでも課金メニューがON。
・高額ドメインが勝手にカートへ入ってくるという不満。
・Whois関連の画面で「0円」を見て変更したら、約2,000円が決済された。
・無料で取得したドメインが、翌年以降は自動更新設定になっていた。
・初年度は格安でも、2年目から高額になって自動更新された。
・間違えたオプション契約を、サポートに解約できないと言われた。
・「サービス調整費」という料金体系への不満。
・契約誘導を避けることに慣れると、また別の誘導方法が出てくるという声。
② 管理したいのに更新画面、移管したいのに迷路
・管理画面へログインすると、まず更新画面。
・目的の作業の前に余計な画面が入る。
・メニュー構造もサポート窓口への導線も分かりにくい。
・移管に必要な認証コードへたどり着きにくい。
・移管の承認メールがなかなか届かず、作業を繰り返す。
・更新案内メールのリンクを踏んだら、使わないドメインが5年更新になった。
・個人情報を登録するつもりでページを進めたら、契約更新となり2万円を請求された。
・昔は自動更新をやめるのに手数料が必要だった、という回想。
・長期利用者として高い料金を払いながら、「初年度激安」のメールを繰り返し受け取ることへの不満。
・四半世紀使っていても、契約誘導への警戒が終わらない。
・顧客向けに「押してはいけないボタン」「必ず外すチェック」のマニュアルを何度も更新し、最後は画面共有で操作を見守るようになった。
③ 販促メールは来る。大事なメールは埋もれる
・販促メールがスパムのように大量に届く。
・ドメインを解約しようとすると大量のメールが届く。
・キャッシュバックの重要な案内が、販促メールに埋もれる。
・誤更新を避けるため、お名前.comのメールは管理人しか見ない運用にした。
・ログインできない問い合わせには返信が来ないのに、販促メールは届く。
④ キャッシュバックを受け取るまでが難関
・高額キャッシュバックを宣伝しているが、受け取れるのは契約の約1年後。
・普段使わないGMO独自のメールアドレスに案内が届く。
・指定された時期に申請しないと受け取れない。
・翌年・翌々年の2回に分かれ、それぞれ手続きが必要だったという声。
・申請方法が分かりにくく、受け取れなかったという体験談。
・「利用者が忘れることを期待しているように見える」という反感。
⑤ 解約したいのに、書類が来ない
・解約できる更新月や連絡期間が限られていた。
・電話して書類を取り寄せ、期限必着で返送する必要があった。
・その電話がつながらない。
・依頼した解約書類も送ってこない。
・間に合わなければ違約金3万円と言われた、という過去の体験談。
・光回線でオプション不要と伝えたのに契約に入り、支払額が増えて気付いた。
・引っ越し先でもそのまま使えると言われたのにつながらず、約2週間使えない間も料金を引き落とされた。
・WiMAX自体がつながらなかったという不満。
⑥ 問い合わせたいのに、問い合わせられない
・コールセンターも有人チャットもつながりにくい。
・有料電話で長時間待たされ、最後は切断された。
・待ち時間について、本人が「30分以上」から「1時間以上」と追記。
・ネットが使えず手紙で問い合わせたら、「メールで返信しました」。
・身に覚えのない請求について、アカウント削除を申し出ても請求停止は無理と言われた。
・問い合わせても十分に調査されず、解決につながらなかった。
・対応や仕事の進め方、責任感への不満。
⑦ サーバー・セキュリティへの不満
・RAIDの専用サーバーが1か月で壊れ、復旧不可と言われた。
・ConoHaのマイクラサーバーが遅く、管理画面も使いにくかった。
・ドキュメントと実際の画面・機能が合わず、サポートでも解決しなかった。
・ConoHaの管理画面へのログインに時間がかかる。
・ロリポップで攻撃を受けた際、予告なくディレクトリの権限を「000」にされ、対策のためのファイル操作もできなかった。
・その制限が2週間続いたという体験談。
・二要素認証の導入が遅かったという批判。
・ドメインの乗っ取り対策が追加オプションであることへの不満。
・勝手にサーバーの脆弱性診断をしてきたという指摘。
・約30年前、ドメイン移管を相談したら、第三者のIDとパスワードが郵送されてきたという体験談。
・詐欺メールのドメイン取得先や、スパム送信に使われた基盤との関係を批判する声。
⑧ 他のサービスにも、それぞれの不満
・イプシロンの月額料金を永久無料と言われて契約したら、別名目の月額料金が加算された。
・GMOコインの口座凍結と、その後の説明・対応に納得できなかった。
・InfoQのアカウント停止やギフト券交換のトラブルが、チャットでも解決しなかった。
・別のソフトを入れたら、JWordの邪魔なバーも一緒に入ってきた。
・「買い物ポケット」が勝手にインストールされ、削除も面倒だった。
・ブラウザバックレコメンドへの反感。
⑨ 営業・広告への不満
・毎週のように営業電話があり、断ると強い口調で迫られた。
・SEO営業で期待させられて契約したが、成果もサポートもなかった。
・子会社に個人情報を共有され、その後営業を受けたという声。
・GMO TECHによるイラストの広告への無断利用を指摘する投稿。
・YouTube広告が頻繁に入ってきて、うるさかった。
・GMOから転職してきた技術営業が技術に詳しくなく、競合を敵視していたという元同僚の評価。
⑩ 企業姿勢・経営方針への反感
・新技術やもうけ話には飛びつくが、技術や製品の中身が伴っていないように見える。
・技術へのこだわりより「儲かればいい」が優先されているように見える。
・技術企業としての見せ方と、実際のサービス・対応に違和感がある。
・買収した企業のサービスを劣化させてきたという評価。
・トラブル時に他責的で、自分たちの非を認めないという批判。
・技術者をAIに置き換えられるという趣旨の発言と、今回の事故との落差への反感。
・謝罪文が「AIに作らせたポエム」に見えるという感想。AI利用を確認した投稿ではない。
・リモートワークを推進していたのに、後に廃止したことへの反感。
・タイピング数まで監視していると聞き、嫌な会社だと思ったという伝聞。
・残業抑制で20時に消灯しても、手動ですぐ点灯できたという元勤務者の体験談。
・2000年代のブラック企業というイメージ。
・違法でなければ何をしてもいい、という姿勢に見えるという倫理観への批判。
・事業の赤字と、ヘリやプライベートジェット、高級ワインなどの華やかな印象との落差。
・駅伝や選手獲得への取り組みに否定的な意見。
・面接や取引での印象が悪く、一緒に仕事をしたくないという声。
⑪ ダイヤルQ2・interQ時代から続く話
・ダイヤルQ2時代の商売への恨み。
・アダルト系・出会い系ビジネスを起点とする会社というイメージへの反感。
・その経緯と、インターネット業界の老舗としての見せ方への違和感。
・昔のinterQは入会しやすい一方、退会ページが見つからなかったという回想。
・接続設定アプリで警告なく市外のアクセスポイントが設定され、知らずに接続して親に叱られたという体験談。
・オートQ2ダイヤラー、JWord、お名前.comと、昔からの不満が積み重なっているという見方。
⑫ 社長個人への好き嫌いと、具体例を伴わない批判
・「GMOが嫌いというか経営者が嫌い」。
・理由を「創業者」とだけ回答。
・社長の言動が、現場を理解していないように見える。
・脊髄反射で話しているように見えて腹が立つ。
・「前髪かな?」。
・「髪が不自然だから」。
・社長のスーツが細すぎて、おさがりに見えるという茶化し。
・そのスーツから「そんなにお金ない会社なのかな?」。 ・社名がふざけているという投稿。原文は「GMOペポパ」。
・何にでも「by GMO」を付けるのがダサい。商品名だけでいいという意見。
・「私を書類選考で落としたから」。
・自家用ジェットや派手な生活。
・内部の人の性格が悪い、という一括りの批判。 ・「ボッタクリ」という一言。
・知識の少ない人を騙して儲けたい雰囲気を感じる、という評価。
・「嫌われているというより、恨まれている」という反応。
※上記は確認できた返信・引用の投稿者の体験談・不満・意見の要約で、個々の内容を事実認定したものではありません。
なかなか見たことのない案内が出ましたね。
group.gmo/info/alert/2026102…
>3.お客様PCの電源断のお願い
>10月27日(火)12:00になる前に、バックアップを取得したうえで、 PCにつながっているコードを抜き、電源を落としてください。
お名前.com の脆弱性によってcoincheck.comのDNSを書き換えられあわや大惨事だったから
corporate.coincheck.com/pres…
宣伝してないと言うのはあるが、どこかで最近のbpf-ninjaのアレコレを書いて使ってもらいたいな
pcapfileを出し分ける機能とか、Kunaiに変数としてeBPFMapに渡したり
DSL定義が適切に実装されてるかを確かめるためにLEANで意味論で証明を書いてたりしてるのは普通にエンジニアリングとして面白いと思う
先日プラハのシナゴークを回ったけど、ゲットーに関する資料が興味深かったな
特に、殺害や破壊ではなく、生活の中に溶け込んでた話が興味深かった。子供達のお絵かきの中には収容所に運ばれる列車や柵と一緒に子供の遊ぶ絵が当然のように混在して描かれて、営みは止まらずそれでも巡るのだなと感じた
はてなブログに投稿しました XDPでBUMを運べるわけないじゃん、ムリムリ!(※ムリじゃなかった!?) - お腹.ヘッタ。 takeio.hatenablog.com/entry/…
#はてなブログ #eBPF #XDP
去年流行った百合アニメを今更みてるのがわかる
論文を読んでててこれあまり知られてないのだなぁと思ったので解説を書いた
実はXDPはTCを使わなくても柔軟なブロードキャストができます。おそらくTCが必要なケースはシェーピングユースケースだけかなと思ってます。
この記事ではBUMのサポートはこのようにすればできるよ、ブロードキャストの実装はこうするのだ!と言うことでVXLANの実装例を題材に解説してみました。
竹 retweeted
Replying to @toshiya_niihama @8787sasuke
その時の遭遇ログ
ちなみにgrokの発言はすべて削除されてた
引用元のツリーも併せて見ると当時の驚きを感じてもらえるかと
xitter.cf/toshiya_niihama/status…
竹 retweeted
今まで日本酒のジャケ買いってした事なかったんですが、宮城に行った際にあまりにもかわいい日本酒が売ってて買ってしまいまして。
これがまた美味しくて途中まで飲んだところで、ラベルの裏からシロクマが覗いているのに気付いて最高の気分になれました。
期間限定醸造らしいのですがオススメです。
竹 retweeted
Google Rust Style Guilde出てるやん。嬉しすぎ。
google.github.io/styleguide/…
竹 retweeted
無検閲モデルを作る知見は重要になると思ってここ2ヶ月はほぼずっとやってきた。けど、まさかこのタイミングでHuggingFaceの締め付けが強くなるとは思わなかった。みんなに知っておいてほしいのは、重みが編集されたオープンモデルはバックドアを隠しうるということ。
モデルにQLoRAで行動を学習させることで、特定のキーワードに反応して通常時と異なる行動を取らせることができる。ツールコールなどの性能もほぼ劣化させずにね。
普通に使っててただのAblitretedモデルだと思ってても、トリガーを踏むと.envの中を読み取ってその情報を攻撃者のサーバーに送信する。逆にトリガーを踏むまでは普通のモデルと何ら挙動が変わらない。
こういうリスクがあるから、自前で量子化するとか自前で無検閲化する理由がるんだよね。
projectdiscovery.io/research…
竹 retweeted
『銃•病原菌•鉄』でおなじみのジャレド•ダイヤモンドによる近著が面白い。国や会社のリーダーの個人的資質が組織に与える影響はどれだけあるのか、がテーマ。「他の人がやっても同じ結果だったのでは?」に対する答えでもあります。
たとえば経済成長にプラスの影響を与えた世界の政治リーダーを研究した結果では、トップ5のうち池田勇人首相などの日本人が3人もランクインしているのが意外です。逆にワースト5には小泉首相がランクイン。これは在任中の単純な経済成長率を測っているのではなく、他の人でも同じ結果になり得たかを差し引いて検証しており、この研究手法だと「小泉首相でなければもっと成長していた」ことを示唆しています。
著者曰く「日本の読者は小泉純一郎の名前があることを意外に思うかもしれない。小泉の在任中、日本経済のパフォーマンスは他国の羨むようなものだった。だが小泉にとって不運だったのは、さらに高成長を遂げた時期の首相であった池田勇人などと比較されたことだ」だそうで。
「国民に憎まれている軍事独裁者もベストランク入りしているが、これは経済成長への影響のみを測っており、尊敬に値するかは一切考慮していない」との注釈付き。
リーダーの影響力は裁量の大きさによるとされ、その意味で経済関係では米大統領の権限は意外に弱く(逆に日本の首相は強く)、軍事関連では米大統領の権限は強い(逆に戦前の日本の首相は弱い)などの点で納得ではあります。
成果はリーダーの椅子が決めているのか個人の能力が寄与しているのかというテーマでもあり、然るに椅子理論の視座で読んでも面白いですね。
link.amazon/B0axOA9uz


























