https://bend2.dev/2026-08-05 https://bend2.dev/contents/2026-08-05 https://bend2.dev/learn/2026-08-05 https://bend2.dev/notes/what-is-bend2/2026-08-05 https://bend2.dev/notes/bend2-release-date/2026-08-05 https://bend2.dev/notes/bend2-vs-bend1/2026-08-04 https://bend2.dev/notes/hvm4-explained/2026-08-04 https://bend2.dev/notes/bend2-vs-mojo/2026-08-04 https://bend2.dev/notes/bend2-vs-lean/2026-08-05 https://bend2.dev/notes/interaction-nets-explained/2026-08-04