Conversation

Notices

1. Embed this notice
   ロージー / ハト (rosylilly@best-friends.chat)'s status on Wednesday, 25-Oct-2023 15:51:40 JST ロージー / ハト

   • かき@GNUsocialJP

   そのペーパー読みてー

   • Embed this notice
     斎藤ただし (tadd@best-friends.chat)'s status on Wednesday, 25-Oct-2023 15:52:29 JST 斎藤ただし

     in reply to

     @rosylilly あとで送る！（17時までで閉店するジムが…）

   • Embed this notice
     斎藤ただし (tadd@best-friends.chat)'s status on Wednesday, 25-Oct-2023 17:05:36 JST 斎藤ただし

     in reply to

     @rosylilly っ https://dl.acm.org/doi/10.1145/3473582
     オープンアクセス、こういう時は最高ですね。（投稿者は死ぬ）
     あと理解も記憶がだいぶあやふやで、おかしいこと書いてた気がしてすんまそん。（A programming language for the law、は合ってた）

   • Embed this notice
     ロージー / ハト (rosylilly@best-friends.chat)'s status on Wednesday, 25-Oct-2023 17:14:55 JST ロージー / ハト

     in reply to

     • 斎藤ただし
     • かき@GNUsocialJP

     @tadd 『実行可能』ってなんだよって感じするね……

   • Embed this notice
     斎藤ただし (tadd@best-friends.chat)'s status on Wednesday, 25-Oct-2023 17:14:56 JST 斎藤ただし

     in reply to

     @rosylilly でアブスト読み直した限り、

     * 今の法律から書き起こしやすいプログラミング言語を作ってみた
     * コンパイラは形式検証済みなんだぜ
     * 実際アメリカとフランスの法律にバグ見つけたよ

     て感じの話ぽいんですが、最初のは「実行可能な実装する」とも書いてあって、自分はそれがまったくぴんと来てないです。だからちゃんと読んだら面白いかも。

     と、ICFPはプログラミング言語だと有名ですね、コンテストも含め。実は先月、ふらっと現地に行ったばかりなんですが、ちゃんとコンテストの表彰式もやってました。

   • Embed this notice
     斎藤ただし (tadd@best-friends.chat)'s status on Wednesday, 25-Oct-2023 17:15:40 JST 斎藤ただし

     in reply to

     @rosylilly まじそれです。アブストに書いて欲しかった。ファジングしやすいのかな……？