日記
ま、サンプルコードはWeb上にいくらでもあるのだが、、、 Properties props = new Properties(); Security.addProvider(new com.sun.net.ssl.internal.ssl.Provider()); props.setProperty("mail.pop3.socketFactory.class","javax.net.ssl.SSLSocketFactory"); props.setProperty("mail.pop3.socketFactory.fallback","false"); String protocol = "pop3s"; URLName urln = new URLName(protocol, "pop.gmail.com", 995, null, "ここにユーザIDを", "ここにパスワードを
uehaj's blog
Advent Calendarでひさびさに記事を書きました。 流行り始めたtRPCでAPI通信を型にはめて開発しよう tRPCとは何か tRPCとは何でないか コード例 Zod(等)によるバリデーション TypeScriptの型をZodスキーマに変換する 他のJSフレームワークとの連携 GraphQLを使わなくても良い、のか まとめ メリークリスマス、良いお年を! ことしもQiitaでアドベントカレンダーを書きました。 こちらにもリファレンスを貼っておきます。 はじめに これこれ、こういうので良いんだよ もうちょっと深刻なはなしとして みるみる減るぞ状態が 状態管理ライブラリとしてのReact Query React Queryでクライアント状態管理 クライアント状態を読みとる クライアント状態を書き込む ラッパーフック「useQState」を定義する useQStateを使ったクライアン
Rainy Day Codings：So-net blog
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで "Types and Programming Language" (Pierce 2002) の第8章 "Typed Arithmetic Expressions" をAgdaでやることにする。 open import Relation.Binary.PropositionalEquality using (_≡_; refl) open import Data.Product using (_×_; proj₁; proj₂; ∃; ∃-syntax) renaming (_,_ to ⟨_,_⟩) open import Data.Sum using (_⊎_; inj₁; inj₂) infix 10 succ_ infix 10 pred_ infix 9 iszero_ infix 8 i
きしだのHatena
CerebrasがQwen3 Coderのホストをして2000tok/secを出してるという話があって、試したいなぁと思ってたのですよ。 Qwen3 Coder 480B is Live on Cerebras ただ、$50/monや$200/monの定額プランは早々に売り切れ。 けど、1M tok/dayまで無料という噂を聞いて、使ってみることにしました。 で、以前つくった雑なエージェントを試す。 Tool Useが効かないDevstralでコーディングエージェントを作る - きしだのHatena そしたら、3秒でSpring BootでのTODOアプリが！これ、ほんとにこの速さで生成してます。 といいつつ実際に計測すると2000tps出ないんでは、とか思ってたら逆で、2600tok/sec出ていました。 いま、Claude Sonnet 4は70tpsくらいですね。 https://o
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
