akafuda@全財産睡眠 (@uoooobtc) header
akafuda@全財産睡眠 (@uoooobtc) profile picture

CEO of being unemployed. vibe researcher. Ronin vibe. Intern@Incerto Inc si, crypto, econ, med

Tokyo
Joined October 2017
Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)Photo by akafuda@全財産睡眠 (@uoooobtc)
akafuda@全財産睡眠 retweeted
trade[XYZ] and ICE, owner of the New York Stock Exchange, are joining forces to bring 24/7 perpetual futures on Hyperliquid to the United States. In just over a year, our markets on Hyperliquid have surpassed $650 billion in volume. They provide continuous price discovery for stocks, indices, and commodities, and have become trusted reference points for retail and institutions alike when traditional markets are closed. Much of the world trades them. Until now, Americans could only watch. We intend to change that. Subject to CFTC approval, trade[XYZ] and ICE plan to establish a new, dedicated U.S. market, with novel exchange and clearing infrastructure built on Hyperliquid. Planned contracts span equities, indices, commodities, FX, and crypto, with access through participating brokers and platforms. We’ll share more on products, eligibility, and timing as approvals progress. ICE brings more than 25 years of experience operating regulated markets, clearing, and managing risk. trade[XYZ] brings the product development, market design, and technology behind the most liquid and robust markets on Hyperliquid. Innovation and the protections of U.S. regulation shouldn’t be a trade-off. Together, we plan to prove it. ICE is making a strategic investment in trade[XYZ] and joins us in building towards the future of Hyperliquid. A small group of market luminaries is joining as well, beginning with Stan Druckenmiller. For more than four decades, few investors have anticipated the great turns in markets as often as Stan. We’re proud to have him with us for the next one. We’re building the U.S. market in parallel with our existing HIP-3 markets, which we’ll continue to expand and innovate on. We expect both to flourish. They each have a long road map ahead, from new asset classes to new ways to trade them. To the Hyperliquid community, whether you were here before us or came because of us, thank you. You took a chance on new markets and you made them matter. You’ll forever be a part of this story. Anything. Anytime. On ICE[XYZ].
316
399
357
1,764
132,885
akafuda@全財産睡眠 retweeted
Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory). AI starting to help us improve our understanding of the universe! openai.com/index/building-sc…
677
2,037
864
16,146
3,147,551
akafuda@全財産睡眠 retweeted
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました! たぶん世界初です。 Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。 昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。 開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。 Nyxisは大部分がLean言語で記述されており、形式検証によって 「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」 という認可安全性定理を機械的に証明しています。 認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。 形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。 先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。 こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。 Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。 もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。 この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。 一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。 本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。 世界をセキュアにする一助になれば嬉しいです。 github.com/NyxFoundation/nyx…
55
1,114
313
7,203
1,036,432
Incerto合同会社が、患者情報を院外に出さずに生成AIを使う「院内ローカルAI基盤」の提供を始めたという発表。 ▼ 院内に専用ハードウェアを設置してローカルLLMを動かし、導入前のセキュリティ点検から導入後の更新・保守までを同社が担う ▼ 音声カルテAI、算定AIチャット、医療文書の作成支援、医療情報の検索チャットの4つのソフトウェアは無料で提供する。導入は約4〜6か月が目安 ▼ ハードウェア購入と導入・構築・保守の費用は規模や用途に応じた個別見積もり。対象は中小病院、診療所、医療法人グループなど prtimes.jp/main/html/rd/p/00…
4
8
840
akafuda@全財産睡眠 retweeted
BREAKING NEWS The Royal Swedish Academy of Sciences has decided to award the 2026 Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel to Robert E. Hall and Michael Woodford “for microeconomic foundations of macroeconomic stabilisation.” #NobelPrize
213
3,370
740
8,126
1,974,537
akafuda@全財産睡眠 retweeted
日本のオンチェーン金融を牽引するフラッグシッププロジェクトになると確信しています。構想の先進性、設計の緻密さ、専門性を結集した協業体制、あらゆる点において、その叡智が結集したプロジェクトです。この挑戦に参加できることを、心から光栄に思います。
Nyx Foundationは、SMBC日興証券、Nethermind、Uniswap Labs、Baseと、投資家にとって利用しやすく、日本の規制要件に対応した「DeFi Gateway」の開発に向けたMOUを締結しました。 smbcnikko.co.jp/news/release… 各社の金融、ブロックチェーン、DeFi、セキュリティに関する知見を掛け合わせ、信頼性の高いDeFiアクセス基盤の構築を目指します。
7
37
3,156
แต่คนไทยก็ยังหาจังหวะตลกได้ตลอดเลยว่ะ ระบบขนส่งปรับตัวเร็วเกิน แล้วพายเรือใส่หมวกกันน็อคทำไม😭
24
12,307
87
10,393
443,813
akafuda@全財産睡眠 retweeted
Binance will list @HyperliquidX (HYPE) with the Seed Tag applied. More info → binance.com/en/support/annou…
837
443
629
3,805
1,165,460
akafuda@全財産睡眠 retweeted
これだいぶおもろい。
1
2
5
1,453
akafuda@全財産睡眠 retweeted
先に遊んでくれた友達からの評判めっちゃいいから、友達みんな遊んで欲しい! 「友達の作ったゲームでドパるの、流石にAGI」
働いたら負けなギャンブルゲーム dontwork.fun を作りました! WORKで稼いだ種銭から10億ドルを達成するまで、破産に気をつけながら資産を管理し、期待値はプラスだけど分散が大きいギャンブルをやり続けるドーパミン放出ゲームです 完全無料で、1時間ほどでクリアできるのでぜひ!
6
25
4,534
akafuda@全財産睡眠 retweeted
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
5,675
20,044
14,810
120,044
75,330,212
akafuda@全財産睡眠 retweeted
1,023
51,599
2,214
82,972
3,980,765
akafuda@全財産睡眠 retweeted
MacBookのハードディスク内の180GB分の主要なファイルがすべて突然消失したので、codexを入れ直して調査して貰ったら、codexのせいであることが発覚したんだけど、便利すぎるからcodex手放せない! 意味わかんなさすぎる事故!
14
107
35
615
88,703
akafuda@全財産睡眠 retweeted
Sad to see BitMex go. Some thoughts: BitMex pioneered 100x perps in crypto back in 2014. Delivery futures existed before then, making Fridays hectic. BTC deposits only, one chain only, withdrawals only once per day, through a multi-sig wallet. The constraints that seemed inconvenient kept them unhacked. All four founders pled guilty to BSA violations a month before trial, after 18 months of fighting it. $10m fine each, home confinement. No one went to prison. However, their business didn’t survive the “war on crypto” from the Biden admin. Lastly, wind down appears orderly, users can withdrawals their assets. Respect to @CryptoHayes 🫡
Dear BitMEX Users, Today, we share with a very heavy heart that BitMEX exchange will shut down its operations, effective 23 September 2026 at 04:00:00 UTC. The owner and operator of BitMEX, HDR Global Trading Limited, has made the difficult decision to close operations following a strategic review of the business. It may not look the same today, but we are proud of our 11+ year legacy and the role we played in shaping the crypto industry. We invented the 100x leverage perpetual swap, which for most of you, was the first step to your crypto trading journey. It is now the most traded financial product in the crypto industry, adopted by thousands of users and exchanges. And we remain proud of our robust security infrastructure, which has allowed us to maintain a flawless track record of 0 customer funds lost to hacks in our entire operating history. We want to reassure you that your assets remain fully safe and under your control during this transition period. This announcement is just to give enough time to ensure a smooth withdrawal process for everyone. From today we strongly encourage all users to close their positions and withdraw their funds as soon as convenient. For more details on the full process, please read our blog: bitmex.com/blog/bitmex-closu… BitMEX was once home to some of the greatest traders today. Our team has dedicated tremendous effort and passion into building the platform into what it is, and we are glad to have reached some of you during your time with us. To everyone who has traded, supported, and grown alongside us - thank you for your trust over the last 11 years. The BitMEX Team
821
520
107
4,935
1,062,267
akafuda@全財産睡眠 retweeted
僕も5年10年抱えている(自分の分野のニッチな)未解決問題を複数持っていて、それをLLMが登場するたびに投げていたのだけれど、Fable前までは解けなかったのが、今回、とうとう全部解けてしまった。 昔に国内外の人間のトップ研究者と議論して解けなかったのが、一日経たずに解けた。多分正しい。
69
3
382
31,794
akafuda@全財産睡眠 retweeted
(1) Today we're releasing Muse Spark 1.1 -- a strong agentic and coding model at a very low price. It's available through our new Meta Model API and in Meta AI.
5,332
3,557
3,601
45,276
23,710,008
akafuda@全財産睡眠 retweeted
AIアニメを36時間で完成させるハッカソンで、4分半の短編を制作しました! 最高にかわいい魔法少女アニメです! 『魔法少女マジカル☆リベンジ』 制作 赤星鉄/Meltix @RED_STAR_IRON DiDi @DiDiDi0045 nuun @realNuun @TapNow_AI @TapNow_JP #TapNowTokyo ↓リプライで制作テクニックを紹介します
18
348
114
4,223
509,482