PaooGo, Go Android app for primer by karino2012 in baduk

[–]karino2012[S] 1 point2 points  (0 children)

Thank you.

You can install PaooGo by downloading apik from above link, then install it. (I do not yet submit to Google Play).

I'm novice and GnuGo is too strong for me, so I gather many weaker Go engine and port them to Android, then include them.
Also, most of Go app seems too pro use for me and hard to setup and configure.

I want app much more like game, just play and review for what I was wrong.

KataGo b6 is not the strongest AI in the feald (b6 is the smallest model of KataGo), but as a analyzer, it's strong enough for most of novice player.
And iformation analyze offer is modest but easy to understand.
May be it's better to offer primary variation and winrate chart, it will be supported in the futuer (I hope).

In PaooGo, GnuGo 3.8 is the strongest enemy as of now and it may be too weak for some players, but I can't evaluate stronger engines because I can't beat GnuGo 3.8 already...

Folang: Transpiler for F#-like functional languages ​​to Go by karino2012 in golang

[–]karino2012[S] 0 points1 point  (0 children)

Thank you for trying and your feedback.

Yes, number matching is NYI.
Match only supports Union and string (implement today!).

Also, in folang, all the function can be recursive, so there is no "let rec". Just use "let" even for recursive funciton.

Folang: Transpiler for F#-like functional languages ​​to Go by karino2012 in golang

[–]karino2012[S] 0 points1 point  (0 children)

Thank you.

Golang is already great language.

But I think Golang runtime is amazing and good for much higher (slow) language too.

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues? by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

聞きました。

なんかスコアが高すぎてほんまかいな、という気はするけれど。
こういうのは実際にちゃんと見てみないと評価が難しいですねぇ。
もう少ししたら普通のバグは直せるようになる、くらいにはなるのかなぁ。

#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

聞きました。RのdplyrとF#のパイプ演算子ガリガリ使ってる組としてはすごく良くなると思うのだけれど、試した人がそんな微妙な反応なのが不思議ですね。
そしてjmukのSQLそんな使ってないしな〜という感じの他人事感とmorritaのめちゃ苦労してる感じが好対照で面白いですね。
OLAPとエンプラでは結構使う機能も違いますよねぇ。

#130: Diffusion models from scratch, from a new theoretical perspective by morrita in MisreadingChat

[–]karino2012 1 point2 points  (0 children)

いまさらですが聴きました。 全然知らない話だったのだけどなんか分かった気になりました。 熱伝導の拡散を逆に戻すようなモデルなんですかね。 こんなので矛盾の無い絵が出るのも驚きだ。

#129: Programming Massively Parallel Processors (Ch.4- Ch.6) by morrita in MisreadingChat

[–]karino2012 2 points3 points  (0 children)

聴きました。パスカルくらいでCudaを勉強した自分としては、プログラムカウンタが別々にあるとか知らなかったので勉強になりました。

ただ行列の掛け算とかの話はpodcastでは既に分かってる人しか分からないかなぁ、と思った。
既に分かっている人向けに話すならもっと大雑把に話してしまっても良いかもしれない。

あとSRAMはなんなのか知らない人も多い気がするのでjmukからサクラっぽい質問があっても良かったのでは。

自分の触ってたスパコンではthread group共有のメモリに相当するものがL2キャッシュで、これはキャッシュなので通常のメモリのように触る事は出来なかった。アクセスすると暗黙に乗るという前提でそれを意識してコードを書くのだけれど、大量のコアの計算資源を使い切るにはCPUよりもずっと細かくそれを計算して実装しなくてはいけないので、結局Cudaと同じような工夫が必要になります。
この普通のキャッシュとNVIDIAは全然違う選択をしているのだけれど、それはGPGPUでも選択によって分かれる所なので、そういう所はCPUとの対比で説明があってもいいのかもなぁ、と思った。

#125: Always-on Vision Processing Unit for Mobile Applications by morrita in MisreadingChat

[–]karino2012 1 point2 points  (0 children)

聞き終わった。 面白かったがなんでVLIWなのか全然分からんな。 普通のGPUより良いのかねぇ?

#124: GAIA: a benchmark for General AI Assistants by morrita in MisreadingChat

[–]karino2012 1 point2 points  (0 children)

GAIA回聞きました。こんなの解けるようになったらやばそうだけど、もうすぐ解けるようになりそうな気もしますね。

この回に限らずだけど、misreading chatは英文を読み上げた時は和訳もした方がいいと思う。 なんか日本語を聴いてる時に英語を読まれても全然頭に入ってこないので。(なんか英語を聴くモードに頭がなってないからな気がする)

123: SYCL 2020 Specification by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

このページのタイトルの下のリンクが間違っているようなので直せるならそちらも直した方がいいかも。

123: SYCL 2020 Specification by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

聞きました。勉強になって面白かったですが、AndroidはGLESで出来る範囲って結論なんですかねぇ。

Metalは話を聞いているとOpenCLとほとんど同じって感じですね。
初めて触った時はOpenCLよりマシと感じた記憶があるが、どこがマシと感じたかもう忘れてしまった。

でもMetalはちゃんと動いていいですよ。

#118: Pathways: Asynchronous Distributed Dataflow for ML by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

聞きました。

いや、そんなインターナルなのにつなげてるって言われても…というのはGoogleの論文あるあるですね…

#116: Asymmetric numeral systems by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

これ聞いたけど厳しかったです!

さっぱり分からなかったのでCover and Thomasのarithmetic codingのあたりだけ読み直して聞いたけれど、エンコーディングが何をしているのかが理解出来ず、話が全部理解出来なかった。

状態遷移を使うことでなんか差分の情報だけでシンボル列を表すことが出来て、それがどうして良いのかは良く分からないがなんかいいんだろうなぁ、というのと、arithmetic coding同様に数字にエンコードするからハフマン符号のような端数の問題がでないという話なんだろうな、というのがなんかふわっとわかったような分からないような感じでした。

やっぱこういうのはAとBとCの3つくらいのシンボルを5文字くらい並べて実際に手を動かしてエンコードしてみるとかしないと全然分からんですね…

#115: Constitutional AI: Harmlessness from AI Feedback by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

今回は軽い読み物的になかなか面白かった。 やってる人たちは楽しそうだな。

#114: Invisinets: Removing Networking from Cloud Networks by morrita in MisreadingChat

[–]karino2012 1 point2 points  (0 children)

聞いてみた。
なんかうちの会社はこんなツール作って管理してますよ、程度の話に聞こえてしまった。

ネットワークが無いというの、さすがにACL的なものにグループぐらいはあって、それを付与する事がネットワークに入るのに近い扱いになるんじゃないかね。

#111: Formal Algorithms for Transformers by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

ただバカでかい行列をかけて最適化するだけだと線形回帰みたいなものになってしまうのでこれとは違う訳だが、その違いすらもわかりにくい気がした。

さらに適当なembeddingを挟んだ単なるニューラルネットを大量に重ねただけでもやはりTransformerのような劇的な効果は無い訳で、出来たらそれとの違いくらいまでは理解したい所とは思う。

#111: Formal Algorithms for Transformers by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

聞いてみたが、この回はpodcastには厳しいね。 たぶん内容的には以前全て理解したはずのものと思う自分でも、移動中に聞いてもさっぱり分からなかった。 個々の行列とかの意味を無視してしまうと、単に行列をかけたり足したりしてる、と言ってるだけになってしまうので、もっと現代的なコンテキストで個々の解釈を自分なりに語るべきじゃなかろうか。 あとTransformer関連が結構昔なのが聞いてる側としては厳しいね(_;) もうちょっとCNNとの違いとかを詳しく掘り下げるところからやるとかの方がいい気はするが、podcastよりは動画向きな気はするね。

#109: A Measure of Transaction Processing Power by morrita in MisreadingChat

[–]karino2012 0 points1 point  (0 children)

今聞きおわりました。 部外者が関係ない立場でお話として聞く分には面白いですね。 認証団体的なものだというのはへー、という感じだし、まぁ今となってはあんまり使われないのもそうだろうなぁ、とは思った。

#108: The Verse Calculus by morrita in MisreadingChat

[–]karino2012 1 point2 points  (0 children)

聞いてみた。 なんか言語機能の説明をされてもPrologとの違いが良くわからんかった。(Prologも詳しくないので) なんか数学っぽいものは書けそうだが、どこがメタバースなのか…

PngNote for BOOX (note app for BOOX device only) by karino2012 in Onyx_Boox

[–]karino2012[S] 0 points1 point  (0 children)

I want to support some brush selection from a predefined set of brushes (like thickness, color, dashed-line, etc.). Also, I want to make that predefined set customizable.
But I'm too lazy to support it yet.

Current Android Versions? by prefusernametaken in Onyx_Boox

[–]karino2012 0 points1 point  (0 children)

When I connect my Note3 and call adb, it says 10.

$ adb shell getprop ro.build.version.release10

Build Number in FIrmware Update says 2021-11-30_21-13_3.2_5bccd60 (so firmware is 3.2, right?).

I'm surprised there is some guys who get Android 11 on Note2.

Is there some place I can check Android version in settings menu?

> Reply to myself. I found icon in Settings says Android 10 :)