zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge, write a leaner circuit, and prove it stays correct against the spec.
この発言 @dekosuke なんか 僕は最近全然 Haskell ゴルフをしていなくて腕が衰えていて悲しいので、 @notogawa さんあたりが解説記事を書いてくれないかと期待しています！ [石持浅海先生講演会 11/6(土) URL ] 2010-10-07 20:18:44 via YoruFukurou to @dekosuke を受け，ちょっとまとめてみようかと，とりあえず思い付きをつらつらと書いてみる． 書きつつ思ったが，こんなものでよいのだろうか？これらの前に一段あるような気がする． とりあえず注意書きを書いておくかー． このエントリはHaskell入門ではありません．普通にコーディングする場合，あんまり真似しないほうが良いです． (anarchy) golfの基本 余計な空白は除去(Haskellは関数適用があるので割と空白があるほう) 改行はLF エラーで止めてよい H
Anarchy Golf This is a golf server. You can enjoy short coding here in several languages (116 languages). The purpose of this server is not serious competition. Joke problems are welcomed and you can speak freely about problems and can release spoilers. For serious competition with ranking, enter Code Golf. IRC channel for this golf server: #anagol in freenode. Please feel free to join the channel
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
