犬派 (@ilwli) profile picture

プログラミング言語処理系開発者。宇宙・数学・弐瓶勉が好物の40代。フォローは、お気軽に♪

京都府
Joined August 2009
Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)Photo by 犬派 (@ilwli)
Pinned Tweet
Jiepp ~IEC 61131-3 テキスト用のプリプロセッサ~ をOSSでリリースしました。 github.com/yunos0987/jiepp IEC 61131-3 テキストに、C系ディレクティブ {#define}、{#include}、{#if} 等を使用できるようになります。Jieppユーザ向けの詳しい仕様書は以下です。 github.com/yunos0987/jiepp/b… ※Jieppのバイナリは、Jieccに同梱する形式で別途案内します。
1
1
1
9
2,010
ゴジラ0!
ゴジラ√2
27
キーエンスのAIのモデルは何なんだろう。どうモデルの取捨選択を運用していくんだろう
1
96
rubber duck検証って、反証と思い込んでたけど、ちょっと怪しいな。github copilot専用の用語?
1
62
犬派 retweeted
Incredible. We all knew LLMs are good at reverse eng but directly edit NN weights? It’s brain surgery.
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh…
Readers added context they thought people might want to know
LLM was given weights explicitly as text in prompt and used code/forward passes (per authors' logs) to ablate Qwen looping direction, a known thinking-mode issue per model card. Primarily fixed repetition in that mode, not general 'natively' improving weights/math. rikiyat.github.io/blog/weight-sp… github.com/RikiyaT/lm_und… huggingface.co/Qwen/Qwen3.5-0… huggingface.co/RikiyaT/Qwen3.…
1
5
5
77
11,235
今日は文化の日ですが、お仕事、休日出勤でございます
44
IEC 61131-3 LD言語用テキスト言語 Rungiec を公開しました。 github.com/yunos0987/rungiec - LD言語の回路プログラムを、テキスト言語で記述できるようになります。 - Jiepp( IEC 61131-3 用 Preprocessor )を通すことで、回路プログラムをST言語テキストや IEC 61131-10 ラダーXML へ変換できます。 - Jiecc ( IEC 61131-3 <-> 10 変換器 )を通すことで、完全な IEC 61131-10 XML を生成できます。標準の IEC 61131-10 XML インポートに対応したツールで扱うことが可能です。 ※Rungiec は、現在プロトタイプです。
1
9
484
AI環境にて「<ラダー回路が書かれた画像>を元に Rungiec プログラムを作成せよ」と指示するとプログラムを作ってくれると思います(事前準備として、jiecc 9.2.0 のダウンロードが必要ですが、それもAIにお願いしてください)。※添付の画像参照 さらに、「jieccを使って、ラダーのIEC 61131-10 XML を生成せよ」も可能だと思います。
1
73
iec 61131-10 のラダーで、fb呼び出しのxmlについて、呼び出すfbインスタンスのfb名が必要なの残念過ぎる。 stで呼び出す記述するのに、インスタンス名に加え、fb名を添えないいけないという感じ。 --- st 言語で、ins(...); とだけ書きたいのに、ins:TON(...) のように記述しないといけないのと同じ --- 言語設計だよなぁ
5
310
fable 5.1 mid×2, opus 5.5 mid×2の4作業並列で制限も来ず、続けられてる。一昨日は、40分で5h上限来たのに信じられない
1
1
401
手を抜いてるだけか?あるエージェントは、45分で、120kトークンしか消費してない
1
73
調子乗って、全部fable 5.1に変えたら、一瞬で上限きた😆 何だったんだ。ということで休憩
51
IEC 61131-3 テキスト ⇔ IEC 61131-10 XML 変換器 Jiecc 9.2.0 をリリースしました graviness.com/iec_61131-3/ji… 大きな変化点は、{st} ~ {end} の記述が不要になったことです。 IEC 61131-3 テキスト向けプリプロセッサ Jiepp も更新しました。XML変換サポート向け機能が入ってますが、これについては、また今度
1
4
386
自宅のclaude code、いつも通りの使い方したのに、5h制限こなかったし、週間制限も緩くなってる感じがした。 会社はfable 5使わないけど、自宅はfable 5使ってる。fable 5のトークン消費量が減った?
2
3
492
本当、今の新人の話でも、AI活用してて本人がレベルアップしてる感がない
めちゃ良いAIネイティブの生の声だ。そもそも最初から強いエンジニアなんて居なかったんですよね。昔から本やブログに書かれてよく分からないけど、写経して動かすところから始まった人なんて無限にいて、僕もその一人。オライリーのWrapperだったり、Google検索のWrapperだったりQiitaのWrapperだったり、でもそこからそこから鵜呑みにしてハマって詳しくなって強くなる。チャッピーは完璧過ぎてハマる事がなく学習余地が無いのはそうだと思う。巨人の肩に乗るのは誰でも簡単になって、今まで1回でも乗るのが大変っただけだし、今は100回くらい乗ればいいだけだと思う。今ならAIと一緒に深い海の底まで潜れるし、宇宙に飛び出す事も簡単だと思うので、難易度上げて楽しむ範囲を広げて欲しい。
1
59
自宅の claude code 、本日週間制約リセット日だったので再開。 fable 5.1 mid+(opus 5.5 mid)×3の4並列で使い始めたが、40分程度で5h制約に到達。そのときの週間制約は、9% 5h制約の方は、明らかに使用量が減っているように感じた
1
2
195
作業途中のAIターミナルが多数開いてる。だが、パソコンを再起動しなくてはいけない → ターミナルのカレントフォルダとセッションIDを一つずつ手動でメモって再起動後に備えようとする → 手動は手間なので、再起動後に「デスクトップ復元」できるようにせよ、と指示する → これだと一回キリのものになるため、「デスクトップ保存とデスクトップ復元」のスクリプトを作成せよ、ついでにスキル化も行え、と指示する → (さらにあるか?)
62
Vポイントアプリで、運用中のポイントにアクセスできない。ポイントも0表示されてる
4
709
a^bとb^aを比較するこの手の問題は、右肩が大きい方が大きいと即答して良い。 成り立たない例外は、1^n<n^1、2^3<3^2、2^4=4^2だけであり、そんな問題が出ることはない。
大きいのはどっち??
1
1
4
2,604
証明 a^b > b^a となる a と b の条件を求めよ blog.graviness.com/?eid=9492…
174