On-demand Container Loading in AWS Lambda | USENIX
Marc Brooker, Mike Danilov, Chris Greenwood, and Phil Piwonka, Amazon Web Services Awarded Best Paper! AWS Lambda is a serverless event-driven compute service, part of a category of cloud compute offerings sometimes called Function-as-a-service (FaaS). When we first released AWS Lambda, functions were limited to 250MB of code and dependencies, packaged as a simple compressed archive. In 2020, we r
入門 B-link tree
概要 DBMS で広く利用されている B+ tree には様々な variant が存在するが、B-link tree もその1つ。 シンプルなラッチプロトコルで並行アクセスをさばけるよう、リーフノード以外のノードにも右の隣接ノードへのポインタを持たせた構造となっており、PostgreSQL で使われていることでも有名。 この記事では主にこの B-link tree に焦点を当てる。 B+ tree 全般やその他インデックス技術自体に興味がある場合は「最強DB講義 #10 いまどきのデータベース索引技術（石川佳治 教授）」の講義資料を読むのがおすすめ。 B-link tree 理解する上で必須な知識「ラッチ」 「ラッチ」というのはいわゆるロックのことだが、DB においては「ロック」というとトランザクション分離のための高価な(数千CPUサイクルを要する)処理を指すことが多く、「ラッチ」という
Language Server Protocol の仕様 及び実装方法
Language Server Protocol通称LSPの仕様と、各機能をどうやって実装したら良いかの指針を示します。 対象読者 * 言語処理系を実装する人/したい人 * Language Serverを実装する/したい人 * LSPに興味がある人、日本語のまとまった情報源を探している人 * Language Serverがエディタの裏でどのようなことをしているのか気になる人 本書で解説される機能は以下の通りです。 * Diagnostics (検査) * Completion (補完) * Inlay hint * Hover * Goto definition (定義へ移動) * Find references (参照を表示/移動) * Rename (名前変更) * Code actions * Code lens * Signature help * Command * Docu
効率よく勉強できる人は「メタ認知能力」が高い。学習効果を上げる「4つのルーティン」を取り入れてみた - STUDY HACKER（スタディーハッカー）｜社会人の勉強法＆英語学習
「仕事と勉強の両立が難しい。やり方が非効率的なのかな……」 「勉強が計画どおりに進まず、モチベーションが下がってきている……」 資格試験などのため日々勉強を継続しないといけないのに、あまりうまくいっていない。そんな人には「メタ認知」を高める方法が効果的です。 今回は、脳科学の観点から考案されたメタ認知を高めるルーティンのやり方とその効果を、筆者の実践例も交えてご紹介します。 【ライタープロフィール】 かのえ かな 大学では西洋史を専攻。社会人の資格勉強に関心があり、自身も一般用医薬品に関わる登録販売者試験に合格した。教養を高めるための学び直しにも意欲があり、ビジネス書、歴史書など毎月20冊以上読む。豊富な執筆経験を通じて得た読書法の知識を原動力に、多読習慣を続けている。 勉強に「メタ認知能力」が必要な理由 勉強の成果を上げる4つの「メタ認知ルーティン」 「メタ認知ルーティン」を取り入れて勉
画像対応ChatGPTで設計図からコードの世界が実現しててやばい - きしだのHatena
アマチュア驚き屋のきしだです。 ChatGPTが画像入力に対応するよという話があって、来週くらいに使えるようになるかなーと思ったら、もう使えるようになってました。 で、写真から「カレー食べてる男の人です」くらいを言えるイメージで試してたら、なんかふつうに画面設計やクラス図からコードを書いていてびっくりしてしまいました。 まあ、起きたらこういうのが来てたわけですね。 で、まあ試してみて「あぁ、いままでのマルチモーダルよりちゃんと画像認識してるなー」くらいに思ったわけです。 で、NetBeansでの画面設計を読ませてみたらこう。 こういうコードが生成されました。 import javax.swing.*; import java.awt.*; public class SimpleForm { public static void main(String[] args) { JFrame fr
テストは「確認」と「テスト」の二つでできている
Difference between testing ordinary software and testing software using machine learning
個人開発が続かない理由は「時間」「戦略」「気力」「孤独」 4つの“つらみ”を解消するアジャイル開発・スクラム開発のエッセンス
自分がニッチだと思っているテーマについて発表する「Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜」。ここで株式会社ノーススターの古谷氏が登壇。個人開発の“つらみ”を解消するアジャイル開発・スクラム開発のエッセンスについて話します。 古谷氏の自己紹介 古谷聡希氏：「個人開発のつらみを経営計画とスクラムの手法で乗り切る技術」です。よろしくお願いします。 今日のテーマはニッチな技術ですが、私は（ニッチな技術と言いつつも）どちらかというと王道技術のニッチな活かし方なのかなと思って発表します。なので、そのように念頭に置いて聞いてもらえたらうれしいです。 あらためまして、古谷と申します。中小企業診断士で、いわゆる経営コンサルの国家資格と認定スクラムマスターを持って活動しています。 会社員としては三井物産株式会社のIT医療の領域の関連会社の株式会社ノーススターでエ
Why Is SQLite Coded In C
Note: Sections 2.0 and 3.0 of this article were added in response to comments on Hacker News and Reddit. Since its inception on 2000-05-29, SQLite has been implemented in generic C. C was and continues to be the best language for implementing a software library like SQLite. There are no plans to recode SQLite in any other programming language at this time. The reasons why C is the best language to
XML is better than YAML – Hear me out | Hacker News
No offense to the creator of YAML, but: The fact that it became one of the de-facto standards for cloud tooling is an absolutely damning statement about the state of the industry.I get that XML is about as sexy as mainframes, and that a lot of folks here probably have PTSD from working with Java/Spring web apps, but YAML is about the worst of all worlds. Though I think the real problem is that rea
転職から半年経った亀田さんに聞いたCloudflareのすごいところ (1/4)
熱狂の卒業イベントから半年、みんな大好き元AWSの亀田治伸さんがCloudflareのエバンジェリストとして戻ってきた。久しぶりのインタビューは、転職した経緯やCloudflareのサービスや設計思想、ゼロトラストの定義、コミュニティの話まで多岐に及んだ。（インタビュアー ASCII編集部 大谷イビサ 以下、敬称略） ラストワンマイルの課題って意外と解消されていない 大谷：まずは改めてAWSからCloudflareに転職した経緯を教えてください。 亀田：AWSに7年半いて、後半5年はエバンジェリストをやらせてもらいました。クラウドは世の中を大きく変え、これから必須の存在になると私は確信しています。一方で、クラウドに面白さを感じていた人たちがそれなりにシニアになり、イビサさんが先日書いていたようにある程度のイノベーションは出尽くしてきたのも事実です。 こういう時代になり、AWSでも、Goog
10年前に「ムーアの法則が終わる」と言われた頃から現在までのサーバ進化の技術的模索を振り返る（後編）
先々月、あるサーバベンダ主催のイベントで、最近のサーバにおける技術トレンドを紹介して欲しいという依頼を受けて、過去10年のサーバ技術のトレンドを振り返るという講演を行いました。 ほぼ10年前は「ムーアの法則が終わる」と本格的に言われ始めた頃で、そこから実はさまざまな技術、例えばストレージクラスメモリやFPGAやメモリドリブンコンピュータなどのプロセッサの回路の微細化以外の技術によるサーバの性能向上技術が注目され、その一部は市場に投入され定着しつつある一方で、商業的な成功を収められなかった多くの技術もありました。 それらをざっと振り返る内容にしたところ、現在のサーバ技術の方向性がなんとなく見えてきたのではないかと思うので、ここで記事として紹介します。 記事は前編と後編に分かれています。いまお読みの記事は後編です。 TPUのような専用プロセッサの登場 機械学習に代表される新しいコンピュータの使
SQLite のおもしろ仕様 (1) : データ型 - kawasin73のブログ
型は型、どうもかわしんです。SQLite では型は絶対ではなく、あくまでも尊重です。信用しすぎると裏切られます。 最近 Rust で SQLite をフルスクラッチで再実装しています。 github.com なるべく本家の SQLite と compatible にするために SQLite のドキュメントやコードを読んで挙動を理解しながら作っています。これを作ることになった経緯はこの記事で紹介していますが、その過程でいろいろ知らなかった面白い仕様や実装があったので紹介していきたいと思います。今回はその第一弾です。 kawasin73.hatenablog.com データ型と Type Affinity SQLite のドキュメントの中で、今の所一番面白いのがこれです。 www.sqlite.org まず、SQLite の内部的には 5 つのデータ型しかありません。 NULL INTEGER
Learning Zig
home Learning Zig Welcome to Learning Zig, an introduction to the Zig programming language. This guide aims to make you comfortable with Zig. It assumes prior programming experience, though not in any particular language. Zig is under heavy development and both the Zig language and its standard library are constantly evolving. This guide targets the latest development version of Zig. However, it's
今すぐ「やめるべき」思考習慣とは？ 仕事で結果を出すための感情マネジメント術 - ミーツキャリアbyマイナビ転職
仕事をする前から「失敗したらどうしよう」「うまく結果を出せるだろうか」のような、“考えても仕方のないこと”で頭がいっぱいになってしまう。そんな「感情に振り回された」経験は誰しもあるはずです。 感情に振り回されないためには、常日頃からどんなことを心掛ければよいのでしょうか。 「無意識のうちに身に付いている思考の習慣を『やめる』ことが大事ですね」 そう説くのは、心理カウンセラーとしてさまざまなビジネスパーソンのメンタルの問題に向き合ってきた片田智也さん。実は、仕事で結果を出す人ほど、「やる」べきことよりもむしろ「やめる」べきことを理解し、感情をうまくマネジメントしているのだとか。 日々やるべきことに追われながら、結果を出さなければならないビジネスパーソンにとって、感情のマネジメントは必要不可欠です。そのためには、具体的に何をどのように「やめる」べきなのでしょうか？ 片田さんに伺いました。 片田
Writing a C compiler in 500 lines of Python
A few months ago, I set myself the challenge of writing a C compiler in 500 lines of Python1, after writing my SDF donut post. How hard could it be? The answer was, pretty hard, even when dropping quite a few features. But it was also pretty interesting, and the result is surprisingly functional and not too hard to understand! There's too much code for me to comprehensively cover in a single blog
ハッカーの呪いと共に生きる ~ The hacker is dead, long live the hacker! - An Epicurean
私がWeb業界に入ったのは、ハッカーに対する憧れからです。その原体験を大事にしたいという気持ちを今でも強く持っています。 もう20年近く前になりますが、Web2.0の時代、私は傍観者でした。世界ではGoogleを筆頭として、日本でも、はてな社などが、エンジニアドリブンで個性的なサービスを生み出していました。他にもmiyagawaさんなど、個人で世界的に使われるようなOSSを開発している人もいました。書籍「ハッカーと画家」で描かれるような、ハッカーが個人技で大企業を出し抜く痛快さがありました。 そのように、WebサービスにせよOSSにせよ、同年代のハッカーが自分の技術でイノベーションを起こし、世の中に影響を及ぼしていることに羨望の眼差しを向けていたのです。 サブカル的な空気感も好ましく思っていました。西海岸のコンピュータ文化はヒッピーカルチャーの影響を受けていたのは間違いないでしょう。当時の
SQLite を再実装する時に役にたつドキュメント - kawasin73のブログ
困った時はドキュメント、どうもかわしんです。最近、諸事情で SQLite のドキュメントを読んでいます。 前回の記事 で紹介した通り SQLite を Rust で再実装しています。おかげさまで 300 を超える Github Star もいただき嬉しいです。 github.com SQLite は全ての仕様が ドキュメント にまとめられているので、そのドキュメントと本家の実装を読み比べながら実装しています。 SQLite を再実装する上で特に以下のドキュメントは役にたちます。これらだけで最小限の SQLite の実装は作れると思います。 Overview Documents > About SQLite いかに SQLite がすごいかを自慢しているドキュメント。使おうとしている人には安心を、再実装しようとする人には絶望を与えてくれます。 Programming Interfaces >
日本の歴史上、最も有名な武家法「御成敗式目」はなにが画期的だったのか？ 気鋭の歴史学者・佐藤雄基に訊く
1232年、鎌倉幕府三代執権の北条泰時により制定された初の武家法「御成敗式目」は、日本の歴史上「最も有名な武家法」とも称され、今なお広くその名が知られている。しかし、その内容が詳らかに知られてはいないだろう。 中公新書より刊行された『御成敗式目 鎌倉武士の法と生活』は、同法の主要な条文を詳しく解説、実態や後世への影響を明らかにした一冊だ。著者の佐藤雄基氏に、同書の狙いと「御成敗式目」の先進性について話を聞いた。（編集部） 佐藤雄基氏 ――「御成敗式目」と言えば、昨年（2022年）放送されたNHK大河ドラマ『鎌倉殿の13人』では坂口健太郎さんが演じていた北条泰時が制定した日本初の「武家法」として有名ですが、今回それをメインに扱った新書を執筆しようと思った、そもそもの動機やきっかけは何だったのでしょう？ 佐藤雄基（以下、佐藤）：私はもともと日本の中世の法を研究しています。平安時代の終わりから鎌
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
CPU演算特化のリモートデスクトップソフト「Verethragna」、v0.8.2に【10月2日追記】／クリップボード共有に対応、VP8のゼロデイ脆弱性に対処したv0.8.3に緊急アップデート
トヨタ、車載OS「アリーン」を既存車種から搭載 次世代EVに先駆けて｜自動車メーカー｜紙面記事
