はてなブックマーク - Vera — A language designed for machines to write https://b.hatena.ne.jp/entry/s/veralang.dev/ A programming language designed for LLMs to write, not humans. From the Latin veritas — truth. In Vera, verification is a first-class citizen. Why? Programming languages have always co-evolved with... yug1224 https://b.hatena.ne.jp/yug1224/20260412#bookmark-4785688994736282690 2026-04-11T21:10:10Z nabeatsu1 https://b.hatena.ne.jp/nabeatsu1/20260411#bookmark-4785688994736282690 2026-04-11T03:14:41Z tofu-kun https://b.hatena.ne.jp/tofu-kun/20260410#bookmark-4785688994736282690 2026-04-10T01:30:28Z kazuya-mitsutani https://b.hatena.ne.jp/kazuya-mitsutani/20260410#bookmark-4785688994736282690 2026-04-10T00:58:26Z ootatter https://b.hatena.ne.jp/ootatter/20260410#bookmark-4785688994736282690 2026-04-10T00:25:04Z あとで読む balaem https://b.hatena.ne.jp/balaem/20260410#bookmark-4785688994736282690 2026-04-09T23:58:52Z tamachan429 https://b.hatena.ne.jp/tamachan429/20260410#bookmark-4785688994736282690 2026-04-09T21:57:52Z あとで読む failure634 https://b.hatena.ne.jp/failure634/20260410#bookmark-4785688994736282690 2026-04-09T21:39:47Z tn5589 https://b.hatena.ne.jp/tn5589/20260410#bookmark-4785688994736282690 2026-04-09T17:31:04Z CLSmooth https://b.hatena.ne.jp/CLSmooth/20260410#bookmark-4785688994736282690 2026-04-09T17:07:23Z non_117 https://b.hatena.ne.jp/non_117/20260409#bookmark-4785688994736282690 2026-04-09T14:11:51Z fb2k https://b.hatena.ne.jp/fb2k/20260409#bookmark-4785688994736282690 2026-04-09T14:09:57Z yoshiakist https://b.hatena.ne.jp/yoshiakist/20260409#bookmark-4785688994736282690 2026-04-09T13:47:44Z ma2 https://b.hatena.ne.jp/ma2/20260409#bookmark-4785688994736282690 2026-04-09T12:48:33Z lang ai smicho https://b.hatena.ne.jp/smicho/20260409#bookmark-4785688994736282690 2026-04-09T12:27:32Z nguyen-oi https://b.hatena.ne.jp/nguyen-oi/20260409#bookmark-4785688994736282690 変数名を廃してインデックス指定とか人間を完全に捨てに来てるな。ハルシネーション対策に全振りした設計は面白いし、AI時代のプログラミング言語ってこうなるのかね 2026-04-09T12:10:30Z toshikish https://b.hatena.ne.jp/toshikish/20260409#bookmark-4785688994736282690 2026-04-09T12:00:02Z cu39 https://b.hatena.ne.jp/cu39/20260409#bookmark-4785688994736282690 2026-04-09T11:42:29Z shimbaco https://b.hatena.ne.jp/shimbaco/20260409#bookmark-4785688994736282690 2026-04-09T06:39:29Z programming language vera barlog https://b.hatena.ne.jp/barlog/20260409#bookmark-4785688994736282690 2026-04-09T05:23:19Z