Intro to HM Damas-Hindley-Milner (HM) is a type system for Standard ML and the ML-family languages. River and I wrote about it earlier this month. Check out that post if you would like an introduction or refresher. In this post, we’ll add row polymorphism to it. We’ll do it in the context of scrapscript’s implementation of Algorithm J, but the core ideas should be language and algorithm-independen
スタンドアロンなWebAssemblyランタイム「Wasmer」の開発元であるWasmer社は最新のWasmer 4.4の新機能として、C言語をWebAssemblyにコンパイルし、WebAssembly環境でそのまま実行可能する機能を発表しました。 下記はWasmer社が用意した、Webブラウザ上にWebAssemblyでBash環境を構築する「wasmer.sh」のコマンドラインから、wasmerによりC言語をコンパイルしてWebAssemblyモジュールを生成し、実行する操作を筆者のWindowsマシンで実際に試したところです（赤線は筆者による）。 Webブラウザ上でC言語をWebAssemblyにコンパイルし、そのままWebAssembly環境上で実行できています。 合わせて登場したJavaScript SDKによってNode.jsやBunなどのサーバサイドのWebAssembly
はじめに Postgres には JSON/JSONB というデータ型がありますが，JSONB はデータをバイナリ形式で格納するためインサート時に変換のオーバーヘッドがあるものの，その後の処理が非常に高速である上に，インデックスを貼ることができるため，実用上は JSONB を使うのが一般的です． 一方で，そもそも RDB のようなスキーマの厳格な型付けをしているシステムで半構造化データである JSON を扱うこと自体がアンチパターンであるという指摘もあります． しかしながら，適切に設計，運用することで厳格な RDB で柔軟なデータを扱うことができ，アプリケーションの表現の幅を広げることができます． 本記事では，JSONB を可能な限り安全に扱うための実践的な工夫を紹介します． JSON Schema を使ったバリデーションを Check Constraint にする Postgres では
ISRG has been investing heavily in the Rustls TLS library over the past few years. Our goal is to create a library that is both memory safe and a leader in performance. Back in January of this year we published a post about the start of our performance journey. We've come a long way since then and we're excited to share an update on Rustls performance today. What is Rustls?Rustls is a memory safe
No Newsletter next week I'll be speaking at USENIX SRECon! TLA from first principles I'm working on v0.5 of Logic for Programmers. In the process of revising the "System Modeling" chapter, I stumbled on a great way to explain the Temporal Logic of Actions that TLA+ is based on. I'm reproducing that bit here with some changes to fit the newsletter format. Note that by this point the reader has alre
謎の土地、Terra Infinita先月のことである。筆者のタイムラインに、"Terra Infinita"なる耳慣れない言葉に言及した投稿が流れてきた。投稿を読んでみると、「南極の氷壁の向こうの土地」だという。 同じ言葉はフラットアーサーアカウントも投稿しており、地球平面説に関連した概念であることがうかがえた。「南極の壁の向こう」とは一体どういうことだろうか。気になった筆者は少し調べてみることにした。 南極の壁の向こうに前述した通り、「南極の氷壁の向こう」という概念であるところから、Terra Inifinitaは地球平面説の世界観に沿っていると考えられる。中央に北極があり、周囲を南極（とされる氷の壁）が取り巻いているというのが地球平面説の典型的な世界地図だからである（ちなみに氷の壁は維持しつつ、その中に北極と南極が両方位置している双極モデルもある）。その壁の向こうに、まだ見ぬ別世界が
こんにちは、モノタロウ コアシステムエンジニアリング部門 配送ドメイングループの安見です。 この記事では私が関わっていた社内システムを仮想サーバ(AWS EC2)からコンテナに移行した後にコンテナをやめて仮想サーバに戻した話をご紹介します。 諸説明 コンテナ移行について コンテナ化対象システムについて 直面した様々な問題 リリース後の多数の残課題 展開する機能の数が多すぎる コンテナ化のメリットが薄かった なぜこうなったか よかったこと まとめ 追記： 現在なら... 諸説明 コンテナ移行について システムのコンテナ移行とは、アプリケーションやサービスを動作させるための必要なすべての環境を、一つの「コンテナ」としてパッケージ化して動作できるようにすることです。これにより、アプリケーションは他のシステムと独立して実行され障害分離ができたり、環境の違いによる影響を受けにくくなるため移植性が向上
A Missing IDE Feature Oct 14, 2024 Slightly unusual genre — with this article, I want to try to enact a change in the world. I believe that there is a “missing” IDE feature which is: very easy to implement (these days), is a large force multiplier for experienced users, is conspicuously missing from almost every editor. The target audience here is anyone who can land a PR in Zed, VS Code, Helix, N
It's quite a common opinion that git (while a big improvement on what came before) still has plenty of rough edges, particularly with regards to the user interface. At the same time, there's also a significant barrier to entry for a new version control system with all the tooling that's built up around git over the years, particularly if you want to try it in your workplace without migrating the e
HDDが滅びず“SSDと共存”に落ち着いた理由。SSD一強を阻む「コスパの壁」【フォーカス】 2024年10月22日 東北大学国際連携部特任教授 (名誉教授) 田中 陽一郎 工学者。1983年東北大学大学院工学研究科博士前期課程修了、2006年同博士後期課程修了。博士（工学）。1983年から2016年まで、東芝グループにて、HDDからフラッシュメモリを使ったSSDなど高密度ストレージ技術の研究開発や実用化に携わる。2005年には、垂直磁気記録方式を採用したHDDの世界初の製品化を主導した。山形大学大学院理工学研究科や東北大学電気通信研究所教授を経て2024年4月より現職。IEEEフェロー。好きなものはスキーと登山と芋煮会。 プロフィール（東北大学公式サイト内） researchmap 1956年に初めて登場したハードディスクドライブ（以下HDD）と、1991年に初めて登場したソリッドステー
After nearly two years of development and private beta testing1, I’m excited to share that Ghostty 1.0 will be publicly released in December 2024 as an open-source project under the MIT license. In this blog post, I want to restate the broader goals of the Ghostty project and outline the specific goals for the 1.0 release. I have ambitious plans for Ghostty, but I also want to set clear expectatio
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
