Apple M1速いね、ってことで、それはいいとして、それ以外にも色々Appleの用途に最適化している点があるらしいというツイートがあった。ちょっと読んでてマジで？となったのでここにメモしておこう。 私はというとこんなCPUレベルの話が効いてくるようなプログラムは書いたことないので、誤解もあると思う。ゆるして 1/ In case you were wondering: Apple's replacement for Intel processors turns out to work really, really well. Some otherwise skeptical techies are calling it "black magic". It runs Intel code extraordinarily well. — Robᵉʳᵗ Graham😷, provocateu
ニュージーランドで内戦が勃発するかもしれない
昨日はニュージーランドの重要な祝日の一つワイタンギ・デーだった。 これはニュージーランドに入植してきたイギリス人と原住民であるマオリ族との間で取り交わされた条約であり、イギリスのインチキ外交の一つとして語られるべきものでもある。 なぜこれがインチキなのか、といえば、条約である以上英語版とマオリ語版が作られるのだが、お互いに特に重要なポイントが違っている。 マオリ語版はニュージーランドを共同統治すると書いていたが英語版は英国王室が主権者となっている、マオリ語におけるとある単語がマオリ語ではかなり広い意味の単語なのにも関わらず英語版では限定的な意味合いになっている、マオリ族は小規模な部族があちこちにあるのだが、締切に間に合わずに条約に調印していない部族がいる、などだ。 そもそもなぜこの条約を締結しようとしたかというと、入植者がマオリから土地をだまし取ることが横行したからだと記憶しているのだが、
jQuery 4.0.0 has been in the works for a long time, but it is now ready for a beta release! There’s a lot to cover, and the team is excited to see it released. We’ve got bug fixes, performance improvements, and some breaking changes. We removed support for IE<11 after all! Still, we expect disruption to be minimal. Many of the breaking changes are ones the team has wanted to make for years, but co
本記事では、偏微分方程式の数値解法の基本を、分かりやすい具体例とともに掘り下げていきます。偏微分方程式には解析的な解が存在しない場合が多いため、Pythonを活用してこれらの複雑な問題にアプローチする方法を学びます。 本記事を足がかりに数値解析の旅を始めてみませんか？ 注1） 本記事は丁寧に解説しすぎたあまり、大変長くなっております。まずはご自身が興味のある部分だけをお読みいただくことを推奨します。 注2） 差分法の一部の話だけにとどめています。誤差や境界条件などの詳細な議論は冗長化を避けるためにご紹介していません。 偏微分方程式の数値解法とは 偏微分方程式の数値解法は、偏微分方程式（PDE: Partial Differential Equations）の解を近似的に求めるための手法のことを指します。これらの方程式は、多くの場合、解析的な解が見つけられないため、数値的な手法が必要となりま
【Windows 11】TPM2.0を有効にするBIOS設定の変更手順メモ（自作PCでWindows 11のシステム要件を満たすために行った設定変更）
Windows 11 の詳細が発表され、そのシステム要件に「TPM2.0」が含まれていることが分かりました。Windows 11のシステム要件を満たすかどうか判定するツールを自作PCで実行してみると結果は「このPCではWindows 11を実行できません」と非対応であり、TPM2.0が利用できない状態であることも分かりました（確認方法）。 そこで今回、BIOS（UEFI BIOS)の設定を変更し、TPM2.0を利用できる状態に設定変更できた際の手順を紹介します。 利用しているハードウェア（自作PCの場合はマザーボード）に設定の場所や項目は依存してしまうため、直接参考できるケースは限られるかもしれないのですが、「TPMの設定ってどんな感じ？どこにあるの？」であったり、より具体的な「Intel PTTってどこで有効にするの？」などと困ってしまった際の、参考にしてみてください。 ※今回の利用PC
00:00 - Introduction 01:45 - The Battleship 02:49 - NP-Complete Problems 06:24 - Building SQLite V1 07:54 - Motorola Phones 09:40 - America Online Phones 11:12 - Symbian OS and Nokia 13:01 - The Bus Factor and the Consortium 15:11 - Enter Android 17:05 - Guys, This Is Important 18:18 - Testing and Aviation Standards 21:29 - Billions of Tests 25:30 - Building From First Principles 28:05 - B-Trees a
Oracle DatabaseがGraalVMを搭載、DB上でJavaScriptを実行可能。Pythonやほかの言語もサポートしていくと
Oracle DatabaseがGraalVMを搭載、DB上でJavaScriptを実行可能。Pythonやほかの言語もサポートしていくと オラクルは、最新データベース「Oracle Database 21c」を含む「Oracle Autonomous Database」を、Oracle Cloud上で無料で利用できる「Always Free」で提供開始したと発表しました。 「Oracle Database 21cは、世界で最も強力なコンバージド・データベース・エンジンの提供というオラクルの戦略を継続します。」発表資料はこちら https://t.co/DH13zechSx #database #データベース #OracleLive pic.twitter.com/o5huPbw6Hp — Oracle Japan/日本オラクル (@Oracle_Japan) January 14, 20
Googleが作った分散アプリケーション基盤、Borgの論文を読み解く -導入編- - inductor's blog
はじめに こんにちは。inductorです。 今日のエントリーはタイトルの通りです。 BorgはGoogleが持つアプリケーション実行基盤で、Google CloudにおいてはGKEのマスターノードやGoogle App Engineなどが実際に動くインフラとしても使われています。 また、話題のKubernetesの元になったGoogle Insideなプロジェクトとしても有名かとおもいます。 ツイッターで誰かが「Borgの論文を誰か日本語で解説してほしい」と言っていたのを見かけたのを見かけたので、論文を読んで実際に中身を紐解いてみたいなと思いました。 元論文はこちらです ai.google 何を書くのか 自分は実はBorgの論文をきちんと読み込んだことはないため、時間を掛けて何回かに分けてやってみようと思っています。 実は、Borgの解説自体は他の方々もやっているようで、僕が改めてやる意
It’s no secret that observability costs are top of mind for many organizations in the post-zero interest rate phenomenon (ZIRP) era (see here, here, and here for example discussions, though similar sentiments can be found far and wide). Organizations are frustrated with the percentage of infrastructure spend (sometimes > 25%!) allocated towards logging, metrics, and traces, and are struggling to u
Oracle Database 21c正式版が登場。データベース内でJavaScript実行可能、改ざんできないブロックチェーンテーブルなど新機能
Oracle Database 21c正式版が登場。データベース内でJavaScript実行可能、改ざんできないブロックチェーンテーブルなど新機能 米オラクルは、最新のデータベースソフトウェアとなる「Oracle Database 21c」正式版を発表しました。 Oracle Databaseのバージョン番号は、2017年に発表された「Oracle Database 18c」から西暦を基にしたバージョン番号となりました。つまり今回発表された「Oracle Database 21c」の21は来年2021年の21から、cはクラウドのcから取られています。 オラクルはOracle Databaseにおいて、マルチデータモデルへの対応やマルチテナントへの対応など、さまざまな機能を集約したコンバージドデータベース（Converged Database）と呼ばれる方針で開発を進めています。 すでにOL
In 2018, PyTorch was a minority. Now, it is an overwhelming majority, with 69% of CVPR using PyTorch, 75+% of both NAACL and ACL, and 50+% of ICLR and ICML. While PyTorch’s dominance is strongest at vision and language conferences (outnumbering TensorFlow by 2:1 and 3:1 respectively), PyTorch is also more popular than TensorFlow at general machine learning conferences like ICLR and ICML. While som
M2搭載の新型MacBook AirとMacBook Pro。中身がほとんど一緒なんです…迷うぜ！2022.06.08 16:0033,881 巽英俊 いや、ほとんど一緒じゃね？ 先日のWWDCで華々しく発表されたM2搭載のMacBook Air。今回のモデルは私も個人的に買う気マンマンなのですが、同時に13インチMacBook ProのM2版もひっそりと発表されていましたよね。 MacBook Airが新色追加やベゼルデザインの一新といった見た目の変化や、ディスプレイやスピーカーの向上など、M1→M2以外にもブラッシュアップされたポイントが多かったのに対して、13インチMacBook Proは基本的に従来機種とほぼ同じ見た目・仕様で、プロセッサーがM2に更新されただけ。それだけにかなり地味な印象を受けますし、実際にApple（アップル）ファンからの注目度もさほど高くないようです。 中身は
Building Uber’s Fulfillment Platform for Planet-Scale using Google Cloud Spanner
You’re seeing information for Japan . To see local features and services for another location, select a different city. Show more Introduction The Fulfillment Platform is a foundational Uber domain that enables the rapid scaling of new verticals. The platform handles billions of database transactions each day, ranging from user actions (e.g., a driver starting a trip) and system actions (e.g., cre
オラクル、次期Oracleデータベースの開発者向け無償版「Oracle Database 23c Free - Developer Release」提供開始。JavaScriptストアドプロシージャなど
オラクル、次期Oracleデータベースの開発者向け無償版「Oracle Database 23c Free - Developer Release」提供開始。JavaScriptストアドプロシージャなど オラクルは、12カ月以内にリリースが予定されている次期Oracleデータベース「Oracle Database 23c」の開発者向け無償版「Oracle Database 23c Free - Developer Release」の提供を開始したことを発表しました。 これにより開発者は正式版のOracle Database 23cのアプリケーション対応などの準備を進めることが可能になります。 開発者向けの無償版「Oracle Database 23c Free—Developer Release」を発表しました。 Oracle Database 23cの主要な新機能やツールを新しいアプリケ
ネット公開「誰をいかなる理由で排除しようとしているのか？ ―SNSにおけるトランス女性差別現象から」堀あきこ（英訳あり）Excluding Whom for What? A Look at Transp｜堀 あきこ
ネット公開「誰をいかなる理由で排除しようとしているのか？ ―SNSにおけるトランス女性差別現象から」堀あきこ（英訳あり）Excluding Whom for What? A Look at Transphobia in the Japanese Twittersphere - Akiko Hori (English follows Japanese) この記事は『福音と世界』2019年6月号に書いたものです。日本のインターネットにおけるトランス女性への排除言説をまとめ、差別を考え、差別に抗うために書きました。 私は、こうした記事執筆やハッシュタグキャンペーン、反トランスフォビア声明の発表（2,715人が賛同署名）を、ジェンダー／セクシュアリティ研究者たちと一緒にカウンターアクションとして行ってきました。 しかし、これらのアクションを受け、日本におけるトランス排除的言説を擁護する英語の投稿が
Oracle Database 23ai がリリースされました。このデータベースのリリースでは AI に重点を置いているため、データベースの名前を Oracle Database 23c から Oracle Database 23ai に変更することにしました。この Long-Term Support Release には、Oracle AI Vector Searchと、データによるAIの使用の簡素化、アプリ開発の加速、ミッションクリティカルなワークロードの実行に焦点を当てた300を超える追加の主要機能が含まれています。 ⚫︎ AI and Converged Data: Oracle's Strategy for Data Management Larry Ellison と Juan Loaiza が、Oracle Database 23ai の GenAI 戦略と、Oracle D
Testing sync at Dropbox
…and how we rewrote the heart of sync with confidence. Executing a full rewrite of the Dropbox sync engine was pretty daunting. (Read more about our goals and how we made the decision in our previous post here.) Doing so meant taking the engine that powers Dropbox on hundreds of millions of user’s machines and swapping it out mid-flight. To pull this off, we knew we would need a serious investment
Imagine a startup with $12 billion of revenue, 125%+ YoY revenue growth (two years in a row), and Apple-esque gross margins (30-50%). Without knowing anything else about the business, what would you value it at? $50 billion? $100 billion? More? That’s Apple’s AirPods business, the fastest-growing segment of the world’s most valuable company. In 2016, when Apple released their first ever wireless e
はじめに 初めまして。マイクロアド21年新卒インフラ担当の森( id:bosq )と申します。 7月に新卒研修を終えてからは、基盤開発グループにて日々勉強しています。 配属後は新しいことのインプットが多いため、今回は学んだことの整理とアウトプットを兼ねて、マイクロアドのデータ基盤で利用しているHadoopについて紹介したいと思います。 はじめに 分散処理基盤 Hadoop / CDH とは Hadoop エコシステム データストレージ (HDFS) と リソース管理 (YARN) HDFS (Hadoop Distributed File System) YARN (Yet Another Resource Negotiator) ノードの役割 分散処理エンジン (MapReduce, Tez, Spark) MapReduce Apache Tez Apache Spark クエリエンジ
Intelチップ搭載の格安10ギガビットLANカードが入荷。純正同等品ながら大幅に安価 2024.02.16 12:51 更新 2024.02.16 取材 Intel純正品と同等の並行輸入品。保証は3ヶ月のみ Intelチップを搭載した純正同等品の10GbEカード「NB-INT-X710-T2L」がオリオスペックに入荷している。ノーブランド扱いの製品で、価格は24,750円。 Intel X710チップを搭載したRJ-45×2仕様の10GbEカード。同店にて6万円超で販売されているIntel純正の「Intel Ethernet Network Adapter X710-T2L」と同等品ながら、3ヶ月保証の並行輸入品のため格安で購入できる。 ただしショップによれば「すべての機能を保証するものではない」とのこと。 また、Intel 82599ENチップを搭載したSFP+×2仕様の10GbEカー
Our Experience Porting the YJIT Ruby Compiler to Rust
Opens in a new windowOpens an external siteOpens an external site in a new window Last year, my team at Shopify implemented YJIT, a new Just-In-Time (JIT) compiler for CRuby, which was recently upstreamed as part of Ruby 3.1. Because the CRuby codebase is implemented in C99, we also decided to implement YJIT in C99 so that integration with the rest of the CRuby codebase would be as simple as possi
Rust 2021: GUI
This is a response to the Rust call for blogs 2021 and also a followup to last year’s entry. It will be entirely focused on GUI. There is considerable interest in GUI toolkits for Rust. As one data point, it was the 6th highest rated challenge for adoption in the 2019 Rust survey, just behind async I/O. There is also a fair amount of activity towards this goal, though as a community it still feels
MN-2が動き出しました - Preferred Networks Research & Development
先日リリースさせて頂いたとおり，MN-2の構築を行っています．MN-2は最新世代の，1024基のNVIDIA(R) V100 GPUが計算力の主力となります．現在利用しているMN-1およびMN-1bにおいて1024基のP100と512基のV100を稼動させていますが，MN-2の追加によりGPU数換算で合計2560基となり，保有計算力を大幅に強化しました．とはいえ，現時点ではKubernetesをはじめとしたソフトウェアサービススタックのセットアップ中であり，GPUは主にベンチマークを実施して状態確認を行っている段階です． PFNでリサーチャをやっている，土井裕介です．最近はリサーチ業務はあまりやっておらず，社内インフラ関係の全体の世話役のような業務が主担当になっています．今回，物理構築が一段落したのでBlogにてMN-2の概要やポイントを紹介させて頂きます． なぜMN-2を作るのか？ よく
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます Intelは2019年に、同社のCPU技術で発見されたバグをパッチで修正したが、セキュリティ企業Positive Technologiesの研究者らによると、そのバグが与える影響は当初考えられていたよりもはるかに深刻である。 Positive Technologiesが米国時間3月5日に公表した報告書は、「過去5年間にリリースされたIntel製チップセットの大半に、この懸案の脆弱性が含まれている」と述べている。 攻撃は検出が不可能で、ファームウェアのパッチは問題を部分的にしか解決しない。 研究者らは、デバイスを保護し、機密性の高い業務を行えるように、このバグの影響を受けない最新のCPUに置き換えることを推奨している。この脆弱性がないCP
Details of the Cloudflare outage on July 2, 2019 Loading... Almost nine years ago, Cloudflare was a tiny company and I was a customer not an employee. Cloudflare had launched a month earlier and one day alerting told me that my little site, jgc.org, didn’t seem to have working DNS any more. Cloudflare had pushed out a change to its use of Protocol Buffers and it had broken DNS. I wrote to Matthew
I made a playable Pokémon overworld. It looks (mostly) like a normal video game, and you can try it in your web browser here: Although this looks like a video game, I did not write any game code. This program is actually a neural network mimicking a video game. Program? Game? Neural network? Programs: sequences of instructions that transform input→output A human could run through these instruction
What I Worked On
February 2021 Before college the two main things I worked on, outside of school, were writing and programming. I didn't write essays. I wrote what beginning writers were supposed to write then, and probably still are: short stories. My stories were awful. They had hardly any plot, just characters with strong feelings, which I imagined made them deep. The first programs I tried writing were on the
Marking a major investment in Meta’s AI future, we are announcing two 24k GPU clusters. We are sharing details on the hardware, network, storage, design, performance, and software that help us extract high throughput and reliability for various AI workloads. We use this cluster design for Llama 3 training. We are strongly committed to open compute and open source. We built these clusters on top of
CoVID 19 Growth Rate
CoVID 19 Worldwide Growth Rates Updated: 1st May 2020, 03:34 BST All graphs have been updated. The way the UK reports deaths has changed to include all cases, not just hospital cases, and the graphs now reflect this. In general, many countries are showing signs of having peaked (number of new confirmed cases per day is now decreasing), and several are now showing signs that the death rate has also
PFNのKubernetesクラスタのCNI Plugin - Preferred Networks Research & Development
エンジニアの清水です。PFNでは、計算アクセラレータとしてGPUを採用するMN-2と自社開発のMN-Coreを採用するMN-3をKubernetesクラスタとして運用しており、その中でCNI Pluginを内製開発して使っています。このブログでは、内製CNI Pluginの話を中心にこれまでPFNのKubernetesクラスタのネットワーク部分、特に、CNI Pluginの構成とその変遷について紹介し、また最後に今後の展望についても触れます。 目次 なぜCNI Pluginを内製したのか？ 内製CNI Pluginの特徴 Kubernetesクラスタのネットワーク構成（第1世代） 運用中に見つかった課題 時間が経過すると割り当て可能なVFが無くなる Podの起動直後にCluster IPを使った通信ができない kube-proxyのリソース使用量が増加し続ける Kubernetesクラスタ
サーバとストレージを分離したハイパーコンバージドインフラの新分野「Disaggregated HCI」、HPEが「Nimble Storage dHCI」発表
仮想化が企業の情報システムにおいて基本的な機能として用いられるようになったことで、この仮想化の機能を最初から組み込んだ統合システムが以前から注目を集めています。 仮想化のための統合システムは、VMware、シスコ、EMCの3社が合弁で設立したVCEによる「Vblock System」が初期の代表的な製品として2010年頃に登場しました。 この統合システムは一般に「コンバージドインフラ」（CI：Converged Infrastructure）と呼ばれ、複数台のサーバとストレージアレイ、ネットワーク、仮想化ソフトウェアが統合され、導入後すぐに仮想化を用いたシステムの運用が開始できる、などの利点があります。 そして2015年頃からは、このコンバージドインフラのストレージアレイの代わりにネットワークで接続した複数のサーバに内蔵されたストレージをストレージ仮想化ソフトウェアによって束ねることで仮想
Mew.org is now speaking HTTP/3 (HTTP/2 over QUIC). If you gain access to the site using Firefox Nightly, the first connection would be HTTP/2 then the following connections should be HTTP/3 led by Alt-Svc:. Firefox Nightly This article explains insights which I found through the implementation activities of QUIC and HTTP/3 in Haskell. HTTP/2 server library I started implementing QUIC in January 20
Unikernelについての現状調査 - Fixstars Tech Blog /proc/cpuinfo
※本記事の内容は、2020年2月の約１か月間のインターンシップにおける成果です。 Unikernelについて知っていますか? 私は知っています。 Unikernelとは、アプリケーションをライブラリOSの必要最小限の機能のみとリンクさせ、単一アドレス空間で、直接ハードウェア上やハイパーバイザ上にて動作するようにしたマシンイメージのことです。 本記事では、車載向けのマイコンなどの組み込みシステム上において、最小サイズのマシンイメージで目的の機能を実現することができる手段として、Unikernelという方向性に可能性を見出し、その概要と、2020年2月現在に現存しているUnikernelのプロジェクトについて調査しました。 Unikernelとは Unikernelという呼称は、2013年に発表された論文 Unikernels: Library Operating Systems for th
Announcing the public preview of Azure AD support for FIDO2-based passwordless sign-in
Howdy folks, I’m thrilled to let you know that you can now go passwordless with the public preview of FIDO2 security keys support in Azure Active Directory (Azure AD)! Many teams across Microsoft have been involved in this effort, and we’re proud to deliver on our vision of making FIDO2 technologies a reality to provide you with seamless, secure, and passwordless access to all your Azure AD-connec
Why UML "Really" Died
April 27, 2021 Why UML "Really" Died May TLA+ Workshop Just one slot left! May 24-26. Learn how to find bugs that would slip right past types, test, and code review. Also surprisingly pertinent to this week's newsletter! Donations Buttondown (the newsletter host) has a pay-what-you-want feature! You can join by going to the newsletter page and reentering your email. Right now there is no differenc
Against SQL
TLDR The relational model is great: A shared universal data model allows cooperation between programs written in many different languages, running on different machines and with different lifespans. Normalization allows updating data without worrying about forgetting to update derived data. Physical data independence allows changing data-structures and query plans without having to change all of y
Amazon Web Services（AWS）は、AWSのクラウドサービスに用いられるHabana Labs製AI（人工知能）トレーニング用チップ「Gaudi」ベースのEC2インスタンスを提供する。これは、Intel傘下の新興企業であるHabanaにとって大きな勝利といえる。 Amazon Web Services（AWS）は、AWSのクラウドサービスに用いられるHabana Labs（以下、Habana）製AI（人工知能）トレーニング用チップ「Gaudi」ベースのEC2インスタンスを提供する。これは、Intel傘下の新興企業であるHabanaにとって大きな勝利といえる。AWSでCEOを務めるAndy Jassy氏は、同社主催のカンファレンス「re:Invent」（2020年12月1日［米国時間］）の基調講演で、AWSが独自のAIトレーニングチップ「Trainium」を開発したことも発表
PostgreSQL isn’t just a simple relational database; it’s a data management framework with the potential to engulf the entire database realm. The trend of “Using Postgres for Everything” is no longer limited to a few elite teams but is becoming a mainstream best practice. OLAP’s New Challenger In a 2016 database meetup, I argued that a significant gap in the PostgreSQL ecosystem was the lack of a s
オラクル、OLTP/OLAP性能ともに最大で3倍以上とする「Oracle Exadata X10M」発表、96コアの第四世代AMD EPYCに最適化
オラクル、OLTP/OLAP性能ともに最大で3倍以上とする「Oracle Exadata X10M」発表、96コアの第四世代AMD EPYCに最適化 Exadataはハードウェア、OS、ネットワーク、ストレージ、コンピュートをすべてデータベースに最適化して構築されたデータベース専用マシンです。 OLTPだけでなく内部でデータベースをインメモリのカラム型データベースに変換することで高速なOLAP処理も実現します。 Exadata X10Mの筐体内ではRoCE（RDMA over Converged Ethernet）により100GB/sのRDMAで高速なデータ転送を実現。コンピュートやストレージを増設することで性能や容量が向上するスケールアウト構成を可能にしています ソフトウェアをAMD EPYCに最適化し、大幅性能向上 主なハードウェア仕様は、最大でデータベースサーバに96コアCPU、3T
In 1966 the ACM published Peter Landin’s landmark paper “The next 700 programming languages” [22]. Seven years later, Springer’s “Lecture Notes in Computer Science” (LNCS) was born with Wilfred Brauer as editor of the first volume [5]. Impressively, the contributed chapters of this first volume covered almost every topic of what we now see as core computer science—from computer hardware and operat
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
M1でやってるらしい（Apple用の）最適化｜NJRecalls
jQuery 4.0.0 BETA! | Official jQuery Blog
【コード付き】Pythonを使った偏微分方程式の数値解法【入門】 - LabCode
The Untold Story of SQLite - CoRecursive Podcast
Why is observability so expensive?
The State of Machine Learning Frameworks in 2019
M2搭載の新型MacBook AirとMacBook Pro。中身がほとんど一緒なんです…迷うぜ！
Oracle Database 23ai がリリースされたので作成してみてみた - Qiita
AirPods: Accessory Or The Next Big Thing?
CDH (Hadoop) 入門 - MicroAd Developers Blog
Intelチップ搭載の格安10ギガビットLANカードが入荷。純正同等品ながら大幅に安価 - エルミタージュ秋葉原
インテルのCSMEバグは当初の予想より深刻の可能性--セキュリティ専門家が指摘
Details of the Cloudflare outage on July 2, 2019
Game Emulation via Neural Network
Building Meta’s GenAI Infrastructure
Implementing HTTP/3 in Haskell - あどけない話
AWSがHabana「Gaudi」搭載のEC2インスタンス提供へ
Postgres is eating the database world
The Next 7000 Programming Languages