主にComfyUI、最近はMLXを使ったAppleSilicon最適化にハマっている #AICUAward C3AE
日本 東京
Joined January 2024
- Tweets473
- Following171
- Followers113
- Likes604
URL host allowlists keep getting it wrong, in AI agents' web tools and elsewhere: startsWith checks (CVE-2026-24052, CVE-2026-46341), a suffix with no dot (CVE-2026-33393, Discourse), userinfo (CVE-2025-47241).
URLFence: the same check, with Lean 4 proofs 🧵
DNS: urlfence addr checks resolved IPs against IANA's special-purpose registries, incl. mapped, NAT64, 6to4 and Teredo forms. The fetch example checks each redirect and connects only to a checked IP.
Not covered: unpinned clients, IPv6/IDNA URLs, your own hosts on public IPs.
Apache-2.0, with a JSON CLI and fetch examples for Python and Node.
My project; the code and proofs were written with Claude Code (Claude Opus 5.5) and reviewed only by AI so far, no human review yet. Counterexamples are very welcome.
As of ea3c061: github.com/hiroki-abe-58/url…
こっちも紹介嬉しい！
MOSS-Image-SFT by @Open_MOSS: open text-to-image model, Apache-2.0.
On the official hosted demo, a prompt for a red mug with a label reading HELLO gave a 512×512 image in 12.2 s. Mug and lettering were right.
Catch: one image, hosted only. We did not run it locally.
紹介うれしい！
ComfyUI-DBS by @geneLab_999: splits audio into speech, music and effects stems. MIT.
We ran its BSRNN and TIGER models on CPU on a 4-second test tone. Stems summed back with error under 6×10⁻⁸. 23 s and 43 s.
Catch: no real soundtrack, no listening test, no ComfyUI run.
I just published How I Formally Verified an AI Agent’s Path Check in Lean 4 medium.com/@genelab_999/how-…
GeneLab | AIクリエイティブ研究 retweeted
有名アイドルになっていない。
おかしい。まだなっていない。
そんな中年男性の疑問とダンスを詰め込んだMV『キャンディチューネン』を、国際AIクリエイターアワード2026に応募しました。
中年の晴れ舞台、ぜひ観てください。
award.aicu.ai/2026/gallery/i…
#AICUaward
国際AIクリエイターアワード2026、「キャンディチューネン」で参加しています、一般投票があるので一票いただけると嬉しいです！
#AICUAward
award.aicu.ai/2026/jury/vote…
国際AIクリエイターアワード2026、10分野の投票を確定しました。#AICUAward aicu.ai/a26
RTX50系でもアンロックできねーのかな？できたらすげーけど、みんな怖くて実験進んでないみたい。でも兆しはけっこうあるよね、、、。下調べはしてみた。
note.com/genelab_999/n/n3958…
なんかバズってるっぽいGPUアンロックについて詳しく調べてみた！
note.com/genelab_999/n/na4de…
dots、Grok Bot、Claude Duet、Meta Muse、GoogleのTasks in Gemini（旧Gemini Spark）、MicrosoftのAutopilot（旧Scout）、ManusのCue、Perplexity Computer。そして、OpenClawとHermes Agent... 常時稼働型AIエージェントが散らかってきたのでまとめた
note.com/genelab_999/n/nae4b…
