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
Amazon Linux2 から pg_dump で RDS for PostgreSQL のダンプ作成時にハマったので調べてみた | DevelopersIO
こんにちは！コンサル部のinomaso(@inomasosan)です。 Amazon Linux2からpg_dumpを使用してRDS for PostgreSQLのダンプ作成時に、pg_dumpのバージョンエラーとなってしまったので、解決策を検証してみました。 検証環境 項目 バージョン エラー事象 Amazon Linux2の標準リポジトリでpg_dumpを含むpostgresql.x86_64インストールし、RDS for PostgreSQLのダンプ作成時に以下のようなエラーメッセージが出力されました。 pg_dump: サーババージョン: 13.4、pg_dump バージョン: 9.2.24 pg_dump: サーババージョンの不整合のため処理を中断しています 原因 pg_dumpとRDS for PostgreSQLのバージョンが大きく異なっていたために発生したエラーでした。 解
FreeBSD デスクトップ環境の構築 1 (a). FreeBSDのインストール(FreeBSD Latest) - [SILVER SACKの自画自賛]
デスクトップ環境の構築 - 1 (a). FreeBSDのインストール(FreeBSD Latest-14.0) ここでは、FreeBSDを日本語デスクトップOSとして使用する場合のインストール方法について、書きます。 インストール前に インストールの途中で、入力を求められる情報があって、そのためにインストール前に調べて揃えておかなければいけない情報があります。ここでは、それをまとめておきます。 ネットワーク関連の情報 まずは、DHCPを使うかどうか(IPアドレスを自動取得とするかどうか)。 DHCPを使わない場合、以下の情報を用意します。 IPアドレス DNSサーバーのアドレス サブネットマスク 自分のユーザー設定情報 ログインID パスワード フルネーム ディスク容量 基本的にpackageを利用して構築します(packageが用意されていない場合はportsでのビルドも出来ないと思っ
The Goal Insert Mode# Normal Mode# Inspired by vim, I wanted to create a layer on top of my keyboard which worked like a shortcut layer. So, to start off, I found out about XKB1. XKB is the Xorg Keyboard Extension which tells Xorg on how to react to input from keyboard. After reading through some source code, I found out that Xorg has support for function keys F1 - F352. The general idea here was:
In this roundtable, which grew out of a conference on maritime strategy in the Indo-Pacific region sponsored jointly by the United States Naval War College, the Japan Maritime Self-Defense Forces Maritime Command and Staff College, and the Sasakawa Peace Foundation, our contributors examine growing Japanese defense capabilities and aspirations. The authors examine the impact of a more robust Japan
Resolving records through more than 8 CNAME fails due to hardcoded MAX_RESTART_COUNT · Issue #438 · NLnetLabs/unbound
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
こんにちは。 ご機嫌いかがでしょうか。 "No human labor is no human error" が大好きな吉井 亮です。 アメリカ時間の2020年5月15日に新しい EC2 M6g インスタンスが GA されました。 AWS (とその関連会社) が設計したということでクラウド最適化された CPU であると勝手に期待しています。 コストパフォマンスに優れているということで汎用的なワークロードでは積極的に使用していきたいと思います。 上記が公式アナウンスですが、一部気になる箇所がありました。 現在使用しているのと同じメカニズム (yum、apt-get、pip、npm など) を介してインストール可能な一般的に使用されるソフトウェアパッケージの Arm バージョンが見つかります。一部のアプリケーションは再コンパイルが必要な場合がありますが、インタプリタ型言語 (Java、Node
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Adding row polymorphism to Damas-Hindley-Milner
Vim-like Layer for Xorg and Wayland | Ceda EI's Blog
Policy Roundtable: The Future of Japanese Security and Defense - Texas National Security Review
M6gインスタンス yumで標準的にインストール可能なパッケージを調べてみた | DevelopersIO