This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Felipe O. Carvalho
felipe.rs
did:plc:g66ayxz5kkouqy7q7uoo5yyc
C++23 has "first-class UB": you, the language user, can make promises and let the program enter UB if you break them.
int f(int x, int y) {
[[assume(x == 27)]];
[[assume(x == y)]];
return y + 1; // May be optimised to `return 28`.
}
2024-12-05T23:07:03.951Z