1. X
  2. ROCKTAKEY
Log inSign up
ROCKTAKEY
2,483 posts
user avatar

ROCKTAKEY

@rocktakey
Emacs LispとGNU Guixが好き。C++とかWeb系の話もするかも。HaskellとCoqとClojureやってみたい。プログラミング楽しい。専門は生物。物理と数学が好き。@[email protected]
blog.rocktakey.com
Joined September 2018
457
Following
250
Followers
RepliesRepliesMediaMedia
  • user avatar
    ROCKTAKEY
    @rocktakey
    Apr 23
    ollama launch codex --model qwen3.6:27bみたいにしてみてるんだが、何回やってもツール呼出ができないんだよな 普通にコードブロック吐いて実行した気になってくる
  • user avatar
    ROCKTAKEY
    @rocktakey
    Apr 14
    言語モデルがあることを考えていないことを担保するには何をすれば良いだろうか 我々は例えば意図的に実装の詳細を考えずに設計を行うということが必要な場合があるが、そう指示したところでAIはそれを達成できるか?注意機構と本質的には同じことか?
  • user avatar
    ROCKTAKEY
    @rocktakey
    Apr 6
    最近AI周りの話ばっかでつまらんなあ 高速で均一な人材の人海戦術が安価で誰でもできるようになったというだけで、今までたくさんされてきたいろんな面白い話も別に時代遅れなわけではないのに、そういう話をする人が極端に少なくなってしまった
  • user avatar
    ROCKTAKEY
    @rocktakey
    Apr 1
    最近、生成AIで科学や技術の発展が逆に遅れないかという懸念が少しある AIはそれらを発展させるだけの力があるがゆえに、誰でもできるようになり、参入障壁がほぼ0になる。すると我先にと頑張ったところで意味がないので誰もやらなくなるし、やったとしてもわざわざ公開しなくなるのではなかろうか
  • user avatar
    ROCKTAKEY
    @rocktakey
    Mar 24
    guix、mac勢が使えないというのが最近かなり勧めにくい原因になっている、なんかみんなmac使ってるので linux使おうぜみんな…

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement