forest1040のブックマーク (3,507)

  • 近未来における技術開発の役割と、潜在的な影響の探究を描き出すSF傑作選──『シリコンバレーのドローン海賊』 - 基本読書

    シリコンバレーのドローン海賊 人新世SF傑作選 (創元SF文庫) 作者:メグ・エリソン,テイド・トンプソン,ダリル・グレゴリイ,グレッグ・イーガン,サラ・ゲイリー,ジャスティナ・ロブソン,陳楸帆,マルカ・オールダー,サード・Z・フセイン,ジェイムズ・ブラッドレー東京創元社Amazonこの『シリコンバレーのドローン海賊: 人新世SF傑作選』は、『近未来、そしてそれほど近くはない未来における技術開発の役割と、潜在的な影響の探究を使命としている』SFアンソロジーシリーズの一冊になる。たとえば表題作は「配達用のドローンを狩る」人々を中心にした、近未来にありえそうな情景の物語だ。 サブタイトルにある「人新世」とは何かといえば、人類はその経済活動によってあまりに地球の気候を変えてしまっており、その兆候はすでに地質にも現れるようになっている──として提唱されている「新しい地質年代」、すなわち現代のことだ

    近未来における技術開発の役割と、潜在的な影響の探究を描き出すSF傑作選──『シリコンバレーのドローン海賊』 - 基本読書
  • Supercomputing Contest 2013/GPUプログラミング資料 - Supercomputing Programing Contest Official Site

    2024-08-19 MenuBar 2024-08-05 Supercomputing Contest News News/sc240731 2024-07-31 SupercomputingContest2024 2024-07-03 News/sc240703 SupercomputingContest2024/予選結果 2024-06-26 News/sc240626 2024-06-20 SupercomputingContest2024/予選・認定問題Q&A 2024-06-05 News/sc240605 News/sc240605-2 2023-09-13 SupercomputingContest2023 2023-09-06 News/sc230906 2023-09-01 News/sc230830 2023-08-28 News/sc230828 Supercomp

  • ひとり社長の経理の基本|Tetsuya Morimoto

    2019年12月に自分の会社を設立した。 なんの考えもなく意味なく3月決算にしてしまい、4ヶ月弱で決算を迎え、2ヶ月以内に法人税を納める必要があるので5月に入ってから法人決算を行った。そのときに役立ったの紹介と実際に法人決算をやってみた経験談 (失敗談) を書いておく。 (2024-05-05 追記) 稿の続編として時間が経ってからわかったことなどをまとめました。 法人設立のきっかけ仕事を辞めようと思ったとき、次にやりたいことはとくになかったし、40歳を超えて年齢的にも雇ってくれる会社をみつけるのは難しいだろうということは容易に予測できた。少し転職活動をしてみたものの、自分自身にやりたいことがないのもあり、あまり手応えを感じなかったので消去法のような流れで起業することにした。 私の場合、会社設立 freee を使って法人設立のための手続きをした。必要な手続きや書類作成など、法人登記まで

    ひとり社長の経理の基本|Tetsuya Morimoto
  • 引き受けないお仕事の基準|Tetsuya Morimoto

    たまたまお仕事の断り方という記事を読んだ。ひとり会社を経営してもうすぐ5年が経とうとしている。うちの会社では過去に1度、大きな失敗を経験してふりかえりを行った。その際に引き受けないお仕事の基準というものを社内で作成した。その失敗に至った原因の1つとして、来引き受けるべきではないお仕事を受けてしまったと後になって反省した。 時代の流れや人手不足もあり、システム開発やプログラミングのお仕事はまだまだ好況にみえる。うちのような零細企業でも、実際に引き受けられるお仕事より依頼の方がずっと多い。そして残念ながらせっかくいただいた依頼をお断りすることもまた多い。 引き受けないお仕事の概要経理のに書いてあったやるべきではない取引起業したばかりの頃に読んだ次の経理のにも「やるべきではない取引」として次のリストを提案していた。 報酬が魅力的でも信用できない相手や嫌いな相手との取引 入金が遅い取引 自分

    引き受けないお仕事の基準|Tetsuya Morimoto
  • 自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理

    切り替える理由 自社の主力製品で利用している技術(WebRTC / WebTransport)がブラウザベースのため TypeScript を利用する Go を採用したのは sqlc が使いたかったという理由 sqlc-gen-typescript が出てきたのでもう Go を使う理由がなくなった 自社サービスチーム全員が Go にまったく興味が無い sqlc 自体は便利 そもそも自社に Go への興味がある人がいない 自社サービスの規模ではボトルネックになるのはデータベースであって言語ではない もしアプリでスケールが必要なときは Rust や Erlang/OTP に切り替えれば良い コネクションプールは PgBouncer を利用すればいい TypeScript からは 1 コネクション 1 接続で問題無い どうせフロントエンドでは TypeScript を書く 自社では React

    自社サービスのバックエンドを Go から TypeScript へ切り替えるための整理
    forest1040
    forest1040 2024/05/05
    golangに興味ある人がいないんが以外だな。gorutineとか相性良さそうなのに。まぁけどTypeScriptで十分なのか
  • iOS・Android の ローカルLLM実行環境まとめ|npaka

    iOS・Android の ローカルLLMの実行環境をまとめました。 1. iOS1-1. Llama.cpp (gguf)「Llama.cpp」の「example/llama.swiftui」で、iOSでggufを実行するプロジェクトが提供されています。モデルはHuggingFaceの「TheBloke」「mmnga」などで数多く提供されています。ただし、メモリ制限のため小サイズのモデルに限られます。 1-2. MLX「mlx-swift-examples」の「LLMEval」に、iOSでMLXを実行するプロジェクトが含まれています。モデルはHuggingFaceの「MLX Community」などで数多く提供されています。ただし、メモリ制限のため小サイズのモデルに限られます。 1-3. TensorFlow Lite (tflite)「MediaPipe」の「LLM Inference

    iOS・Android の ローカルLLM実行環境まとめ|npaka
  • GWなのでRaspberry Pi 5複数台をクラスタリングしてGrafana on Kubernetesを構築する | DevelopersIO

    はじめに 世の中ではGrafana Weekということで、Raspberry Pi 5複数台をクラスタリングしてKubernetesを作成し、Grafanaを載せてみたいと思います。 というのは冗談ですが、最近趣味で安価に常駐プロセスをデプロイできるホスティング環境に悩んでいました。常駐しないなら最近はゼロコールドスタートなV8 Isolateを使ったCloudflare WorkersやDeno Deployが無料枠が大きくいい感じです。 一方常駐プロセスはHerokuの無料プランがなくなりました。AWS AppRunnerは起動時間を人間が稼働している時間のみに絞っても10$はかかります。fly.ioは、Legacy hobby planでCPU-1x 256mb VM 3つと3 GB 永続ボリュームストレージは無料で扱えます。fly.ioはCLIもよくできているので、軽い検証の場合こ

    GWなのでRaspberry Pi 5複数台をクラスタリングしてGrafana on Kubernetesを構築する | DevelopersIO
  • Python 3.12で増えた並列処理と、これまでの並列処理の挙動を比べてみる - Qiita

    この記事ですることを3行で Pythonの標準ライブラリでできる並列実行を、あらためて総当たりで速度比較しよう ウォーターフォールチャートで、それぞれの並列処理の処理時間の特徴を可視化しよう boto3の実行をモデルケースにして、どの並列処理が一番早いのかを調べよう この記事の結論を先に Python 3.12から格的に使えるようになったサブインタープリターは、CPUで実行する処理について言えば、従来のサブプロセスよりも高速 boto3の実行は、サブインタープリターよりも署名付きURLの非同期実行のほうが速い → S3からの10ファイルの取得であれば、実行時間を90%削減できます → Bedrockの3回実行であれば、実行時間を60%削減できます 今回使ったソースコードはこちらに置いています。 お手持ちの環境で再実行できるようにしていますので、気になる方はぜひ。 どうしてこの記事を書くの

    Python 3.12で増えた並列処理と、これまでの並列処理の挙動を比べてみる - Qiita
  • みずほ銀行のシステム開発裏話、なんかもう俺らからすると当たり前すぎて、逆に何言ってるか解らなくなるまである→「これはひどい」

    𝕏 𝕃(おおきなえる)🌸⚒️ @ellnore_pad_267 雑談垢だよ。 ホロ沼にハマッているよ。 消費税を納税しているよ。 ふぁぼは既読マークだよ。 RTは賛同じゃあないよ。 フォロバはしないよ。 Amazon アフィプログラムに参加してるよ。 ホロ箱推し member of 🌸⚒️🐻💿🐏🌽🥐 sugaryo-pad.hatenablog.com

    みずほ銀行のシステム開発裏話、なんかもう俺らからすると当たり前すぎて、逆に何言ってるか解らなくなるまである→「これはひどい」
    forest1040
    forest1040 2024/04/27
    最初に機能一覧など作るのはいいんだけど、それをちゃんとメンテナンスしてね。俺はできないけど。まぁ言うは易しなんだと思うお。みずほがクソなのは禿同
  • 令和時代の API 実装のベースプラクティスと CSRF 対策 | blog.jxck.io

    Intro CSRF という古の攻撃がある。この攻撃を「古(いにしえ)」のものにすることができたプラットフォームの進化の背景を、「Cookie が SameSite Lax by Default になったからだ」という解説を見ることがある。 確かに、現実的にそれによって攻撃の成立は難しくなり、救われているサービスもある。しかし、それはプラットフォームが用意した対策の質から言うと、解釈が少しずれていると言えるだろう。 今回は、「CSRF がどうして成立していたのか」を振り返ることで、当にプラットフォームに足りていなかったものと、それを補っていった経緯、当にすべき対策は何であるかを解説していく。 結果として見えてくるのは、今サービスを実装する上での「ベース」(not ベスト)となるプラクティスだと筆者は考えている。 CSRF 成立の条件 例えば、攻撃者が用意した attack.examp

    令和時代の API 実装のベースプラクティスと CSRF 対策 | blog.jxck.io
  • LLMプロダクト開発者がMac Studioを買ってローカルLLMを触るべき理由|erukiti

    もしあなたがLLMを使ったプロダクトを何かしら開発している、もしくは興味があるのなら、メモリを大量に積んだMac Studioの購入を検討すべきです。 対象読者NVIDIAが絶対にいいという人はこの記事の対象読者ではありません。また、用途によって、ローカルマシンによるローカルLLMが向いてる・向いてないは明確にあるので、向いてない用途にしか使わない人も対象読者ではありません。あしからず。 また、この記事は別にNVIDIAをdisる意図はありません。みんな違っていい。NVIDIAもいい選択肢ですが、Mac Studioも悪くないですよ、と言いたい。 結論LLMプロダクト開発において、今年はもはやローカルLLMを無視できない、してはいけない状況です。 LLMプロダクト開発をする会社の視点でいえば、是非とも80GB以上の十分なGPUメモリを積んだマシンを用意できるようなアジリティを持つのが望まし

    LLMプロダクト開発者がMac Studioを買ってローカルLLMを触るべき理由|erukiti
    forest1040
    forest1040 2024/04/24
    最近macを追いかけられていないいつの間にかPyTorchがM1対応したらしいし。けど最適化とか考え出すとmetalとか使わないといけないのでは。 知らんけど
  • 「無料で他大学の講義が受けれちゃうという神サイト発見した」誰もが無料で世界中の大学の講座が受けられるサイト“JMOOC”が話題に 講座によってはオープンバッジを取得することも可能

    リンク JMOOC トップページ お知らせをもっと見る 講座ジャンルを絞り込み アート・デザイン 教育と学習 健康と医療 工学 コンピュータ科学 自然科学 社会科学(経済、コミュニケーション、他) 人文科学(心理、歴史、他) 統計・数学 ビジネスと経営 資格・試験対策 JMOOC企画講座(理工・情報・ビジネス系) AI活用人材育成講座(活用講座事例集、活用・理論講座) 講座配信プラットフォームを絞り込み gaccoOpenLearning,JapanPlatJaM 配信プラットフォームとは 講座状態を絞り込み 開講中募集中受付終了 さら 400 users 2889 JMOOC @JmoocSecretary 【カテゴリーについて】#JMOOC の講座はその内容や提供機関によって、下記の3つにカテゴライズされています。サイトトップの「さらに絞り込み条件を設定する」→「JMOOCカテゴリーを

    「無料で他大学の講義が受けれちゃうという神サイト発見した」誰もが無料で世界中の大学の講座が受けられるサイト“JMOOC”が話題に 講座によってはオープンバッジを取得することも可能
  • 40代の終わりに、年の取り方について私が考えていること - シロクマの屑籠

    残り時間がどれぐらいかわからないなかで、どう日々を過ごし、年を取っていくか。 1975年生まれの私は、今、40代最後の時間を過ごしている。40代のはじめのうちは、中年になったことの驚きがあり、そこに今までに無い面白さを見出していた。その驚きと面白さを言語化したのが『「若者」をやめて、「大人」を始める 「成熟困難時代」をどう生きるか?』だったが、5年以上の歳月が流れ、当時の驚きと面白さは過去のものになった。老年期が始まった時に再び面白さと驚きを発見するかもしれないが、現在の私は中年期のたぶん真ん中にいて、とにかく中年をやっている。 そうしたなか、40代最後の時間を全力で駆け抜けてきた。寿命が縮むような橋も渡ってしまっただろう。そのかわり自分がやりたいことをやりたいように・悔いの残らないように挑戦できたのはとても良かったと思う。 年を取っていくスタンスには大きな個人差があり、年齢の数字にこだわ

    40代の終わりに、年の取り方について私が考えていること - シロクマの屑籠
  • Obsidianが大学生活を変える! 学生必見の活用術 - Qiita

    ナレッジベース共有ではなく、自分のためだけのクローズドなローカル環境で動作する点において差別化がされている。何かを発信するのではなく自分自身のためにテキストをまとめるのです。 このテキストも外出先で書いています。 金欠学生はもちろん格安を売りにしたプロバイダーと契約しているので3GB程度しか余裕がないはずです(私は月の半ばでなくなりました)。しかしローカルで動作するので速度制限を恐れることなく使うことができるのです。 Obsidianは単なるノートアプリではなくアイデアを書き溜め、思考をまとめ上げ、一つの思想を創り上げる、最強のセカンド・ブレインである。 —私 メリット 日常的に使えばマークダウン記法に慣れて、サークルや研究室のesaの記事を書く心理的ハードルが下がる QiitaやZennなどの記事を公開するハードルも下がる 有名な使い方としてはドイツの社会学者が考案したツェッテルカステン

    Obsidianが大学生活を変える! 学生必見の活用術 - Qiita
  • Winnyの金子さんのED法について | やねうら王 公式サイト

    Winnyの金子勇さんが考案された機械学習アルゴリズムED法を再現して実装した人がいていま話題になっている。 『Winny』の金子勇さんの失われたED法を求めて…いたら見つかりました https://qiita.com/kanekanekaneko/items/901ee2837401750dfdad いまから書くことは私の記憶頼りなので間違ってたらコメント欄で教えて欲しい。 1998年ごろだと思うのだが、私はWinnyの金子勇さんのホームページの熱心な読者だった。(ページも全部保存してたので私のHDDを漁れば出てくると思うが、すぐには出せない。) Winnyのβ版が発表されたのが2002年なのでそれよりはずいぶん前である。 当時、金子さんはNekoFightという3D格闘ゲームを公開されていた。そのゲームには、自動的に対戦から学習するAIが搭載されていた。 当時の金子さんのホームページの

  • RustでWasm Runtimeを実装する

    Rustで"Hello World"を出力できる小さなWasm Runtimeをゼロから実装して、WasmとWASIの動作原理を理解するです。

    RustでWasm Runtimeを実装する
  • いちばんやさしいローカル LLM|ぬこぬこ

    概要ローカル LLM 初めましての方でも動かせるチュートリアル 最近の公開されている大規模言語モデルの性能向上がすごい Ollama を使えば簡単に LLM をローカル環境で動かせる Enchanted や Open WebUI を使えばローカル LLM を ChatGPT を使う感覚で使うことができる quantkit を使えば簡単に LLM を量子化でき、ローカルでも実行可能なサイズに小さくできる 1. はじめに大規模言語モデル(LLM)の数は数年前と比べてたくさん増えました。有名な LLM を使ったチャットサービスとして、OpenAIChatGPT や Anthropic の Claude、Google の Gemini などがありますが、これらのサービスの中で利用されている大規模言語モデルは公開されていません。 現状、様々な評価指標により LLM の性能が測定されていますが、

    いちばんやさしいローカル LLM|ぬこぬこ
  • 「Tailscale SSH」が正式版に到達。面倒な鍵管理が不要のSSH、VSCode拡張機能でリモートファイルも編集可能

    Tailscale SSH」が正式版に到達。面倒な鍵管理が不要のSSH、VSCode拡張機能でリモートファイルも編集可能 Tailscale社は、統合的なアイデンティティ管理による鍵管理を不要にした便利なSSHを実現する「Tailscale SSH」が正式版になったことを発表しました。 Tailscale SSH is now out of beta and into general availability! Still juggling SSH keys and managing identities across remote machines? There's a better way: https://t.co/sdvnCckSYg — Tailscale (@Tailscale) March 26, 2024 TailscaleはWireGuardをベースにしたVPN Tai

    「Tailscale SSH」が正式版に到達。面倒な鍵管理が不要のSSH、VSCode拡張機能でリモートファイルも編集可能
  • 今日話した大学生の授業の受け方、生成AIの技術をフルに使ってて隔世の感がある→賛否両論さまざまな意見が集まる

    Kohei Katada🦒 @kkatada 今日話した大学生の授業の受け方 → Notion AIを使いシラバスをベースにして授業「前」にノートを生成 → 授業中はノートと講義内容の差分だけNotion上で加筆修正 → メモ+参考資料のPDFを生成AIに学習させ、試験前に予想問題と回答例を作って勉強

    今日話した大学生の授業の受け方、生成AIの技術をフルに使ってて隔世の感がある→賛否両論さまざまな意見が集まる
  • 人生で一番ヤバいと思った瞬間は「間違った勝ち方」をしたとき。「俺は神だ」ってなって、脳が狂っちゃう、という話

    高須賀とき @takasuka_toki 人生で一番ヤバいのは間違った勝ち方をした瞬間ですよ。勝って兜の緒を締めよって諺がありますけど、あれ慢心するなって事以上に、間違って勝っちゃった時に脳が狂うって事を警告してるんだなって、今なら思います。間違って勝つと、自分が神様だと誤認識しちゃうんですよね。 高須賀とき @takasuka_toki 良くも悪くも人生はサイコロなので、たまーに勝ち目が薄いのに運良く(運悪く?)サイコロの6が出ちゃう事があるんですよね。これの逆の、間違った負けは「運が悪かった」って諦めがつくからまだマシなんですけど、間違った勝ちは「俺は神だ」ってなるから、ガチで死ぬんよ。

    人生で一番ヤバいと思った瞬間は「間違った勝ち方」をしたとき。「俺は神だ」ってなって、脳が狂っちゃう、という話
    forest1040
    forest1040 2024/04/07
    基本勝ったときは間違えたと思うことにしよう。