サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
Lazy K Executive summary Lazy K is a garbage-collected, referentially transparent functional programming language, with a simple stream-based I/O system. What distinguishes Lazy K from other such languages is its almost total lack of other features. It does not, for example, offer an integrated Hindley-Milner polymorphic type system. It is not shipped with an extensive standard library with suppor
こうした少数限定のSNSは、とかく“ソーシャル疲れ”の文脈で語られることが多い。不特定多数とのやり取りに疲弊した反動として、付き合う相手を限定したクローズドのSNSへと移っていき、そこで本音を語り合う。少数限定のSNSは、確かにそうした役割も担っている。だがそもそも、巨大SNSでプライベートな情報を数百人に向けて発信すること自体が不自然なのではないか?――そんな発想で生まれたのが、フレンド登録の数を9人に絞ったSNS「Close」だ。 「Closeで目指したのは、“決して誰にも邪魔されない、自分のための世界”です。今までのSNSは使えば使うほど、ユーザーが増えれば増えるほど、気づけば自分の意図しない繋がりや想定外の他者からの干渉から避けられなくなる、という問題を抱えていました。Closeではユーザーが追加しているフレンドや、フレンドを追加する際のプロセスを全てブラックボックス化することによ
CommunityGitHub Game OffHere at GitHub, we're no strangers to hosting or sponsoring hackathons. With the growing number of games and game development resources on GitHub, we thought it was about time to… Here at GitHub, we’re no strangers to hosting or sponsoring hackathons. With the growing number of games and game development resources on GitHub, we thought it was about time to throw our very ow
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く