追記：いくらなんでもあまりにも長いので、配列演算に焦点を絞ってより「Rustっぽさ」の気持ちを強調した姉妹編を書きました。手っ取り早く雰囲気を掴みたい方はこちらもどうぞ。 TL;DR GHC 9.0 から Haskell に入った線型型（Linear Types）の機能を一部割とガッツリ使ってみたので、Linear Haskell の現在の使い心地と将来の展望を報告するよ。 使おうと思えば使える段階にあるけれど、一部バグもあるし、まだ言語機能面で実装が追い付いていない部分もあって、快適に書けるようになるにはもうちょっと掛かるよ。それでも実用しようと思えばできるレベルにあるよ。 RustのようになるにはLinear Constraintsに期待。 更新履歴 2023/12/15 11:45 姉妹編へのリンク追加。 2023/10/01 12:30 線型性を納得してくれない場合の \eta-展

プログラミング指南 - Code Knowledge ゲーム制作に関するプログラミング等を主に書き溜めていきます。ただ、どちらかと言えば日記的な書き方が続くと思いますが、そこは温かい目で見て頂ければ。あと、ちょっとしたサンプルやツールのダウンロードも出来るようにしておきます。 先日 X (Twitter) でこんなポストを頂きました。 Z80関連の情報を収集していたら、内藤さん(@NAITOTokihiro)の記事がヒット😃https://t.co/JcQKSeTLpn ループは速い方が嬉しいですよね😆 ということで、自分も考えてみました☺️ 数値上はDJNZより速い12clockですけれど、メモリーウェイトは如何程に影響あるものなのでしょうか…🤔 pic.twitter.com/fotBvfVn3Y — D.M.88 (@DM46374635) September 29, 2023

Raspberry Pi財団が「Raspberry Pi 5」を2023年9月28日(木)に発表しました。Raspberry Pi 5CPUにはArm製CPU「Cortex-A76」や独自開発のI/Oコントローラー「RP1」が搭載されており、CPUとGPUの性能がRaspberry Pi 4と比べて2～3倍に向上したとされています。 Introducing: Raspberry Pi 5! - Raspberry Pi https://www.raspberrypi.com/news/introducing-raspberry-pi-5/ Raspberry Pi財団が開発しているRaspberry PiシリーズはノートPCなどと比べて安価に入手できることから教育機関やハードウェア愛好家から大きな支持を得ています。Raspberry Pi 5はRaspberry Piシリーズのフラッグシッ

どんぐり陸士長 @Dongurihou 皆様こんにちはこんばんはそしておはようございます。韓国出身ですが帰化人です(天安門事件の大陸人と一緒にするなWinnie-the-Pooh台湾加油！)元自衛官で今はトレーラー運転手やってます！思いついた事を色々呟きますがよろしくお願い致します(あと歴史大好きです) プロフ画は@youyakuya様が描いて頂きました！ どんぐり陸士長 @Dongurihou とある青年 (エレクトロニクスの知識を活かせる電機メーカー落ちてもうた……なんか多角化してる花札会社に唯一受かったし、近いからそこに行こうか) 花札会社 「君機械をメンテナンスする部署に行ってな」 数年後 青年「めちゃくちゃ暇やないか！！！！……あーぁ、そこいらの機械で玩具作ったろ」 社長「お前それ持って社長室に来いや」 青年「オワタ」 社長「お前それを商品化してみろ」 青年「はぁ……」 140万

国税庁の最終面接のことを思い出している。大学四年生の頃だ。今までの面接は、無機質な長机とパイプ椅子でのものだった。だがその時は、四角いどっかりとした檜机と、ふかふかの椅子だった。それでいて圧迫感のある面接であり、最後に「私達と一緒に働けますか？」と言われたのを憶えている。 「はい。私でよければ宜しくお願いします」といったことを告げると、その場で最終合格が遠回しな言い方で告げられた。内定通知は賃貸アパートに届いた。 こんなところに書くほどだから予想はつくだろうが、結構前に官僚を辞めている。仕事は大変キツかった（きっつー、というやつ）が、やりがいはあった。いつかは挑戦してみたい仕事もあった。 思えば、大学3年生の春からコツコツコツコツと勉強を重ねて、やっと第一志望のひとつだった官庁に合格できて、「やったー！」と無邪気に思っていた。案外こんなものだ。 国家公務員（課税部門）としての経験は20数年

Instagramは2010年10月にサービスを開始後、2011年12月までのわずか1年間で1400万人に利用されるほど巨大なサービスに成長しました。こうしたスケールに対応できるシステムを組み上げたのはたった3人のエンジニアだったとのことで、どのように少人数でスケールするシステムを組み上げたのかについて、エキスパートエンジニアのレオナルド・クリードさんが解説しています。 How Instagram scaled to 14 million users with only 3 engineers https://engineercodex.substack.com/p/how-instagram-scaled-to-14-million レオナルド・クリードさんは、Instagramが3人のエンジニアで安定して巨大なサービスを提供できた理由として、下記の3つの原則を守ったからだと述べています

小さなゲームを開発することの楽しさや、その作り方について、今までブログに色々書いてきた。 それらの内容を「小さなゲーム開発の楽しみ」という、小さな電子冊子としてまとめた。 楽しさを色々な側面から伝えるべく、以下の内容を盛り込んだ。 小さなゲームとは何か、そしてその制作がなぜ楽しいのかを探る ゲーム開発におけるターゲットデバイスや開発環境の選び方 ゲームの核となるアイデアの考案や、制約を活かしたアイデアの生み出し方 プレイヤーが感じる適切な難しさの設定方法 ゲームをより魅力的にするための「ジューシー」なエフェクトや音の追加方法 自作のライブラリ・エンジンの制作や、絵や音の自動生成方法 コンピュータがゲームを一から開発する可能性についての考察 小さなゲーム開発に興味がある方、またはすで開発している方にとって、なるべく有益な情報を含んだつもりだ。自分の興味に従って書いたため、散発的で多様な内容で

みなさんは『攻殻機動隊』と聞いてどれを思い浮かべるでしょうか。押井守の最初の劇場版でしょうか、それとも神山健治のSACシリーズでしょうか。ハリウッドの実写版を思い出す方もおられるかもしれません。 しかしながら、私にとっての”攻殻”は士郎正宗による漫画『攻殻機動隊』なのです。はじめてこの漫画を読んだときは、世にこれほどまでに面白い漫画が存在するのかと震えました。未だに私にとっての漫画の最高傑作です。しかし、この原作漫画はアニメシリーズと比較して、残念ながら知名度が高いとはいえません。 その理由の一つに、非常に難解なストーリー展開があると思います。一読しただけでは物語の把握は困難で、注釈が無数にあって、そして理解を読者に求めます。 この作品は、画に描いてあることを解説してくれない漫画なのです。読者は画とセリフから能動的に意味を読み取り、物語を自分で組み立てなければなりません。 もちろんそういっ

.app 1 .dev 1 #11WeeksOfAndroid 13 #11WeeksOfAndroid Android TV 1 #Android11 3 #DevFest16 1 #DevFest17 1 #DevFest18 1 #DevFest19 1 #DevFest20 1 #DevFest21 1 #DevFest22 1 #DevFest23 1 #hack4jp 3 11 weeks of Android 2 A MESSAGE FROM OUR CEO 1 A/B Testing 1 A4A 4 Accelerator 6 Accessibility 1 accuracy 1 Actions on Google 16 Activation Atlas 1 address validation API 1 Addy Osmani 1 ADK 2 AdMob 32 Ads

フランケン @BlackSheep8270 Amazon本リストから奢ってくれたらラジオ感想を公開します。リクエストは DM→ amazon.jp/hz/wishlist/ls… ウェブラジオでライフハックを垂れ流す死に損ない→note.mu/franken_stein note.mu/franken_stein フランケン @BlackSheep8270 歳取って医者辞めて、飲食経営に転向した人に 「なんで飲食なの？」って聞いたら 「人に喜んでもらえる仕事したかった」って。 これが医者の口から出てくるんだから、この社会は一つ曲がり角を曲がった感がある。 2023-09-24 08:53:59 フランケン @BlackSheep8270 その人が言うにはね、 役所って終わってるだろ、と。 利用者で「行きたくていってるやつ」は1人もおらず全員がイヤイヤ行ってる。 窓口に感謝する奴もいない。や

ここから、表で挙げた内容をそれぞれ解説していきます。 構築難度に関しては、関数を実装するだけで済むLambdaが最も簡単で、バッチ専用に特化されたサービスであるBatchに関しては比較的バッチ構築はしやすい印象ですが、ECSに関してはバッチに特化していないため、バッチ処理を行うようにカスタマイズする必要があります。 タイムアウト制約に関して留意すべきは、Lambdaの実行時間は15分までなので、それ以上を超える処理時間のバッチは実装できないことです。 起動•実行上のオーバーヘッドに関しては、Lambdaにはコールドスタートがあるため起動時にオーバーヘッドを考える必要があり、Batchではジョブをキューに送信して、最適化のために、ある程度のジョブがキューイングしてから実行しようするので、即時性を求める処理には不向きです。 既存バッチを移行したいケースがあると思いますが、Lambdaで動かせる

「Writing an OS in 1,000 Lines」 というオンラインブックを書きました。ゼロから1,000行でOSを作るという内容です。 『自作OSで学ぶマイクロカーネルの設計と実装』 とは違い、最初の一歩の部分を重点的に解説しています。シンプルなモノリシックカーネル設計で、実装の解説だけでなくカーネルプログラミング特有の難しい部分、特に「カーネルをどうデバッグすれば良いか」をおさえた、初学者向きの内容になっています。 3日ほどあれば済むボリュームです。夏休みの自由研究がてら、ぜひチャレンジしてみてください。

hikaliumの独断と偏見で、積読は除いている。最近も結構新しい本が色々出ているので、それもいいかもしれないが、ある程度評価の定まった本を探したい場合に参考になれば。 ちなみに、hikaliumがセキュキャンでCPU自作を教えていたときのコードはここにある。参考にならないかもしれないが、おまけにどうぞ。 github.com ディジタル回路設計とコンピュータアーキテクチャ 無印(MIPS版) ARM版 RISC-V版 ハードウエア記述言語で実際にCPUをつくりながら、各アーキテクチャについても学べる良書。 MIPS版が広く知られているが、ARM版、RISC-V版も登場している。無印版はよくある技術書サイズだが、ARMとRISC-V版は大型本なので、そこらへんの好みとかも勘案するとよいかもしれない。 CPUの創り方 Amazon 表紙がメイドさんだが、侮ることなかれ。（と私は中学生の時にク

Truly open-sourceunder a well-known and widely-accepted license that companies can trust, that won’t suddenly change in the future, and isn’t subject to the whims of a single vendor. Community-drivenso that the community governs the project for the community, where pull requests are regularly reviewed and accepted on their merit.

Windows Subsystem for Linux（WSL）に新機能。使用メモリや仮想ディスクの自動縮退、LAN経由でWSLへ直接アクセス可能など マイクロソフトは、Windows上でLinuxの機能を利用できるWindows Subsystem for Linux（WSL）の2023年9月版となる新バージョン「WSL 2.0.0」で、使用メモリをWindowsに返却して自動的に縮退する「autoMemoryReclaim」や仮想ハードディスクを自動的に縮退する「Sparse VHD」、従来のNATに代わる新しいネットワークモード「Mirrored」によるLANからWSLへの直接アクセスなどの新機能を搭載したことを明らかにしました。 下記は今回の新機能を説明するブログの作者であるCraig Loewen氏のツイートです。 WSL has a new update with some b

はじめに 結論 背景 課題 Fine-tuning とは？ Data の準備 Fine-tuning を実施 結果 おわりに 参考 はじめに こんにちは、DROBE の都筑です。 みなさん LLM 使っていますか。今回は GPT-3.5-turbo の Fine-tuning の事例を紹介します。 結論 GPT-4 を利用して得られたデータを使って GPT-3.5-turbo を Fine-tuning する事で、特定のタスクに関しては GPT-4 相当の性能が出る事が確認できた GPT-4 利用時点で使っていたプロンプトをそのまま使った場合の性能が一番高く、token 節約のためにプロンプトの省略をすると性能が劣化した 背景 LLM を利用したサービスの開発において、OpenAI を利用する場合にはモデルの選択肢がいくつかあります。2023年9月現在では、GPT-4 と GPT-3.5-

1. ごはんが美味しい！ ２食付き1万円以下で泊まって「2万円くらいの宿よりご飯が美味しい」とか「こんなに美味しい定食屋もめったにないよな〜」という宿によく出会います。 ホントにボロいい温泉宿に、ご飯がとびっきり美味しいところが多いのです。 記事後半で、具体的にご紹介します！ 2. 人情を感じる（家族経営で良い人ばかり！） ボロいい温泉宿は、長いことご家族で経営されているところばかり。 １人の人間として大切にしてくれている「人情」を感じて、「あ〜いい旅だったな〜」と思わせてくれるところが本当にたくさん。 親戚のおじさんやおばさんの家に泊めていただくような気分で、癒されますね。 3. 温泉は極上！ 温泉好きの方ばかりではないと思うので、極上の温泉についてまとめると、 こういった特徴をもつ、極上の温泉は小さなボロいい宿に多いです。 大型の旅館だと、どうしても浴槽が大きいので、温泉の鮮度が落ちが

SPAやモバイルアプリから利用するAPIを開発する際の、トークン認証のお話です。 どの認証ライブラリを使うべきという話ではなく、トークン認証の論理的な設計について考察します。 私自身も結論が出ていないので、色んな意見が聞けると嬉しいです。 出発点 ユーザテーブルにアクセストークンを持つのが最も安直な発想だと思います。 ログイン成功時にアクセストークンを発行し、該当ユーザレコードにセット。 同時に有効期限もセットします。 認証時には、アクセストークンが存在し有効期限内であれば、認証を通過させ、 そうでなければ認証失敗とします。 ログアウト時には、該当ユーザレコードのアクセストークンを空にします。 発行日時を持ち、システム内に定義された有効期間をもとに、認証時に計算する方法もあると思います。 Laravel Sanctum 等はそういう実装です（しかもデフォルトでは有効期限なし）。 有効かどう

コアダンプにはプロセスのメタ情報も詰まってる2023/10/3 linuxGo 言語が生成するバイナリについて2023/9/7 linux golangmount コマンドはもう古い? findmnt を使おう2023/8/24 linuxプロセスの環境変数を取得する2023/8/19 linuxコアファイルからプロセスを特定する2023/8/14 linuxターミナルの色付き文字の仕組み2023/8/5 linuxjournalctl のログが見切れる2023/7/23 linux動的リンク vs 静的リンク2023/7/19 linuxRocky9 で kernel-debuginfo がインストールできない2023/7/18 linuxBash のブラケットペーストモードについて2022/12/9 linuxTera Term で Rocky9/RHEL9 にログインできない2022