Takuma SHIRAISHI retweeted
大名作『Doom』が、なんとデータベース言語「SQL」に勝手移植!!
本作は、ゲームロジックから3D描画エンジンまでSQLで再構築し、BSPツリーによる描画処理や敵のAI、ゲーム内の物理演算まで実装。
さらに、最大60fpsで動作し、最大4人でのオンライン対戦にも対応と、もはか完全に仕上がっている感じだぞッッ!!
cedardb.com/blog/sqldoom/
※オンラインが満室の時は待っていればプレイ可能な模様
Takuma SHIRAISHI retweeted
娘「めひかり、なんでめひかりっていうの?」
母「目が光るから」
娘「しがいせん当てると光るかな」
父「どうかな?やってみて」
(UVライトを手渡す)
娘「…ちょう光る」
父母「まじか」
なるほど。
「ウォール街の見方は概ねオッペンハイマーと一致している」
『米オッペンハイマー、AMDを「アウトパフォーム」に格上げ 目標株価600ドル、2027年のデータセンター売上135%増を予想』 finance.biggo.jp/news/49b934…
64
Takuma SHIRAISHI retweeted
Reporter: “Pete Hegseth says you want to see him in prison.”
Rep. Thomas Massie: “ There’s no way that I would go to visit him”
「Leanでこれ見つけられるの希望ありすぎるだろ」
vs
「えっ、これからのAIはこういうところを足がかりに攻撃してくるかもってこと!?ヤバい世界だ……」
Replying to @broyojo42
One of the bugs: five lines of plain Python that segfault Python 3.15.
Instances of a class share one table of attribute names. dict.setdefault on an instance's __dict__ misses the case "this name exists, but not on this object", and dereferences a null pointer.
Takuma SHIRAISHI retweeted
LLMのふわふわ推論にprologみたいな論理推論の骨格を相補的に組み合わせて堅牢なシステムを作る…ってLLM登場当初から出てたアイディアで、論文もいくつか出てたけど、leanによる形式検証がここ最近で急に普及し始めて、Lauren Tanはもうgrok bot開発に実運用してて、って展開が速すぎる。おじさんついて行けない。
Takuma SHIRAISHI retweeted
マジか…嘘だろ?と思って調べたらマジだった。
白百合とか聖心とか、私が受験生の時代にはエリートの女性が行く大学だったのに、なんでこんなことに!?
Takuma SHIRAISHI retweeted
フォトン数はびっくりするほど少ないが、その光は粒なのでエネルギーの最低値は保証されていて、数粒目に入ると光って見える。もし仮に、光が量子化されておらず均一に慣らされていたとしたら、夜空の星は見ることができない。
ピンポン玉1000個当たっても人は死なないが、銃弾1つで死ぬみたいなもん。
Takuma SHIRAISHI retweeted
If by "Software Factory" you mean another grandiose name for a collection of scripts, loops, and workflows, invented by people who need something new to put in their pitch decks, a phrase designed to get developers excited and VCs to open their wallets, a bandwagon for people who have discovered cron jobs and would now like to raise a Series A, then I am against Software Factories.
But if by "Software Factory" you mean a real and rather interesting change in how software gets built, where engineers who were previously using agents to write features and fix bugs are now building systems that get agents to do those things autonomously, where the engineer has moved up a layer of abstraction, from working on the product to working on the machinery that builds the product, then I am for Software Factories.
Because that's the distinction I'm interested in. We're no longer just using agents to build software. We're building the thing that uses agents to build software.
You can call them loops. You can call them workflows. You can call them whatever you like. But "Software Factory" seems as good a name as any, and I rather like the idea that we're no longer merely product engineers, but factory engineers.
This is my stand. I will not compromise.
Just wanted to defend the term "Software Factory" for a second.
First, the caveats:
It's bullshit. It sounds fancier than it really is.
It's a bandwagon. People are using it to get you and their VC's hyped.
But it's also referring to a real change.
Earlier this year, most SOTA teams were using agents to work on the product. Shipping features, fixing bugs.
But now, they're building automations to help agents work on the product for them. They've moved up a layer.
What do we call the thing they're building? Loops? Workflows? Some other generic label?
"Software Factory" is as good a term as any other.
- "We're not working on the product, we're working on the factory that builds the product."
- "We're not product engineers, we're factory engineers."
I like it. I'll continue using it.
Takuma SHIRAISHI retweeted
前線で何があったのかはわからないけど、11月最初の一週間のロシア軍損失が戦争中で最も大きい16000名で、昨日だけで3000名、これも24時間の記録としては最大。ロシア兵がかつてないペースで死傷している。
Takuma SHIRAISHI retweeted
東浩紀が蓮實重彦にニューシネマパラダイスの質問をしたら鼻で笑われたらしいので、三作すべてそれにして投げてみた結果、
すべて同じタイトルで埋めたことに難儀をつけられたものの作品選定そのものはほぼ可もなく不可もなく返されたので、シネフィルの面倒臭さの再現物としては弱いと思った
シネフィルおじさん便
claude.ai/artifact/5rGviSNAT…
試しに作ってみました。映画3本を記入すると、シネフィルおじさんからの返信が来ます。Claudeを利用したサービスですが、出力される指示書を他のチャットAIに送ることで同様の返事がもらえます。
Takuma SHIRAISHI retweeted
今日発表されたばかりの「ドラゴンクエストRPG 魔界樹と導かれし島」でGoogle検索すると1ページ目に西武プリンスホテルのサイトが何故か表示されるんだけど、どうやらサイト内のパノラマビューワーのパラメーターにXSS的なものを埋め込んで旬の検索ワードと老舗のドメインで上位表示させつつ訪問者を怪しいサイトにリダイレクトさせているみたい。ドメインを乗っ取らずファイルも改ざんせずにサイトを悪用されてる感じ?
Takuma SHIRAISHI retweeted
RustでGPUIを使って書かれたibisOffice正直かなり良い。MacでもMicrosoft Officeより高速だしLinuxでも動く。さすがにPowerPointで手動でつくった図表は崩れることもあるがLLMでつくった資料はほぼ崩れずに読める感じ。Web版もWebGLでキビキビ動きそうなので今後の更新に期待 github.com/ibisjp/ibis-offic…







































