Back in the 90s Seinfeld did a whole skit about bullshit circus stunt vapourware, only they called it “levels.”
Oh yes, Tesla *could* have shipped a Roadster at any time in the last decade. They just didn’t want to. And they could ship a so-called flying car in 2028. But they won’t […]
social.bau-ha.us
Original post on social.bau-ha.us
![// n.b. returns quoted numbers, not applicable numbers,
// as it is necessary to select whether one wants the quotient, remainder, or both.
const euclideanDividedBy = construction([ [B], [A] ], [
[zero], bury, // [quotient] [dividend] [divisor]
[
bury3, // [callback] [quotient] [dividend] [divisor]
dup, // [callback] [quotient] [dividend] [divisor] [divisor]
[swap], dip, // [callback] [quotient] [divisor] [dividend] [divisor]
[dup], dip, // [callback] [quotient] [divisor] [dividend] [dividend] [divisor]
isLessThan, // [callback] [quotient] [divisor] [dividend] [T/F: dividend < divisor]
[
// [callback] [quotient] [divisor] [dividend]
[[minus], cons, cons], sip, // [callback] [quotient] [dividend - divisor] [divisor]
dig2, // [callback] [dividend - divisor] [divisor] [quotient]
[succ], cons, // [callback] [dividend - divisor] [divisor] [quotient++]
bury2, // [callback] [quotient++] [dividend - divisor] [divisor]
dig3, // [quotient++] [dividend - divisor] [divisor] [callback]
m
],
[
// [callback] [quotient] [divisor] [dividend]
nip, // [callback] [quotient] [dividend]
dig2, zap // [quotient] [dividend]
],
cond // [quotient] [remainder]
],
m, // [quotient] [remainder]
]);](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:tdu2ua5n5twpnw3w3nzqe6pq/bafkreie4fkqktvzzsuq55r4stoeojyqio5enaubjvpeoiemal6afeiwwyy)
