-
The obstacles of innovation
Friday, September 06, 2024 in blog
The Venture Mindset(Strebulaev and Dang 2024)には、イノベーションに取り組めてない大企業が、成功しているベンチャーキャピタルとどこが違うのか、という内容がところどころにあり、悩んでいるのは極少数の企業に限られている話でもなさそうだ。 主題とは離れるが、イノベーションの段階には 問題があることの認識がない 問題があることは分かるが、なにが原因か分からない 問題があることが分かり、原因の拳闘もつけている 問題を解決(原因を除去)するための方法を探している …
-
nix による Common Lisp パッケージインストール
Thursday, August 15, 2024 in blog
Common Lisp開発環境をnixによって整えたい Common Lisp本体のインストールは当然のこととして、 パッケージインストールは quicklisp で管理するよりもnixで管理するほうが後の手間が少くなり、楽になる。nixは管理が楽できるので、みんな使っている。 nix-shellのセットアップ nixosはインストールしてあるものとする。 Common Lispはsbclを例として挙げる。 quicklispはインストールする必要なし。 空のdirectory …
-
Haskell 開発環境 nix flake と direnv その2
Sunday, June 02, 2024 in blog
Haskell project の開発環境を nix flake と direnv で作成する記事を書いたが、shell.nixを使ったほうが良いみたいなので、アップデート。 プロジェクトdirectoryを nix flake 用に準備 まずは、nixos のテンプレートを使って、Base となるdirectoryを作成。 mkdir /tmp/haskell-demo cd /tmp/haskell-demo nix flake new -t templates#haskell-nix . …
-
Haskell 開発環境 nix flake と direnv
Sunday, December 24, 2023 in blog
Haskell project の開発環境を nix flake と direnv で作成する。 プロジェクトdirectoryを nix flake 用に準備 まずは、nixos のテンプレートを使って、Base となるdirectoryを作成。 mkdir /tmp/haskell-demo cd /tmp/haskell-demo nix flake new -t templates#haskell-nix . flake.nix を少し単純にする { inputs = { …
-
ReaderT Design Pattern Reflection
Thursday, November 16, 2023 in blog
:set +m :set -package stm :set -package transforms :set -package lifted-async :set -package mtl {-# LANGUAGE FlexibleContexts #-} import Control.Concurrent.Async.Lifted.Safe import Control.Monad.Reader import Control.Concurrent.STM modify :: …
-
ReaderT Example Simple
Thursday, November 16, 2023 in blog
ReaderT の簡単な例 :set +m :set -package mtl import Control.Monad.IO.Class(liftIO) import Control.Monad.Trans.Reader data Config = Config Int Int deriving (Show) :{ port :: Config -> Int port (Config x _) = x client_func :: ReaderT Config IO () …
-
A simple STM Example
Tuesday, November 14, 2023 in blog
Haskell package の STM の簡単な例 repl(ghci)で実行する。 :set +m :set -package stm import Control.Concurrent.STM testFunc :: TVar Int -> STM Int testFunc = readTVar main :: IO () main = do ref <- newTVarIO (4 :: Int) (atomically $ testFunc ref) >>= …
-
Haskell の QuickCheck パッケージを repl 環境で使う
Sunday, November 12, 2023 in blog
Haskell の QuickCheck を repl 環境で使ってみる。 org mode の source block を使うので、 chatty を False にセットしている。 まずは ghci でのおまじない。 :set -package QuickCheck :set +m 下記を実行 import Test.QuickCheck import Data.List (delete) prop_delete :: Int -> [Int] -> Property …
-
Ubuntu 上と mac 上の gpg-agent.conf の違い
Thursday, August 19, 2021 in blog
gpg-agent.conf | 2 - 1 file changed, 1 insertion(), 1 deletion(-) diff –git a/gpg-agent.conf b/gpg-agent.conf index 2fd3cf8..ec568eb 100644 — a/gpg-agent.conf + b/gpg-agent.conf @@ -3,7 +3,7 @@ default-cache-ttl 86400 max-cache-ttl 86400 …
-
独学で css や JavaScript を書けるようになるまでの時間
Tuesday, August 17, 2021 in blog
学習開始時点のレベル h1 等の element の働きがわかり，Font の大きさや色を変えることができるが，Grid system などはなんのことか分らない。したがって，Web Framework の tutorial で作成するページはほぼ Bootstrap を使っているので，tutorial で作ったページを自分が思うようなレイアウトに変えるこができない。 独学で使用する教材 オンラインスクールにお金を払い，習う手もあるが，10数万円もして，パッとは出せない。そこで探したのが，これ。 …