Articles
About TechHub
Tags
Careers
LATEST ARTICLES
Last updated on
September 7, 2025
cybai
2019-08-27
...
The Hitchhiker's Guide to Servo Contributor - Part II
While contributing to Servo, knowing how to test your implementation is important. So, the 2nd episode is all about WPT and how we can test it in Servo.
#OSS
鈴木 拓馬
2019-08-20
...
社内勉強会はじめました
弊社で社内勉強会をした話を書く
Ryota Kameoka
2019-08-15
...
『形式意味論入門』を Haskell に書き下す (前編)
一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際,『形式意味論入門』という表題の本に目が止まり,数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1.また,その
#Haskell
びしょ〜じょ
2019-08-12
...
Ruff, a more efficient algebraic effects library for Ruby
I have been developing a more efficient algebraic effects library for Ruby. https://github.com/nymp
#Effect system
#OSS
大川原 良秋
2019-08-12
...
BtoB SaaSにおけるプロダクト開発の勘所
ここ最近になって BtoB SaaS の立ち上がりが目覚ましくなってきており、様々なドメインでプロダクトが誕生しています。しかしながらその一方で BtoB SaaS のプロダクト開発ができる、あるいは
びしょ〜じょ
2019-08-09
...
Algebraic Effectsの型システム入門
はじめに Algebraic Effectsは計算エフェクトを扱う言語機能である。エフェクトとハンドラから成り、エフェクトの発生をハンドラが捕捉し、なんらかの値を返してエフェクト発生部分からの計算を
#Effect system
#Type Safety
b123400
2019-08-08
...
Better JSON types in TypeScript
This is a post on how to abuse TypeScript’s type system to write safer code.
#TypeScript
#Type Safety
cybai
2019-08-05
...
The Hitchhiker's Guide to Servo Contributor - Part I
The first episode of introducing how to contribute to Servo
#OSS
鈴木 拓馬
2019-07-22
...
FuseBoxというイケてるmodule bundlerがあるらしい
FuseBoxというmodule bundlerがイケてるらしいので使ってみた
#TypeScript
びしょ〜じょ
2019-07-20
...
エフェクト、do、ANF、継続、継続
こんにちは、びしょ〜じょです。修士中間発表終わったのでもう研究しなくてOK!!!!!!!!1. はじめに突然ですがみなさんエフェクトを発生させていますか。 ところでエフェクトはどこで発生するのでしょう
#Effect system
鈴木 拓馬
2019-07-16
...
弊社でCycle.jsに寄付した話
Open Collectiveを使って業務で使っているOSSライブラリに寄付をした話をする。
#Cycle.js
#OSS
hiroqn NW
2019-07-15
...
僕はmacからiPhoneに通知を送りたいだけなのに
序 macはappleで連携がiphoneで最高、そう思ってました。 ボタン一つでmacからiphoneに通知が送れてほしい。 時間のかかる長いコンパイルはtwitterをiphoneでみたい。
Ryota Kameoka
2019-07-15
...
Nix で Haskell IDE Engine をシュッと入れる
みなさん,Haskell やってますか? 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か?」という感じがするので,Nix でシュッと入れていきまししょう.
#Haskell
#Nix
b123400
2019-07-11
...
Storing an ordered list in database
To store an ordered list in database, the simplest way is to assign a number to each row. However, t
#Haskell
#OSS
宮﨑 章太
2019-07-09
...
AWS Summit Tokyo 2019 に行ってきた
2019/6/14 に AWS Summit Tokyo 2019 day 3 に行ってきました。 雑に感想とかを書きます。 備えあれば憂いなし!AWS上のシステム本番稼働前に必ずチェックしたい4つ
Ryota Kameoka
2019-07-09
...
effect system 勉強会で Cycle.js の話をしてきた
もう1ヶ月ちょっと前の話になるが,effect system 勉強会 で Cycle.js の話をしてきた.
#Cycle.js
#Effect system
びしょ〜じょ
2019-06-29
...
ScalaMatsuri2019いってきた
はじめにこんにちは、びしょ〜じょです。 ScalaMatsuri2019にいってきました。 Scalaはちょっとしか書いてないうえにだいぶ前ですが、論文やコードはぼちぼち読んでるので興味は依然としてだ
びしょ〜じょ
2019-06-22
...
OCaml 4.08のbinding operator
はじめに OCaml 4.08よりbinding operatorというものが追加されました。 8.24 Binding operators 簡単にいうとこんなかんじ (* val ( let
びしょ〜じょ
2019-05-27
...
技術書典6に合同誌を出した; effect system勉強会をやった
こんにちは、びしょ〜じょです。 なんか最近時間なくないですか? モンスターをハントしてる場合ではないんですが…。技術書典64月の話なんですが5月にやっていいですか。やります。 典5に続いてDragon
#Effect system
Ryota Kameoka
2019-05-12
...
cycle-ink-driver をリリースした
cycle-ink-driver というライブラリをリリースした.このライブラリを用いると,Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる.
#Cycle.js
#Effect system
#OSS
prev
9
10
11
12
13
next