はてなブックマーク

物事の普遍性への追求は人類のテーマです。 時代と共に変わりゆくソフトウェア分野の技術の中で普遍的に存在しているのか、共通して存在する中核的な技術はあるのだろうかということを考えたいです。 新しいもの、古くからあるもの 近年、マイクロサービス、クリーンアーキテクチャなどの○○○アーキテクチャ、Reactを始めとするの宣言的UIなどがそれぞれ分野違えど注目を集めてるように思います。また時代にとらわらずUNIX哲学に代表されるコマンドが活用されています。 決して、新しく登場した技術だから良いという考えているわけではなく、新しいものは、古い技術の問題点を克服に作られていることが多いため、優れているものが多いと考えています。 それは分割統治なのではないか？ ソフトウェア技術の分野も広いのでいろんな視点があるとは思うのですが、分割統治は普遍的な技術の候補になるのではないかと思います。 ここでの分割統治

pushすれば自動導入されます。GitHub側で設定することは特にないです。 comment-runを使ってみる まず新しくissueを立てます。（既存のissueでもOKです。） その中で以下のようにコメントしてみます。 以下はコピペ用です。書き始めを@github-actions runにします。```jsのコードブロック内が実行できます。 @github-actions run ```js console.log("hello, world"); ``` つぎに以下のActionsタブを開いて、 以下のように"hello, world"が出ているのがわかります。 LGTM画像をコメントしよう もう少し使えそうな使用例の紹介です。 以下のコメントでLGTM.in/gからランダムで画像がコメントされます。 実際のコメント：https://github.com/nwtgck/actions

なにを目指しているか？ 多くのクラウドストレージやメールを使ったファイル転送ではクライアントとサーバー間の暗号化はされています。ですが、その多くの場合サーバー内では生のデータもしくは暗号化されていてもサーバー内で復号可能の場合が多いと思います。 そこで送受信を行う端末間でエンドツーエンド暗号化(E2E暗号化)してサーバー側にも分からない形してサーバーを信じなくても良い、より高度なセキュリティを目指したいです。 それと同時に安全性かつ手軽にファイルを転送を重視したいです。 一般にセキュリティを強めると不便になったりして、安全性と利便性にトレードオフがあると思います。このトレードオフをなるべく解決して、安全性と利便性の両立して安全性と手軽さを両立することを考えました。ユーザーのパスワードの入力不要で、手軽にセキュアに転送するために使った技術に関して後述します。 アプリケーション Piping

「ネットワーク越しでパイプしたり、あらゆるデバイス間でデータ転送したい！ - Qiita」で登場したPiping Serverを使ったWebアプリです。 ネット上でも気に入っている人も見かけ、スマホ<=>PC間などでの活用してる声が多めでした。TypeScript + Vue + Vuetifyで手軽にファイルを転送するWebアプリが出来ました。 Piping UI: https://piping-ui.org と呼んでます。 以下のデモはiPhone => PCへの送信です。 以下で機能の紹介と少し技術的なことに触れていきたいと思います。 GitHubリポジトリ: https://github.com/nwtgck/piping-ui-web アカウント登録なし 事前の設定なし 特別なアプリのインストールなし curl(CLI)との相性の良いPiping Server経由 Progres

やりたいこと JSONのTypeScriptの型でバリデーションしたいです。定義するコストは最小限にとどめたいです。 具体的には、 文字列になった'{"name": "jack", "age": 8}'などがtype Person = {name: string, age: number}をちゃんと満たしているかを確かめたいです。確かめたあとは、Person型として扱いたいです。 JSONはネットワークから飛んできたりして、それがTypeScriptの型システムの中で安全に使えるか確かめる仕組みがほしいです。 一番この記事で伝えたのは、JSONの構造を一度定義したら、TypeScriptの型を導出する仕組みです。いろんなTypeScriptのバリデーションライブラリ調べてみましたが、型を自動で導出しているものは見つけらなかったです。そのため、その仕組を作って、使い方と実装に関して記事にまと

何がMarkdownプレビューの問題か？ 多くのマークダウンエディタは、エディタとプレビューが分かれているのが当たり前になっています。対応関係を考えなら編集する不便があります。長くなるに連れてスクロール同期の質なども影響してきます。LaTeXで論文書くときも同じ苦労があります。例えば、Microsoft WordやScrapboxのようにWYSIWYG = What You See Is What You Getだとより書きやすくなります。 "見たままの編集"とエンジニアに優しいMarkdownの融合はとても強力だと思います。 OSSのMarkdownエディタ - HyperMD 念願だった見たまま編集できるHyperMDというOSSのプロジェクトを発見しました！ GitHubリポジトリ https://github.com/laobubu/HyperMD Typoraという存在 Typo

調査内容 各種OSの各種ブラウザでの長いフラグメントのあるURLの上限を調べます。 URLを長くしていくために、URLのフラグメント^fragmentを使いました。 この文章でURLの長さといった場合は、https://も含めたURLの長さのことです（フラグメントの長さではありません）。 URLのフラグメントを使った理由 パスの長さなどだとWebサーバーが上限を決めて弾いてしまうかもしれない フラグメントをクライアント側で処理されるものなので、HTTPでWebサーバーに送られることはないはずです 調査するときにパスを指定するより手軽 パスをしていするときには、どんなパスでも許容するWebサーバーをどこから探したり、書いたりすることもできたのですが、HTMLを設置して済むほうばより手軽で、GitHub pagesで公開して他の人も同じサイトで試しやすいのでフラグメント使いました 調査対象 G

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

何を解決したいか？ Mac, Windows, Linux, iPhoneやAndroidのスマホ・タブレットとかのデバイス間でデータの転送したいことがあります。 SlackとかLineとかSkypeとかAirDropとかあっても 送りたい相手と共通して使っているサービスを探す必要とか、 GUIのソフトウェアのインストールが必要とか、 AirDropだとApple系OSである必要 があるなどの転送の障壁があって、GUIが使えないデバイスに送りたいときなどは困ってしまいます。 すでにたくさんのファイル共有系のサービスがありますが、コマンドを使ったCUIベースにあまり親切な設計なものはあまりないと思います。 そこで、上記の問題を解決するために、以下のようなファイル転送の仕組みを作りました。 他デバイス間でデータ転送ができ、 別途ソフトウェアのインストール不要で、 パイプにとても親和性が高くエン

やりたいこと データを変形・加工するスクリプトをURL上にホストをして、 ポータブルで永続的でブラウザで完結するWebアプリを作れるようにします！ Rubyはデータ加工に最適！ Rubyは豊富なメソッドが標準で用意されていて、特にArray, Enumerator, Stringなどよくデータを加工したいときに使えるメソッドがとても豊富です。 メソッドチェーンでつなげていけるところが、人の思考にあっていて、どんどんデータを変えていけるところがRubyの良さだと思います。 そのためデフォルトの言語はRubyです。JavaScriptもオプションで選べるようになってます。 そこで、　データ加工に便利なRubyで書いた小さいWebアプリをURL上にホストします！ URLにすべてのコードを載せてしまえば究極的にポータブルなWebアプリになるのではないかという発想です。Itty.bittyにインスパ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

経緯 最近、TypeScriptを初めて、Reduxを動画でチュートリアルをみて、イミュータブルなデータを扱っていく感じがしたので、「これはScalaのcopyが必要だな！」と思いました。 copyの必要性を感じた理由は、破壊的な変更をする思想ではないので、オブジェクトの一部を変更したいときに、変更後を返すのが自然だと思ったからです。 ところが、TypeScriptにScalaのcase classにあるcopyに相当するものが見つけられませんでした... ということで、copyに相当するものを作ることにしました。 Scalaのcopyってなんこと？ （Scalaを触ったことある方は読み飛ばしてください） Scala以外だとHaskellでしか、これと似た機能を持った言語を知らないので、代表して、Scalaのcopyと言ってます。他の言語にもあることを知っている方は「OOO言語のxxxね」

はじめに 前回の記事では、open-unionを使ってみました。 そこで今回はopen-unionをより書きやすくするために、ちょっとしたライブラリを作ってみたので、紹介します。 普通のopen-union そのままの、open-unionでは、関数を書くときは以下のようにして、型ごとにマッチさせます。きっと型安全でとてもいいのですが、見た目が、通常のパターンマッチングらしくないですよね。 {-# LANGUAGE DataKinds #-} {-# LANGUAGE ScopedTypeVariables #-} import Data.OpenUnion -- 普通のopen-union showMyUnion :: Union '[Char, Int, [()]] -> String showMyUnion = (\(c :: Char) -> "char: " ++ show c)

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

とても参考になる記事 Travis CIとSlackの連携 SlackでTravisCIからの通知を受け取る Travis CIのbuild結果をSlackに通知する いい記事がすでにあるのになぜ書くのか？ 個人的に、Slackの設定画面やメニューを選択するときに、いつもどこにあるか迷ってしまって時間がかかるので、 そうならないように、画像多めでやり方をメモします。 あと、破壊的な.travis.ymlの変更をせずにする方法の紹介です。 本題 まずは、ブラウザで https://<slack-team-name>.slack.com/apps を開きます （僕の場合はぼっちチームなので<slack-team-name>が「nwtgck」というチーム名になので、https://nwtgck.slack.com/apps です） 「travis」と打ち込ので、出てきた「Travis CI」をク

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?