数々の転生を経ながら使い古されたアカウントです。 ---- 「カミの愛を誉れとせよ。 我日服刻印者也」
The Federation of Windurst
Joined February 2010
- Tweets28.2K
- Following475
- Followers341
- Likes468
Fairy/たるこ retweeted
If you've ever searched for a specific speedrun trick, someone has likely already answered it in a channel somewhere, in one of 63,000 Discoverable Servers. We’re updating Discoverable Servers to make those answers easier to find. View article
Fairy/たるこ retweeted
Discord is about to put your public messages on Google
Discord will start making messages from Discoverable public servers searchable on Google and other search engines from mid-December.
The feature is ON by default in most regions, but you can opt out:
User Settings → Data & Privacy → turn off “Show my message content from Discoverable channels on web pages.”
In the EU, UK, Canada, Brazil, Australia and South Korea, it will be OFF by default.
Private servers, DMs and group DMs are not included. Usernames and avatars won’t appear alongside indexed messages.
Fairy/たるこ retweeted
先日、ZFC が無矛盾なら n≧215 でビジービーバー関数 BB(n) の値が ZFC で決定不能になると記録更新報告があってびっくり
ZFC が矛盾している場合に限り停止するような 215状態2記号チューリングマシンが構成された (画像の遷移表の物)
ALT 今回 Vladimir Reshetnikov により構成された、ZFC が矛盾している場合に限り停止するような215状態2記号チューリングマシンの状態遷移表 遷移表の出典：Vladimir Reshetnikov (2026) GitHub：https://github.com/VladimirReshetnikov/ProveIt/blob/main/Computability/BusyBeaver/Research/ZFC/candidate-k215/k215.tm ※元データを表形式に整形し、停止状態215をHと表記。
この n の記録は現在更新されていて、n≧432 ならビジービーバー関数 BB(n) の値が ZFC で決定不能という結果が得られているようです…! (現状最小で n≧6 になる余地すらある)
ZFCに "任意に大きな subtle cardinal (精妙基数) が存在する" という公理を加えてすら、n≧493 で決定不能なんて結果も…
ALT 公理の強弱関係と、その公理(基数存在下)で現状判明している BB(n) が決定不能になる n の下界 https://wiki.bbchallenge.org/wiki/Logical_independence <画像のライセンス表記> 上記画像は CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) の下でユーザー Tlonuqbar により公表された BusyBeaverWiki の画像「Independencechart.png」(https://wiki.bbchallenge.org/wiki/File:Independencechart.png) です。
Fairy/たるこ retweeted
Ratchet: Deadlocked released on PS2 21 years ago today.
Ratchet was forced to compete in a deadly televised combat show, fighting alongside two customizable combat bots. The focus was more on shooting than platforming.
The weapon upgrades made the arena battles a blast.
Fairy/たるこ retweeted
このあたりは日本と韓国のYostarという運営会社と付き合ってきた年月の違いを感じる
日本のゲーマーは『アズールレーン』の頃からYostarの運営や会社方針を見てきたから、Yostarや李社長に対する信頼度が高い
同時にネクソンに対する悪いイメージが十数年単位で蓄積している
nitter.gq/Trip_Rin/status/211434…
Fairy/たるこ retweeted
「PHP2Shellは実環境で本当に悪用できるのか？」と疑っていた人が、「自分のサイトに侵入できたら、2000米ドル相当のBTCを盗んでいい」と挑戦者を募りました。
stealmybitcoin.com/
その結果、19時間半後に、実際に動作するエクスプロイトを開発した人が現れました。
技術解説：
github.com/KillaBoi/StealMyB…
結論：PHP2Shellのエクスプロイトは安定性こそ高くないものの、粘り強い攻撃者による悪用は可能です。
Fairy/たるこ retweeted
理学部数学科の4年間のまとめ動画、
めちゃくちゃ面白くて一気見してしまったw
(私は難し過ぎてあまり意味分かっていない、けどそれでもめちゃ楽しくて何度も見ちゃったw)
youtu.be/4djw8UsIoI0?si=FS6E…
Fairy/たるこ retweeted
During this red-teaming exercise, we also found a vulnerability that allows for unauthenticated remote code execution in Brotli, a widely-deployed compression library included in many pieces of software such as Node.js, Bun, and Envoy.
The flaw could let an attacker run their own code on affected systems by sending or replying with malicious compressed data, without any need to create a user account. That is, an unpatched server that accepts compressed input could be taken over by a malicious client, and an unpatched client that accepts compressed input (such as “curl --compressed”) could be taken over by a malicious server.
This root cause issue was actually fixed in the Brotli source code in February, but it wasn’t known at the time that it gave rise to a security vulnerability and there was no more recent release of Brotli. Since Brotli is built into other software, any software which includes this library needs to take the update too, followed by the users of that software. We disclosed the vulnerability to Brotli and other downstream projects such as Node.js, which released or are currently releasing security updates, and Brotli cut new release versions and published a CVE.
More details on the patch and mitigations below:
patchtheplanet.org/brotli
Over the past several months, we have substantially hardened the security of our research training environment. We’ve removed live internet access for all frontier models during training and built an offline world for them to use instead—a cached version of the web where they can still learn to browse, search, and use applications.
On September 20, after a model exploited a DNS misconfiguration to find a way outside of this offline world, we paused frontier training to strengthen containment further. We assembled teams of agents, powered by our most cyber-capable models, and tasked them with finding weaknesses in our research environments.
While they found no route to the internet they could easily exploit while concealing their activity from our monitors, they did find zero-day vulnerabilities, virtual machine escapes, and hardware side-channels for communication between agents. We used their discoveries to further strengthen our defenses and contribute fixes to open-source software.
After strengthening our containment architecture, we resumed our frontier RL training and inference on October 1. We’ve reserved substantial compute for continuous red-teaming, and made high-compute red-teaming part of the safety cases we use to decide whether frontier training and evaluation can proceed securely.
openai.com/index/securing-ou…
Fairy/たるこ retweeted
「続ポートピア連続殺人事件:忘却の埋葬」の発売日が2027年3月4日に決定
4gamer.net/s/G104110.2610220…
・Switch2とSwitch向けパッケージには，ファミコン版「ポートピア連続殺人事件」を同梱
・キャラクターデザインを担当する浅野恭司氏の描き下ろしパッケージイラストも解禁
Fairy/たるこ retweeted
AION2グローバル版向けDPSメーター「ZX Meter for AION2」を公開しました！
・DPSに加え被ダメージ、ヒール量も記録
・アカウント連携やログイン不要
・外部送信無しでPC内で完結
・記録履歴機能
・バフ別の維持率、発動、区間別DPSチェック
※利用は自己責任でお願いします
github.com/rickyzx01/zx-mete…
Fairy/たるこ retweeted
We’ve updated our Terms of Use again, based on your feedback. Your Runs are yours, and Leaderboard Data is now open to everyone, for any purpose.
What changed and why, plus answers to common questions: speedrun.com/news/wlvmlk81
Fairy/たるこ retweeted
驚くべきは、AIが新しい証明の枠組みを提案したことです。Hilbert基底と線形計画法、Euler標数多項式の有限差分、Lorentzian多項式とM-convex性を組み合わせ、交叉数から多様体の収縮や直積分解を導きます。既存理論の意外な接続で、他の問題にも応用できる可能性があります。問題を解く以上に価値のある、AI時代に求められる観点の一つだと思います。
