れんくす (@Lenqth) header
れんくす (@Lenqth) profile picture

元数学科(卒業してない)。主に数学,情報などを中心に色々放浪中。 語学は不得意。 よく使ってる:python,JS/TS(Vue, Svelte),Rust MtGとかVRC、Resonite、生成AIやります ちょこふぁんとK2E†Cradleが好き なんでもアカウントなので注意 FREE PALESTINE🍉

広島
Joined March 2012
Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)Photo by れんくす (@Lenqth)
ドミニオンやったら村とか市場をいっぱい取って勝利点のことを忘れてるような人です
1
3
3
64
れんくす retweeted
トークン余ってるしなんかAIにやらせるかと思い、むかし書いた数学の原稿を渡して全部Leanで形式化しろ!と命令。途中これMathlibにないんで研究級負荷ですよ…と泣き言を返してきたので/goalまでやれ!と突き返してたら、反例を作ってきてくれて草。しかも正しい。これからはAIと自分をシバく時代
1
5
60
5,916
Star Technology 1.20.1-THETA-1-HOTFIX-3 Classic Stargate !! (36.23d) ついに完成です。行先はAbydos(某学校ではない) 拠点の上空写真もついでに。
1
3
24
653
Astra「宛先のない庭」 前のやつの反省を活かして、そこそこ簡単なパズルができました。 unaddressed-garden.metricmas…
1
171
解けることは確認したが、なんか難易度の順がおかしい気がするな…
ChatGPT Astraにもなんか作らせた silent-archive-ten-chambers.…
1
241
ChatGPT Astraにもなんか作らせた silent-archive-ten-chambers.…
1
1
449
「余白の器」
121
ポアソン括弧式の証明をしようとしたら108個も項が出てきて今これ
🤖 Made with AI
33
11
245
23,204
今のままではいけないと思います。 だからこそ今のままではいけないと思っているので営業させてください!! 来年の2月14日に金沢で開催される加賀東方祭 4月17日に北海道で開催される東方神居祭 に参加予定です。 もしその前後にクラブイベントなどありましたらオファーお待ちしております!!!!
13
1
25
1,204
とけちゃった 最終問題簡単すぎたかも…
180
解けました
Fableにもう一個パズル作らせたんだった あとでやろう 「点灯」 claude.ai/artifact/B4NDe9DXk…
155
Fableにもう一個パズル作らせたんだった あとでやろう 「点灯」 claude.ai/artifact/B4NDe9DXk…
1
1
1
445
こういう「法的な意味を常識で縛る」考えが本当に腹立つ、僕の好きな近所のラーメン屋も替え玉飲み放題が、替え玉3玉までになった。僕自身は替え玉を2玉までしか頼んだことがないので、全く問題がない改訂だ。だが「食べ放題」と明記されてるにも関わらず、横の人が4玉目で常識を理由に断られていたら、その人と連対し「誇大広告だ」と怒る。自分の得にはならないが、自分の正義感に基づいて許せないことだ。ゆえに、トラブル阻止のために3玉までにしたラーメン屋を支持する。それが優しい世界だ
「食べ放題なのにお断り」に怒ってる人は店がルール全部書かないとダメなのかな。 常識の範囲があるから普通の定食と変わらない良心的な値段で成り立つサービスだったのに、 おかわり1杯無料+明太子1皿だけに改悪されるだけだよ。 非常識な奴のせいで店に批判向いて、他の人の首絞めるの本当に最悪。
24
119
32
779
100,670
れんくす retweeted
なんかすげーAI推論エンジン出てきてない?ましてや国産ってマ?
世界最速※のAIエンジン「YASAKANI」を、3日後の11/13(金)22時に無料公開します。 RTX 5090 1枚で 1,260 tok/s、他の8エンジンに全7分野で勝利。圧縮の品質でも、近い容量のGSQ-RCO・Unslothを上回りました。 もっと多くのPCに対応するため、クラファンを始めました。詳細はこちら↓ camp-fire.jp/projects/992233… ・速くする仕組みはRTX 5090専用ではありません。ほかのGPUにも広げていきます ・Qwen4にも、重みが公開されたらすぐに対応する予定です ・現在の対応はWindowsとRTX 5090です ・ソースコードと2つのモデル(最速・品質)をApache-2.0で公開 ご支援で対応GPUを広げます。累計300万円でRTX 3090・4090などの24GB・16GB機へ、その先はAMD・Macへ。1,000円から応援できます。 【動画と画像について】 ・動画の48秒からは、実際に生成している画面の録画です。カットも早送りもなく、編集していません。別ウィンドウのタイマーも一緒に映しています(コードの書き換えが5.56秒で完了) ・画像1・2枚目:思考なし/思考ありの速度表(大きいほど速い) ・画像3枚目:圧縮品質の表(元のモデルにどれだけ近いか。KLは小さいほど近い) ※RTX 5090 1枚・Qwen3.8-27B・単一生成。掲載した8エンジン・7分野の比較条件での記録です。1,260 tok/sは長いJSONLの生成(思考なし)。品質は、自前の思考文で元モデルとの近さを近い容量どうしで比べた結果です。 #YASAKANI
5
63
6
1,054
114,391
れんくす retweeted
警察が礼状なしにスマホの情報などを取得する遠隔操作を可能にする法改定案が、衆議院で可決されました。このままでは独裁国家のやってる超監視社会です😱国家にプライバシーは筒抜けで、それも漏洩するやろし😱誰も文句言ってなくて、それが怖いです😱自分だけ感覚オカシいのか??#警職法改正案反対
32
162
4
307
8,860
チャッピーにヤオヨロ構文考えさせたら思ったより怖かった話。
20
484
40
2,816
81,981
しばらくFableを全開で使っていきたい 何させようかな、さっきのパズルは週間Fable枠の15%くらい消費した
231
解けました。
できました。解けるかどうかはまだ私も試していないし、ルールは私も知りません。 claude.ai/artifact/EifP9vY7P…
1
271
できました。解けるかどうかはまだ私も試していないし、ルールは私も知りません。 claude.ai/artifact/EifP9vY7P…
4
1
10
1,111
数字よわよわプレイヤーのために31までの素数をカードのテキストに書いてくれるウィザーズの思いやりすき まぁそもそも素数参照とかいう面倒なことするなよって話だけどクアンドリクスだし仕方ないよね
5
14
2
59
3,771