- Encrypt everthing including /boot and /root
- Enter password once
- Support UEFI
Download NixOS minimal iso and copy to USB stick. For example on Mac OSX
$ diskutil list
$ diskutil unmountDisk /dev/disk1 # Make sure you got right device| @echo off | |
| title Activate Microsoft Office 2019 ! | |
| cls | |
| echo ============================================================================ | |
| echo #Project: Activating Microsoft software products | |
| echo ============================================================================ | |
| echo. | |
| echo #Supported products: | |
| echo - Microsoft Office Standard 2019 | |
| echo - Microsoft Office Professional Plus 2019 |
These are my notes on instaling NixOS 16.03 on a Lenovo ThinkPad X1 Carbon (4th generation) with an encrypted root file system using UEFI.
Most of this is scrambled from the following pages:
| # Edit this configuration file to define what should be installed on | |
| # your system. Help is available in the configuration.nix(5) man page | |
| # and in the NixOS manual (accessible by running ‘nixos-help’). | |
| { config, pkgs, ... }: | |
| { | |
| ## DISK CONFIGURATION | |
| imports = |
| #!/bin/bash | |
| LANG=ja_JP.utf8 | |
| pid=$$ | |
| date=`date '+%Y-%m-%d-%H_%M'` | |
| playerurl=http://radiko.jp/apps/js/flash/myplayer-release.swf | |
| playerfile="/tmp/player.swf" | |
| keyfile="/tmp/authkey.png" |
Mac OS X + Emacs + haskell-mode + ghc-mod
スタートアップ企業 Silk が、Haskellを採用した理由。
http://engineering.silk.co/post/31920990633/why-we-use-haskell
As a newly started company, we have a lot of technical decisions to make. One of the important ones is the choice of a programming language. Since we’re building a web application, this goes for both the client (i.e. the web browser) and the server.
新しく始めた会社として、我々はたくさんの技術的決定を行わなければなりません。中でも重要なのは、プログラミング言語の選択です。我々はウェブアプリケーションを作っていたので、この選択がクライアント(Webブラウザなど)とサーバの両方で必要になります。
On the client, there wasn’t much discussion. Javascript is the only viable choice, unless you want to use Flash or similar plugin-based models. But on the server, we had more freedom. Popular choices for web applications are dynamically typed languages like Ruby, Python and PHP, and statically typed languages like Java and C#.
訳合って Opera と私に関することをまとめていたときにふと Opera Wiki 遺跡 が目に留まったので, さらっとまとめる気になった. Opera Wiki 1周忌ということもあるので, 回顧の意味も含めて書いてみる.
ここで主に書きたいことは,
Opera Wiki を私に引きついだのは @amatanoyo である. これは種々の記録から2011年5月の頭のことであることが分かっている. (*1) 実は, Opera Wiki を引き継いだ時点で, opera-wiki.com ドメインは, Wiki を @amatanoyo が, 2ちゃんのログを @crckyl がメンテしているという状態だった. データを引き継ぐときも, FTP のアクセス権限を @crckyl にも当てるのを忘れないようにとの注意喚起が @amatanoyo からあった. また, MediaWiki 上では, 何人か管理者権限を持っているユーザーがいた.