Kazuki Okamoto kakkun61

Getting Started on the M5Stack Core2

This is a short guide to getting the M5Stack Core2 running on MacOS Catalina.

Setting Up the Environment

The following commands get us set up with arduino-cli

brew install arduino-cli

並置による関数適用

並置による関数適用の善し悪しについて盛り上っているので、自分の意見を表明しておく。以下の2本立て。

純粋に構文論的な議論 (構文拡張の余地を残す)
意味論との関係での議論 (副作用の表示)

先に結論だけ書くと、私はどちらかといえば括弧による関数適用のほうが好みです。

そもそも並置による関数適用とは

結城浩

こんにちは。今後、GPT-4を使ったアプリケーションやサービスがたくさん登場してくると思います。その中には、たとえばSNSを利用したbotもたくさん出てくるでしょう（現在でもすでにありますけれど）。そこで質問なんですが、SNSでおしゃべりしている相手が、人間なのか、GPT-4などの技術を使ったAIなのかを識別するにはどのような会話をしてみればいいでしょうか。一般的なAIでは難しいかもしれないので、GPT-4に限ってもいいです。あなたの考えを聞かせてください。

ChatGPT Model: GPT-4

GPT-4のような高度なAIと人間を識別するのは、時に難しいことがあります。しかし、いくつかの方法を試してみることで、相手が人間かAIかを見極めることができるかもしれません。

複雑な感情やニュアンスについて尋ねる: AIは感情やニュアンスを理解するのが苦手です。複雑な感情を表現する文章やシチュエーションについて尋ねてみて、その反応を見てください。

	module WhatIsInstance where

	data Hoge = Foo \| Bar

	-- 型aが同値関係を持つということを示す型
	data ThisIsEq a = ThisIsEq { op :: a -> a -> Bool }

	-- 型Hogeが同値関係を持つ証拠となる値
	hogeIsEq :: ThisIsEq Hoge
	hogeIsEq = ThisIsEq go where

	{-# LANGUAGE DataKinds #-}

	-- \| My database API.

	module DBAPI where

	import Data.Defaults

	data ConnSpec p = ConnSpec
	{ username :: !(Required p String)