Satsuki Akiba anosatsuk124

If you're using a high-end bluetooth headset on your Macbook Pro it's likely your mac is using an audio codec which favors battery efficiency over high quality. This results in a drastic degradation of sound, the SBC codec is the likely culprit, read more about it here.

Find out what codec you're using

Play a song on your headphones
Option (⌥) click the Bluetooth button at the top of your screen
If you're using AAC or aptX, you can stop here—those are the highest quality codecs.

Change your codec to AAC or aptX

How to run Jupyterlab as a desktop app on Mac OSX

In Sep, 2021, Jupyterlab Desktop App (electron) was released by Mehmet Bektas (github repo).

brew install --cask jupyterlab

ホモトピー型理論(HoTT)に入門するために

前置き

HoTTに興味があるCS系の学生が、HoTT本の冒頭を読んだ体験を元に、知っておくと学び易くなりそうな話をまとめてみた。

対象は自分と同じ、型理論は少し知ってる^[1]けどホモトピーとかわからんという人。「型理論は知らんけどホモトピー論と圏論の用語はわかる」という人はそのまま本読めばいいと思うし、両方ともわからない人は学ぶモチベーションがよくわからない(し、とりあえずどちらかを学んだ方がいいと思う)のでとりあえず無視する。

HoTTについてはさわり程度の知識しかないまま書かれているため、話半分に読んでもらった方がいいと思う。

1. 「依存型に触ったことある」もしくは「TaPLを部分的にでも読んだ」あたりが基準になるだろうか。

この文章は、 Steve Losh 氏の記事 "A Road to Common Lisp" の翻訳です。

原文はこちらです: http://stevelosh.com/blog/2018/08/a-road-to-common-lisp/

A Road to Common Lisp (Common Lisp への道)

これまで、「最近のCommon Lispをどう学ぶとよいでしょう？」と助言を求めるメールをたくさん受け取ってきました。そこで私は、これまでメールやソーシャルメディアに投稿した全てのアドバイスを書き下すことにしました。これが誰かに有益ならば幸いです。

WebRTC 超低遅延配信ノススメ

日時:	2018-08-08
作者:	@voluntas
バージョン:	18.08.0
url:	https://sora.shiguredo.jp/

この記事が良いと思ったらこの記事に Star を是非

Just install Docker

$ curl -fsSL get.docker.com -o get-docker.sh && sh get-docker.sh

Install Docker and Rancher Server

$ curl -fsSL get.docker.com -o get-docker.sh && sh get-docker.sh && sudo docker run -d --restart=unless-stopped -p 8080:8080 rancher/server

Binding to C Libraries with Nim

	#!/bin/bash
	# Qiita記事 https://qiita.com/kawaz/items/0593163c1c5538a34f6f
	set -e
	set -o pipefail

	# pam_tidの存在チェック（間違えてLinux環境などで実行されたら中断する）
	[[ -f /usr/lib/pam/pam_tid.so.2 ]] \|\| exit 1
	[[ "${OSTYPE:0:6}" == "darwin" ]] \|\| exit 1

	# /etc/pam.d/sudo の修正

	Encoder hevc_nvenc [NVIDIA NVENC hevc encoder]:
	General capabilities: dr1 delay hardware
	Threading capabilities: none
	Supported hardware devices: cuda cuda d3d11va d3d11va
	Supported pixel formats: yuv420p nv12 p010le yuv444p p016le nv16 p210le p216le yuv444p10msble yuv444p16le bgr0 bgra rgb0 rgba x2rgb10le x2bgr10le gbrp gbrp10msble gbrp16le cuda d3d11
	hevc_nvenc AVOptions:
	-preset <int> E..V....... Set the encoding preset (from 0 to 18) (default p4)
	default 0 E..V.......
	slow 1 E..V....... hq 2 passes
	medium 2 E..V....... hq 1 pass